Математическая логика
Математика
Тест
  • формат pdf
  • размер 1,12 МБ
  • добавлен 08 июня 2014 г.
Самсонов Б.Б., Филоненков А.И. Математическая логика и теория алгоритмов. Тестовые задания
Учебное пособие. — Ростов н/Д.: Ростовский государственный университет путей сообщения, 2008. — 110 с.
Приведены кодификатор и тесты по дисциплине "Математическая логика и теория алгоритмов" для специальностей 230 101 и 230 201, разработанные в соответствии с приказом проректора по учебной работе.
Банк тестовых заданий.
Кодификатор.
Логика высказываний.
Логика предикатов.
Нечеткая логика.
Модальная и темпоральная логики.
Формальные теории и системы.
Теория алгоритмов.
Похожие разделы