разрешимость
41Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
42Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
43Луивилль — Жозеф Лиувилль Жозеф Лиувилль (фр. Joseph Liouville; 24 марта 1809 8 сентября 1882) французский математик. Систематически исследовал разрешимость ряда задач, дав строгое определение понятию элементарной функции и квадратуры. В частности… …
44Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …
45Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
46Полнота теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …
47Противоречивость теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …
48Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
49Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …
50Функции элементарные — Элементарные функции функции, которые можно получить из основных элементарных функций: многочлен, рациональная, степенная, показательная и логарифмическая, тригонометрические и обратные тригонометрические Гиперболические функции с помощью… …