алгоритмически
111логика символическая — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …
112теоретическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …
113математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …
114моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… …
115полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …
116философия сознания глазами ученых — ФИЛОСОФИЯ СОЗНАНИЯ ГЛАЗАМИ УЧЕНЫХ концепции физиков, математиков, нейробиологов, посвященные объяснению феномена сознания. Еще сравнительно недавно мало кто из них интересовался проблемой сознания (исключениями являются У. Пенфильд, Р.… …
117формализованный язык — ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… …
118Bitcoin — Bitcoin …
119Структурированный продукт — (англ. structured product) – сложный комплексный финансовый инструмент, финансовая стратегия, базирующаяся на более простых базовых финансовых инструментах. Структурированные продукты, в числе прочего, возникли из потребностей компаний выпускать… …
120Тьюринг — английский математик Алан М.Тьюринг, один из создателей логических основ вычислительной техники, в частности, дал одно из формальных определений алгоритма; доказал, что существует класс вычислительных машин, которые могут имитировать… …
