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