Учебное пособие. — Ростов н/Д.: Ростовский государственный университет путей сообщения, 2008. — 110 с. Приведены кодификатор и тесты по дисциплине "Математическая логика и теория алгоритмов" для специальностей 230 101 и 230 201, разработанные в соответствии с приказом проректора по учебной работе. Банк тестовых заданий. Кодификатор. Логика высказываний. Логика предикатов....
ЯрГк, группа ДОЗ-ИС, 2013, 6 стр. Тесты по электронной книге "Элементы математической логики". Всего четыре теста + аттестационный. Каждый тест соответствует разделу книги: элементы теории множеств, логика Буля, логика высказываний, логика предикатов. В тестах есть несколько диаграмм, которые не копируются. Отвечать надо самому по разделу книги логика Буля.
Комментарии