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

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

Покупка
Основная коллекция
Артикул: 719223.01.01
К покупке доступен более свежий выпуск Перейти
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов учреждений среднего профессионального образования.

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

Игошин, В. И. Математическая логика : учебное пособие / В.И. Игошин. — Москва : ИНФРА-М, 2020. — 399 с. + Доп. материалы [Электронный ресурс]. — (Среднее профессиональное образование). - ISBN 978-5-16-015595-1. - Текст : электронный. - URL: https://znanium.com/catalog/product/1043090 (дата обращения: 28.03.2024). – Режим доступа: по подписке.
Фрагмент текстового слоя документа размещен для индексирующих роботов. Для полноценной работы с документом, пожалуйста, перейдите в ридер.
МАТЕМАТИЧЕСКАЯ
ЛОГИКА

В.И. ИГОШИН

Рекомендовано 
Межрегиональным учебно-методическим советом 
профессионального образования в качестве учебного пособия 
для учебных заведений, реализующих программу 
среднего профессионального образования 
(протокол № 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. 
Формат 6090/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

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