Определение и примеры формальной системы. Понятия языка и метаязыка. Интерпретация формальной теории. Понятие изоморфизма в терминах теории формальных систем. Примеры продукционных правил, теория чисел. Исчисление предикатов первого и второго порядка.
19.12.2013 |
Программирование |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 47
