DM_2 / ОДМ учебник / t6

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