Математическая логика
Покупка
Основная коллекция
Издательство:
НИЦ ИНФРА-М
Автор:
Игошин Владимир Иванович
Год издания: 2020
Кол-во страниц: 399
Дополнительно
Вид издания:
Учебное пособие
Уровень образования:
Среднее профессиональное образование
ISBN: 978-5-16-015595-1
ISBN-онлайн: 978-5-16-106961-5
Артикул: 719223.01.01
К покупке доступен более свежий выпуск
Перейти
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Для студентов учреждений среднего профессионального образования.
Тематика:
ББК:
УДК:
ОКСО:
- Среднее профессиональное образование
- 08.02.15: Информационное моделирование в строительстве
- 09.02.02: Компьютерные сети
- 09.02.03: Программирование в компьютерных системах
- 09.02.04: Информационные системы (по отраслям)
- 09.02.06: Сетевое и системное администрирование
- 09.02.07: Информационные системы и программирование
- 09.02.09: Веб-разработка
- 11.02.03: Эксплуатация оборудования радиосвязи и электрорадионавигации судов
- 11.02.06: Техническая эксплуатация транспортного радиоэлектронного оборудования (по видам транспорта)
- 13.02.07: Электроснабжение
- 13.02.12: Электрические станции, сети, их релейная защита и автоматизация
- 15.02.10: Мехатроника и робототехника (по отраслям)
- 18.02.04: Электрохимическое производство
- 18.02.10: Коксохимическое производство
- 18.02.12: Технология аналитического контроля химических соединений
- 18.02.14: Химическая технология производства химических соединений
- 18.02.15: Биохимическое производство
- 20.02.01: Экологическая безопасность природных комплексов
- 21.02.02: Бурение нефтяных и газовых скважин
- 21.02.09: Гидрогеология и инженерная геология
- 21.02.10: Геология и разведка нефтяных и газовых месторождений
- 21.02.19: Землеустройство
- 21.02.20: Прикладная геодезия
- 24.02.01: Производство летательных аппаратов
- 24.02.02: Производство авиационных двигателей
- 35.02.09: Водные биоресурсы и аквакультура
- 35.02.16: Эксплуатация и ремонт сельскохозяйственной техники и оборудования
- 35.02.17: Агромелиорация
ГРНТИ:
Только для владельцев печатной версии книги: чтобы получить доступ к дополнительным материалам, пожалуйста, введите последнее слово на странице №152 Вашего печатного экземпляра.
Ввести кодовое слово
ошибка
-
Облако_Рабочая тетрадь.pdf
Скопировать запись
Фрагмент текстового слоя документа размещен для индексирующих роботов
-¬¡ ©¡¡«¬ª°¡--¤ª©§¸©ª¡ª¬£ª©¤¡ -ÁÌÄÛÊÍÉʾ¼É¼¾¿ÊÀÏ В.И. ИГОШИН МАТЕМАТИЧЕСКАЯ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ Рекомендовано Межрегиональным учебно-методическим советом профессионального образования в качестве учебного пособия для учебных заведений, реализующих программу среднего профессионального образования (протокол № 12 от 24.06.2019) Москва ИНФРА-М 2020
ФЗ № 436-ФЗ Издание не подлежит маркировке в соответствии с п. 1 ч. 4 ст. 11 УДК 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 Материалы, отмеченные знаком , доступны в электронно-библиотечной системе Znanium.com ISBN 978-5-16-015595-1 (print) ISBN 978-5-16-106961-5 (online) © Игошин В.И., 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
Настоящая книга предназначена всем, кто изучает математическую логику. Автор знакомит будущих специалистов с основными понятиями и методами математической логики, показывает взаимосвязи математической логики с математической наукой, со школьным курсом математики, с современными компьютерами. 3
⇐ ⇒ ⇒ § § ≡ C, R, Q, Z N 2 К пособию прилагается рабочая тетрадь по математической логике с печатной основой, которая размещена в ЭБС Znanium.com. Распечатав её, учащийся получит минимальный набор задач по данному курсу. В тетради приведены образцы решения типовых задач и задачи для самостоятельного решения. Ссылки на неё даются в тексте учебного пособия следующим образом: Тетрадь МЛ. Более объёмный набор задач содержится в сборнике: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Изд. центр «Академия», 2008. Ссылки на него по ходу изложения теоретического материала даются следующим образом: Задачник. В. Игошин 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
К покупке доступен более свежий выпуск
Перейти