Математическая логика
Покупка
Основная коллекция
Издательство:
НИЦ ИНФРА-М
Автор:
Игошин Владимир Иванович
Год издания: 2020
Кол-во страниц: 399
Дополнительно
Вид издания:
Учебное пособие
Уровень образования:
Среднее профессиональное образование
ISBN: 978-5-16-015595-1
ISBN-онлайн: 978-5-16-106961-5
Артикул: 719223.01.01
К покупке доступен более свежий выпуск
Перейти
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Для студентов учреждений среднего профессионального образования.
Тематика:
ББК:
УДК:
ОКСО:
- Среднее профессиональное образование
- 09.02.02: Компьютерные сети
- 09.02.03: Программирование в компьютерных системах
- 09.02.04: Информационные системы (по отраслям)
- 18.02.12: Технология аналитического контроля химических соединений
ГРНТИ:
Только для владельцев печатной версии книги: чтобы получить доступ к дополнительным материалам, пожалуйста, введите последнее слово на странице №152 Вашего печатного экземпляра.
Ввести кодовое слово
ошибка
-
Облако_Рабочая тетрадь.pdf
Скопировать запись
Фрагмент текстового слоя документа размещен для индексирующих роботов.
Для полноценной работы с документом, пожалуйста, перейдите в
ридер.
МАТЕМАТИЧЕСКАЯ ЛОГИКА В.И. ИГОШИН Рекомендовано Межрегиональным учебно-методическим советом профессионального образования в качестве учебного пособия для учебных заведений, реализующих программу среднего профессионального образования (протокол № 12 от 24.06.2019) Москва ИНФРА-М 2020 УЧЕБНОЕ ПОСОБИЕ УДК 510.6(075.32) ББК 22.12я723 И26 Игошин В.И. И26 Математическая логика : учебное пособие / В.И. Игошин. — Москва : ИНФРА-М, 2020. — 399 с. + Доп. материалы [Электронный ресурс]. — (Среднее профессиональное образование). ISBN 978-5-16-015595-1 (print) ISBN 978-5-16-106961-5 (online) Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов учреждений среднего профессионального образования. УДК 510.6(075.32) ББК 22.12я723 ISBN 978-5-16-015595-1 (print) ISBN 978-5-16-106961-5 (online) Материалы, отмеченные знаком , доступны в электронно-библиотечной системе Znanium.com © Игошин В.И., 2020 Оригинал-макет подготовлен в НИЦ ИНФРА-М ООО «Научно-издательский центр ИНФРА-М» 127214, Москва, ул. Полярная, д. 31В, стр. 1 Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29 E-mail: books@infra-m.ru http://www.infra-m.ru Подписано в печать 06.09.2019. Формат 6090/16. Бумага офсетная. Гарнитура Petersburg. Печать цифровая. Усл. печ. л. 24,94. ППТ50. Заказ № 00000 ТК 719223-1043090-060919 Отпечатано в типографии ООО «Научно-издательский центр ИНФРА-М» 127214, Москва, ул. Полярная, д. 31В, стр. 1 Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29 ФЗ № 436-ФЗ Издание не подлежит маркировке в соответствии с п. 1 ч. 4 ст. 11
Настоящая книга предназначена всем, кто изучает математическую логику. Автор знакомит будущих специалистов с основными понятиями и методами математической логики, показывает взаимосвязи математической логики с математической наукой, со школьным курсом математики, с современными компьютерами.
⇐⇒ ⇒ § § ≡ C, R, Q, Z N 2 4 К пособию прилагается рабочая тетрадь по математической логике с печатной основой, которая размещена в ЭБС Znanium.com. Распечатав её, учащийся получит минимальный набор задач по данному курсу. В тетради приведены образцы решения типовых задач и задачи для самостоятельного решения. Ссылки на неё даются в тексте учебного пособия следующим образом: Тетрадь МЛ. Более объёмный набор задач содержится в сборнике: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Изд. центр «Академия», 2008. Ссылки на него по ходу изложения теоретического материала даются следующим образом: Задачник. В. Игошин
λ γ ζ 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
§ 11
К покупке доступен более свежий выпуск
Перейти