Меню


     Зміст

     Вступ

  Множини

  Відношення

  Алгебраїчні структури

  Булеві функції та перетворення

  Теорія графів

  Математична логіка

  1. Історія і задачі математичної логіки
  2. Поняття логіки висловлень
  3. Дедуктивні висновки у логіці висловлень
  4. Обчислення висловлень
  5. Логіка предикатів
  6. Квантори
  7. Формули у логіці предикатів
  8. Закони і тотожності у логіці предикатів
  9. Випереджені нормальні форми і логічний висновок у логіці предикатів
  10. Обчислення предикатів
  11. Багатозначна логіка
  12. К/Р по темі "Математична логіка"