Методички

Лекция в виде презентации с множеством буковок.

Составные части силлогистика Аристотеля, законы силлогистики, силлогизмы...

Краткие теоретические сведения о рефакторинге имён переменных, функций, классов и прочего добра в программах.

Подробная методичка о мнемонике имён в программах. С данной теорией должен быть ознакомлен каждый уважающий себя и окружающих программист. Методичка содержит конкретные примеры.

Теория составления алгоритмов и эвроритмов.

Задания на различные темы - животные, водоёмы...

Шифры замены (представлены для вашего общего развития, данные прямые методы в настоящее время легко взламываются)

Краткая история шифрования, начиная с 1500 лет до нашей эры.

Задание на лабораторную: реализовать задачу о восьми ферзях с помощью ОО-подхода.

Пролог - декларативный язык для описания так называемых "баз знаний" в виде аксиом и правил, что позволяет, например, проверять истину теорем, а также описывать процессы принятия решений.