КНИТУ, Чистопольский филиал, преп. Мухаметзянов, Варианты 7, 15,
22, 25
К/раб из учебника Галиев Ш.И. Математическая логика и теория
алгоритмов
Логика высказываний
Логика предикатов
Логические следствия и метод резолюций
Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича
Нечёткие множества
Логика предикатов
Логические следствия и метод резолюций
Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича
Нечёткие множества