Элементы математической логики: учебник

В наличии Цена за шт.

1800

Количество
Купить

Акции и скидки Поделиться


  • Артикул:00-01013218
  • Автор: Игошин В.И.
  • ISBN: 978-5-4468-8379-0
  • Обложка: Твердый переплет
  • Издательство: Академия (все книги издательства)
  • Город: Москва
  • Страниц: 320
  • Формат: 60х90 1/16
  • Год: 2019
  • Вес: 390 г
Развернуть ▼

Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики».
В учебнике представлены с двух точек зрения — содержательной (семантической) и формальной (синтаксической) — два основных раздела математической логики — алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории — на содержательном и формальном уровнях, — становясь основой аксиоматического метода и превращая математические теории в аксиоматические — содержательные и формальные.
Для студентов учреждений среднего профессионального образования.

ОГЛАВЛЕНИЕ
Предисловие
Введение
ЧАСТЬ I. СОДЕРЖАТЕЛЬНАЯ (СЕМАНТИЧЕСКАЯ) МАТЕМАТИЧЕСКАЯ ЛОГИКА
Введение
Гпава 1. Алгебра высказываний
1.1. Высказывания и операции над ними
1.2. Формулы алгебры высказываний
1.3. Тавтологии алгебры высказываний
1.4. Логическая равносильность формул
1.5. Нормальные формы для формул алгебры высказываний
1.6. Логическое следование формул
1.7. Приложение алгебры высказываний к логико-математической практике
Гпава 2. Булевы функции
2.1. Булевы функции от одного, двух и п аргументов
2.2. Применение булевых функций к теории дискретных преобразователей информации
2.3. Релейно-контактные и функциональные схемы в компьютерах
Глава 3. Логика предикатов
3.1. Основные понятия, связанные с предикатами
3.2. Логические операции над предикатами
3.3. Кванторные операции над предикатами
3.4. Формулы и тавтологии логики предикатов
3.5. Равносильные преобразования формул и логическое следование формул логики предикатов
3.6. Применение логики предикатов к логико-математической практике
ЧАСТЬ II. ФОРМАЛЬНАЯ (СИНТАКСИЧЕСКАЯ) МАТЕМАТИЧЕСКАЯ ЛОГИКА
Введение
Глава 4. Формализованное исчисление высказываний
4.1. Система аксиом и теория формального вывода
4.2. Полнота и другие свойства формализованного исчисления высказываний
4.3. Независимость системы аксиом формализованного исчисления высказываний
Гиава 5. Формализованное исчисление предикатов
5.1. Система аксиом и теория формального вывода
5.2. Полнота и другие свойства формализованного исчисления предикатов
ЧАСТЬ III. АКСИОМАТИЧЕСКИЙ МЕТОД В МАТЕМАТИКЕ
Введение
Глава 6. Содержательные аксиоматические теории
6.1. Аксиоматический метод в математике и аксиоматические теории
6.2. Свойства аксиоматических теорий
Глава 7. Формальные аксиоматические теории
7.1. Понятие формальной аксиоматической теории
7.2. Формальные аксиоматические математические теории первого порядка
7.3. Примеры формализованных аксиоматических математических теорий первого порядка
7.4. Метаматематика (свойства) формальных аксиоматических математических теорий первого порядка
7.5. Дальнейшие примеры формальных аксиоматических математических теорий первого порядка
Заключение. Как изучать математику и обучать математике после изучения курса математической логики
Список литературы

Оставьте отзыв о товаре
×

Авиационные и военные линейки

Диски

Журналы и бланки

