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