Демо (html) Математическая логика и теория алгоритмов



Алгебра высказываний и алгебра предикатов

Атомарная формула или ее отрицание называется

литерой

В логике предикатов термин «некоторые» или «существует хотя бы одно значение» обозначается через

$



Конечные автоматы

Автомат, однократно считывающий входную строку слева направо, называется

конечным



Логические исчисления

x,y,z – вещественные числа. Эквивалентна утверждению х £y запись

$z (x+z=y)

x,y,z – вещественные числа. Эквивалентна утверждению х Î[y,z] запись

$t (x+t=z) Ù (y+t=x)



Неклассические логики

α–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно

"uÎAα : mA (u) ³ α



Теория алгоритмов

Временные или пространственные характеристики процесса вычисления называются

вычислительными ресурсами

Всякое непустое ___ множество является ___ некоторой всюду определенной вычислимой функции

рекурсивно перечислимое, множеством значений

Выражение qi,аj Пql является ___ машины Тьюринга

командой

Вычислительная процедура, приводящая к решению поставленной задачи, называется

- алгоритмом



Формальные системы

Аксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от

общего к частному

Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется

предложением

В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений

рекурсивно перечислимо