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

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

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

Формальные системы (ФС) – это совокупность чисто абстрактных объектов, не связанных с внешним миром, в котором представлены правила оперирования множеством символов в строго синтаксической трактовке без учета смыслового содержания, т.е. семантики.

Строго описанные формальные системы появились после того, как была поставлена задача Гильберта. Первые ФС появились после выхода книг Рассела и Уайтхеда «Формальные системы». Этим ФС были предъявлены определенные требования. Признаки формальной системы:

1. Наличие конечного алфавита (словарь). Количество символов, которым мы будем оперировать.

2. Правило построений формул. Формулы не могут быть неправильно построенными, но могут быть неверными, но правильно построенными.

3. Должно быть задано конечное число аксиом (или выделено конечное число формул, которые мы не доказываем). Аксиома – это формула, считающейся истинной без доказательства.

4. Правила вывода. Позволяют выводить теоремы из аксиом или других теорем. Теорема – формула, истинность которой доказана с помощью правил вывода из аксиом или других теорем.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "Формальные системы" в других словарях:

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • Устойчивость (динамические системы) — У этого термина существуют и другие значения, см. Устойчивость. В математике, решение дифференциального уравнения (или, шире, траектория динамической системы) называется устойчивым, если поведение решений с близким начальным условием «не сильно… …   Википедия

  • Спецификация программной системы — описание системы, которое полностью определяет ее цель и функциональные возможности. Различают: словесные спецификации на естественном языке; модельные спецификации; формальные спецификации. См. также: Спецификации программных систем Спецификации …   Финансовый словарь

  • ГОСТ Р ИСО/ТС 22600-2-2009: Информатизация здоровья. Управление полномочиями и контроль доступа. Часть 2. Формальные модели — Терминология ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управление полномочиями и контроль доступа. Часть 2. Формальные модели: 2.7 авторизация (authorization): Процесс предоставления прав, включая предоставление прав на доступ.… …   Словарь-справочник терминов нормативно-технической документации

  • Корабельные системы — Корабельные (судовые) системы  традиционный обобщающий термин, включающий корабельное оборудование с определенными признаками, а именно, «протяженные» объекты. Другой термин, часто употребляемый в паре с корабельными системами … …   Википедия

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • Род — (грамм.) грамматич. категория, свойств. разным частям речи: у имен существительных Р. проявляется как классифицирующая категория, у местоимений как анафорическая, у слов, относящихся к др. частям речи, как согласовательная; отсюда ясно, что Р.… …   Российский гуманитарный энциклопедический словарь

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …   Математическая энциклопедия

  • ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»