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