Please enable JavaScript.
Coggle requires JavaScript to display documents.
Парадигмы программирования (Императивный подход (Машина Тьюринга…
Парадигмы программирования
Декларативный подход
Логический подход
:check:Факты
:check:Правила
:check:Предикаты
Логика 2-го порядка
Функциональное программирование
Haskell
Логика n-го порядка
Добавление Теории типов
Логика 1-го порядка
Логическое программирование
Prolog
Пошаговая инструция перехода из состояния в состояние
Исчисление высказываний
Императивный подход
Шифр Гая Юлия Цезаря
Энигма
Машина Тьюринга
ячейки
бесконечная лента
управляющее устройство
влево
заменить символ
вправо
перейти в состояние
задать машину :
задать внешний алфавит
задать таблицу переходов
задать внутренний алфавит
Исчисление состояний
Формальное описание, автоматическое получение ответов и вывод новых знаний
Концепции
Процедурный подход
программа - набор процедур
Объектно-ориентированный подход
программа - обмен сообщениями между объектов