Добавить комментарий

МАТЕМАТИЧЕСКАЯ ТЕХНИКА ДОКАЗАТЕЛЬСТВ

УМЕНИЯ писать программы - не есть первичное. ПЕРВИЧНЫМ должно стать умения писать программы с доказательством правильности. ЭТИ УМЕНИЯ опираются на аппарат математической логики и этим аппаратом нужно овладеть досконально и при написании программ и при написании текстов доказательств. Книги и учебники я сам лично начал писать параллельно с освоением техники доказательного программирования. Одновременно научился писать анекдоты и рассказы, которые нравятся женщинам, но нельзя публиковать.
Но нужный математический аппарат находится не в исчислении высказываний, а в исчислении предикатов. Боюсь, что Льюис Кэролл исчислением предикатов не овладел.