Автодороги, дорожное хозяйствоАЗС и АЗГСАптекиАрхивыАттракционыБанкиБассейныБухгалтерияГазовое хозяйство, газораспределительные системы, ГАЗПРОМГеодезия, геологияГостиницы, общежития, хостелыГрузоподъемные механизмыДелопроизводствоДокументы, относящиеся к нескольким отраслямДрагметаллыЖКХЖурналы для медицинских учрежденийЖурналы для образовательных учрежденийЖурналы для парикмахерских, салонов красоты, маникюрных, педикюрных кабинетовЖурналы и бланки для армии, вооруженных силЖурналы и бланки для нотариусов, юристов, адвокатовЖурналы и бланки для организаций пищевого производства, общепита и пищевых блоковЖурналы и бланки для организаций, занимающихся охраной объектов и частных лицЖурналы и бланки для ФТС РФ (таможни)Журналы и бланки по экологииЖурналы и бланки, используемые в торговле, бытовом обслуживанииЖурналы по санитарии, проверкам СЭСЖурналы, бланки, формы документов для органов прокуратуры и суда, минюста, пенитенциарной системыЖурналы, бланки, формы документов МВД РФ, РосгвардииКадровая работа: Журналы, бланки, формыКанатные дороги, фуникулерыКладбищаКомплекты документов и журналовКонструкторская, научно-техническая документацияЛесное хозяйствоЛифтыМетрологияМЧСНефтебазыНефтепромысел, нефтепроводыОбложки для журналов и удостоверенийОхрана труда и техника безопасностиПожарная безопасностьПроверки и контроль госорганами, контролирующими организациямиПромышленностьПсихологияРаботы с повышенной опасностьюРегулирование алкогольного рынкаСамокопирующиеся бланкиСвязьСельское хозяйство, ветеринарияСкладСнегоплавильные пунктыСтройка, строительствоТепловые энергоустановки, котельныеТранспортТуризмУчреждения культуры, библиотеки, музеиШахты, рудники, метрополитены, подземные сооруженияЭксплуатация зданий и сооруженийЭлектроустановкиЭнергетика

Знаки безопасности, таблички, стенды

Вспомогательные знаки, таблички-наклейкиЗапрещающие знакиЗнаки для инвалидовЗнаки для уборки и сбора мусораЗнаки на автомобильЗнаки пожарной безопасностиЗнаки электробезопасностиИнформационные знаки для строительных площадокМедицинские и санитарные знакиНаклейкиПредписывающие знакиПредупреждающие знакиСтендыУказательные знакиЭвакуационные знакиЮмористические знаки

Календари

Книги

Букинистическая литератураГОСТы, ОСТыДетская литератураДомашний кругДругоеИскусство. Культура. ФилологияКниги в электронном видеКниги издательства "Комсомольская правда"Компьютеры и интернетКосмосНаука. Техника. МедицинаНормативные правовые актыОбщественные и гуманитарные наукиОхрана труда, обеспечение безопасностиПодарочные книгиПутешествия. Отдых. Хобби. СпортРелигия. Оккультизм. ЭзотерикаРостехнадзорСанПины, СП, МУ, МР, ГНСборники рецептур блюд для предприятий общественного питанияСНиП, СП, СО,СТО, РД, НП, ПБ, МДК, МДС, ВСНУчебный годХудожественная литератураЭкономическая литератураЭнциклопедии, справочники, словари

Курвиметры

Ленты с тиснением

Маркировочная продукция

Маркировка трубопровода "Вода"Маркировка трубопровода "Воздух"Маркировка трубопровода "Газ"Маркировка трубопровода "Жидкость"Маркировка трубопровода "Кислота"Маркировка трубопровода "Пар"Маркировка трубопровода "Прочие вещества"Маркировка трубопровода "Щелочь"

Материалы для типографии (мини-типографии)

Металлические изделия (металлическая мебель, конструкции, навесы)

Металлическая мебельМеталлические изделия для дачи и дома

Одноразовая одежда

Охрана труда

Печати и штампы

Медицинские печати и штампыОснастки, самонаборные штампыПечати и штампы для бухгалтерии и делопроизводстваПечати и штампы для водителейПечать фирмы (организации, компании, подразделения, отдела)Штампы по техническому контролю, учету и хранению

Плакаты

Погоны министерств и ведомств

Подарки нашим покупателям

Портреты знаменитых людей

Портянки

Сувениры

Бизнес сувениры, корпоративные подаркиБрелкиГимн России. Эксклюзивное графическое оформление в багетном обрамленииГудки и Рожки охотничьиЗажигалкиКружки для термопереносаПодарочные наборы игрПредметы интерьераСувениры, подарки для мужчин

Тир

Товары для дома и офиса

Грамоты и благодарностиИндикаторы стерилизацииКанцелярские товарыКаски, защитные очки, маскиКухонные принадлежностиОгнетушителиПланы эвакуацииСамоспасателиСредства дезинфекцииФитолампы и прожекторыХозяйственные товарыЭлектроудлинители, тройники, катушкиЭлектроустановочные изделия

Товары для здоровья, БАДы

Аюрведические товарыСредства гигиены, косметика из минералов Мертвого моря

Товары для развития, игрушки

Бумажные модели

Удостоверения, Свидетельства

Зачетные книжки, студенческие билетыУдостоверения для спортивных секцийУдостоверения рабочих различных специальностей

Упаковка, упаковочные материалы

Членские книжки

ГК, ГСК, членские книжки, пропуска и пр.Садоводческие книжки, членские книжки СНТ

Юнармия

;