• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Математическая логика и модели вычислений

Таланов В. А.
В учебном пособии содержатся начала логики предикатов и теории алгоритмов Оно предназначено для студентов, обучающихся по специальности прикладная математика и информатика в рамках учебного плана, содержащего кус "Дискретная математика". Основные понятия теории булевых функций из этого курса используются без предварительного напоминания. Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.
Математическая логика и модели вычислений