Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление...
Предметная область для наблюдения автора – это, главным образом, Российское образование. Его проблемы преподносятся в виде зарисовок с натуры. И вы увидите всех героев, которые появились в воображении автора. Однако, не только педагогические проблемы волнуют автора. Именно поэтому название «Горошины на паркете» отражают ее разнообразное содержание, основной смысл которого представить все переживания, как сознательные, так и бессознательные, которые суть производные от первых.