Книжная полка Сохранить
Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

Математическая логика

Покупка
Основная коллекция
Артикул: 163900.10.01
К покупке доступен более свежий выпуск Перейти
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.
Тематика:
ББК:
УДК:
ОКСО:
ГРНТИ:

Только для владельцев печатной версии книги: чтобы получить доступ к дополнительным материалам, пожалуйста, введите последнее слово на странице №14 Вашего печатного экземпляра.

Игошин, В. И. Математическая логика : учебное пособие / В.И. Игошин. — Москва : ИНФРА-М, 2022. — 398 с. + Доп. материалы [Электронный ресурс]. — (Высшее образование: Бакалавриат). - ISBN 978-5-16-011691-4. - Текст : электронный. - URL: https://znanium.ru/catalog/product/1842223 (дата обращения: 21.11.2024). – Режим доступа: по подписке.
Фрагмент текстового слоя документа размещен для индексирующих роботов
В.И. ИГОШИН
МАТЕМАТИЧЕСКАЯ
ЛОГИКА
УЧЕБНОЕ ПОСОБИЕ
Рекомендовано
УМО по образованию в области подготовки
педагогических кадров в качестве учебного пособия
для студентов высших учебных заведений,
обучающихся по направлению подготовки 
44.03.05 «Педагогическое образование»
(квалификация (степень) «бакалавр»)
Москва
ИНФРА-М
2022


ФЗ 
№ 436-ФЗ
Издание не подлежит маркировке 
в соответствии с п. 1 ч. 4 ст. 11
УДК 510(075.8)
ББК 22.12я73
 
И26
Игошин В.И. 
Математическая логика : учебное пособие / В.И. Игошин. — 
И26
Москва : ИНФРА-М, 2022. — 398 с. + Доп. материалы [Электронный ресурс]. — (Высшее образование: Бакалавриат).
ISBN 978-5-16-011691-4 (print)
ISBN 978-5-16-104067-6 (online)
Подробно изложены основы математической логики, привлечен 
материал школьного курса математики для его логического анализа, 
охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Для студентов университетов, технических и педагогических вузов, 
обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.
УДК 510(075.8)
ББК 22.12я73
Материалы, отмеченные знаком 
, 
доступны в электронно-библиотечной системе Znanium.com
ISBN 978-5-16-011691-4 (print)
ISBN 978-5-16-104067-6 (online)
© Игошин В.И., 2012
Подписано в печать 17.11.2017. 
Формат 6090/16. Бумага офсетная. Печать цифровая. 
Г
арнитура Newton. Усл. печ. л. 24,87. 
ПТ25. 
ТК 163900-951421-250811
ООО «Научно-издательский центр ИНФРА-М»
127282, Москва, ул. Полярная, д. 31В, стр. 1.
Тел.: (495) 280-15-96, 280-33-86.     Факс: (495) 280-36-29.
E-mail: books@infra-m.ru                 http://www.infra-m.ru
Отпечатано в типографии ООО «Научно-издательский центр ИНФРА-М»
127282, Москва, ул. Полярная, д. 31В, стр. 1
Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29



                                    
⇐
⇒
⇒
§
§
≡
C, R, Q, Z
N
2
4



                                    
λ γ ζ
6



                                    

                                    
P
P →Q
Q
A
B
A →B
A
A , A , ..., An
B
A →B
A
B
B
A
A →B
¬B →¬A
A ∧¬B →¬A
A ∧¬B →B
A
¬A →
B ∧¬B
→A
9


A →C
A →B
B →C
10


К покупке доступен более свежий выпуск Перейти