Математическая логика
Покупка
Основная коллекция
Издательство:
НИЦ ИНФРА-М
Автор:
Игошин Владимир Иванович
Год издания: 2022
Кол-во страниц: 398
Дополнительно
Вид издания:
Учебное пособие
Уровень образования:
ВО - Бакалавриат
ISBN: 978-5-16-011691-4
ISBN-онлайн: 978-5-16-104067-6
Артикул: 163900.10.01
К покупке доступен более свежий выпуск
Перейти
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.
Тематика:
ББК:
УДК:
ОКСО:
- ВО - Бакалавриат
- 01.03.01: Математика
- 01.03.04: Прикладная математика
- 02.03.01: Математика и компьютерные науки
- 02.03.02: Фундаментальная информатика и информационные технологии
- 02.03.03: Механика и математическое моделирование
- 09.03.04: Программная инженерия
- 44.03.01: Педагогическое образование
- 44.03.05: Педагогическое образование (с двумя профилями подготовки)
- 45.03.03: Фундаментальная и прикладная лингвистика
- 45.03.04: Интеллектуальные системы в гуманитарной сфере
- ВО - Магистратура
- 01.04.01: Математика
- 02.04.03: Математическое обеспечение и администрирование информационных систем
- 09.04.04: Программная инженерия
- 44.04.01: Педагогическое образование
ГРНТИ:
Только для владельцев печатной версии книги: чтобы получить доступ к дополнительным материалам, пожалуйста, введите последнее слово на странице №14 Вашего печатного экземпляра.
Ввести кодовое слово
ошибка
-
978-5-16-011691-4_облако.pdf
Скопировать запись
Фрагмент текстового слоя документа размещен для индексирующих роботов.
Для полноценной работы с документом, пожалуйста, перейдите в
ридер.
МАТЕМАТИЧЕСКАЯ ЛОГИКА В.И. ИГОШИН Москва ИНФРА-М 2022 УЧЕБНОЕ ПОСОБИЕ Рекомендовано УМО по образованию в области подготовки педагогических кадров в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки 44.03.05 «Педагогическое образование» (квалификация (степень) «бакалавр»)
УДК 510(075.8) ББК 22.12я73 И26 Игошин В.И. Математическая логика : учебное пособие / В.И. Игошин. — Москва : ИНФРА-М, 2022. — 398 с. + Доп. материалы [Электронный ресурс]. — (Высшее образование: Бакалавриат). ISBN 978-5-16-011691-4 (print) ISBN 978-5-16-104067-6 (online) Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», « Математик-педагог», «Учитель математики» на уровнях ба- калавриата, магистратуры, а также специалитета. УДК 510(075.8) ББК 22.12я73 И26 © Игошин В.И., 2012 ISBN 978-5-16-011691-4 (print) ISBN 978-5-16-104067-6 (online) Подписано в печать 17.11.2017. Формат 6090/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 ФЗ № 436-ФЗ Издание не подлежит маркировке в соответствии с п. 1 ч. 4 ст. 11 Отпечатано в типографии ООО «Научно-издательский центр ИНФРА-М» 127282, Москва, ул. Полярная, д. 31В, стр. 1 Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29 Материалы, отмеченные знаком , доступны в электронно-библиотечной системе Znanium.com
⇐⇒ ⇒ § § ≡ 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
К покупке доступен более свежий выпуск
Перейти