Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
29
Добавлен:
12.05.2015
Размер:
1.17 Кб
Скачать

Правый фрейм Математична логіка Історія і задачі математичної логіки Поняття логіки висловлень Дедуктивні висновки у логіці висловлень Обчислення висловлень Логіка предикатів Квантори Формули у логіці предикатів Закони і тотожності у логіці предикатів Випереджені нормальні форми і логічний висновок у логіці предикатів Обчислення предикатів Багатозначна логіка К/Р по темі "Математична логіка"

Соседние файлы в папке ОДМ учебник