- Проверка доказательтва в ИВ
- Теорема о дедукции в ИВ
- Построение доказательства по теореме о полноте ИВ
- Проверка доказательства + теорема о дедукции в формальной арифметике
- Построение контрпримера к формуле ИИВ в топологической интерпретации
Чтобы запускать программы, минуя утомительную проверку Кабалом,
написан скриптик run.sh
Использование:
Запустить программу с номером N = 1..5 на входном файле inputs/homework{N}/{файл}.in
и записать вывод в файл outputs/homework{N}/{файл}.out:
./run.sh homework{N} {файл}
Проделать все вышеперечисленное для всех входных файлов в папке:
./run.sh homework{N}