Элементы математической логики 18 сентября 2017

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

Игошин В. И. Элементы математической логики: учебник для использования в учебном процессе образовательных учреждений, реализующих программы СПО по специальностям "Компьютерные сети", "Программирование в компьютерных системах", "Информационные системы (по отраслям)" / В. И. Игошин. - 2-е издание, стереотипное. - Москва: Академия, 2017. - 313, [1] с.

 

Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики».

В учебнике представлены с двух точек зрения – содержательной (семантической) и формальной (синтаксической) – два основных раздела математической логики – алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории – на содержательном и формальном уровнях, - становясь основной аксиоматического метода и превращая математические теории в аксиоматические  - содержательные и формальные.

Для студентов учреждений среднего профессионального образования.






  Министерство культуры Российской Федерации
  Министерство культуры Российской Федерации
  Правительство Тюменской области
  Культура. Национальные проекты России
  Бесплатная юридическая помощь гражданам
  Культура. Гранты России
  Волонтеры культуры
  Литературные встречи
  ЛитРес – мегамаркет электронных книг
  Официальный интернет-портал правовой информации
  Результаты независимой оценки качества
  Афиша - Тюмень
  Виртуальная экскурсия
  Университет старшего поколения
  Polpred.com Обзор СМИ. Центр «ЛИБНЕТ» – базы данных в свободном доступе
  Российская Государственная библиотека Российская Национальная библиотека
  Территория здоровья Ты сильнее
  Виртуальная справочная служба Президентская библиотека
  Культура.РФ Достояние республики
  ТОНБ в Контакте ТОНБ в Instagram ТОНБ в Facebook Консультации библиографа по Skype ТОНБ в Одноклассниках

Календарь событий


Пн Вт Ср Чт Пт Сб Вс
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 1 2 3 4 5