Книга: Джесси Рассел «Формальная система»
Серия: "-" Форма?льная систе?ма (форма?льная тео?рия, аксиоматическая теория) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других. Издательство: "VSD" (2012)
ISBN: 978-5-5134-8718-0 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Карликов, Вячеслав Александрович | Вячеслав Александрович Карликов (15 (27) декабря 1871, Сырдарьинская область — 17 октября 1937, Бутовский полигон… — VSD, - Подробнее... | бумажная книга | ||
Инфракрасная фотография | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга | ||
Очень голодная гусеница | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга |
См. также в других словарях:
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Формальная система — неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… … Большая советская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
СИСТЕМА, ИНФОРМАЦИОННО-УПРАВЛЯЮЩАЯ (ИУС) — формальная система, снабжающая руководящих работников информацией, необходимой им для принятия решений. Эффективная ИУС принимает во внимание различия между уровнями управления, сферами действия, а также внешними обстоятельствами и дает каждому… … Большой экономический словарь