💾 Пролог
Первого сентября 1994 года в аудиторию вошел коренастый энергичный человек, окинул взглядом студентов, отрекомендовался Сергеем Сергеевичем и сказал: «Наш предмет называется «Дискретная математика и математическая логика». Поехали.»
Началась первая лекция первого учебного дня моего первого курса. Вместе с ней начался сущий ад: пришлось учиться программировать на Прологе.
Не буду пугать вас подробностями, скажу только, что Пролог не похож ни на один язык программирования. Это такой специальный язык, основанный на исчислении предикатов, точнее, на его подмножестве — языке предикатов математической логики дизъюнктов Хорна.
В принципе, от одной этой фразы уже цветочки вянут.
Программы на Прологе применяются для доказательств теорем, в системах ИИ, в лингвистических задачах. Цель программы на Прологе — доказать, является ли некое утверждение следствием из имеющихся правил и фактов. В отличие от обычных языков программирования, в Прологе нет ни циклов, ни присвоения переменных, ни объявления типов.
Короче, это именно то, что нужно вчерашним школьникам.
Мы не были дураками: кто-то окончил хорошую московскую матшколу, кто-то выиграл олимпиаду по программированию. Это не помогало. Чтобы хоть как-то продвинуться, нужно было перестроить сознание. Сколько тонких и острых шуток родилось, пока мы пытались освоить эту науку, сколько мата повисло в воздухе и прилипло к стенам. Пару человек мы из-за этого Пролога просто потеряли, не каждый выдержит столь изощренное издевательство над мозгами. Но главный вопрос, который не давал покоя: зачем нам это? Ни до, ни после писать на Прологе не довелось. Это была какая-то экзотическая пытка, мучение без причины и смысла.
Прошло много лет, случился юбилей кафедры. Сильно постаревший Сергей Сергеевич тоже пришел. Ну а я не выдержал, съязвил: «Что, — говорю, — все бедных первокурсников учите на Прологе программировать? До сих пор не понимаем, нафига.»
А Сергей Сергеевич посмотрел на меня недоуменно и говорит: «Да, конечно, учим. Пролог — лучший способ преподавать логику как прикладную науку. Ты что, не понял тогда? Или ты логику по книжкам о критическом мышлении изучаешь?»
Вот тогда я осознал и прочувствовал величие преподавательского замысла. И устыдился нашей тупости. Действительно, напишешь пару программ на Прологе или даже просто прочитаешь хорошо написанные кем-то, что примерно одинаково по степени погружения, и сразу логика не кажется мертвой. Становится ясно, как она устроена, для чего ее использовать. И белиберду в инете воспринимаешь уже совсем иначе. А книжки про критическое мышление никогда не читал и не собираюсь.
Так не только в вузе, так в любом обучении бывает: мы не понимаем, чему и зачем нас учат. И почему учат именно таким способом. Капризничаем, злимся, негодуем, не хотим разбираться в сложном, не хотим новый инструмент или фреймворк. Не видим пользы, ни для себя, ни для дела.
Но если учитель знает, что делает, польза точно будет. Честное слово.
23
10
4
3
1
1
1September 1, 2026 629 12
