Even the most powerful weapon won't win the battle if you don't have a well skilled army that is able to use it
Дискретные структуры
Задания лабораторных работ
- Лр №4. Основні правила та найпростіші комбінаторні формули
- Лр №5. Проверка правильности рассуждений при помощи эквивалентных преобразований
- Лр №6. Проверка правильности рассуждений (правило резолюций)
- Лр №7. Проверка правильности рассуждений (алгоритм Вонга)
Материалы теории
- Елементи комбінаторики (к Л.Р.№4)
- Формальные системы. Исчисление высказываний (к Л.Р.№5)
- Правила формализации высказываний (к Л.Р.№5)
- Исчисление высказываний. Правило резолюций (к Л.Р.№6)
- Алгоритм проверки выводимости правильного построенного умозаключения Вонга (к Л.Р.№7)
