БСЭ энциклопедия
Формальная система, неинтерпретированное

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

Форма'льная систе'ма, неинтерпретированное исчисление , класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык , формальная логика , кодификат, дедуктивная система и др.

источник: Большая Советская Энциклопедия

  • Другие статьи:
Искать информацию по запросу: Формальная на eBay аукцион * в Большой Российской Энциклопедии * в магазине Озоне
Search Москва All Amazon* UK* DE* FR* JP* CA* CN* IT* ES* IN* BR* MX
Search Moscow All Ebay* AU* AT* BE* CA* FR* DE* IN* IE* IT* MY* NL* PL* SG* ES* CH* UK*


$2.99
End Date: Tuesday Apr-16-2019 1:34:55 PDT
Buy It Now for only: $2.99
|
Russia President Putin Путин Moscow Car Bumper Window Vinyl Sticker Decal 4"X5"


$13.99
End Date: Sunday Apr-7-2019 14:51:06 PDT
Buy It Now for only: $13.99
|
CCCP Star Soviet Communist Russia Moscow Putin Funny Politics T-shirt


$13.99
End Date: Sunday Apr-7-2019 14:51:06 PDT
Buy It Now for only: $13.99
|
CCCP Star Soviet Communist Russia Moscow Putin Funny Politics T-shirt


$13.99
End Date: Sunday Apr-7-2019 14:51:06 PDT
Buy It Now for only: $13.99
|
CCCP Star Soviet Communist Russia Moscow Putin Funny Politics T-shirt


$13.99
End Date: Sunday Apr-7-2019 14:51:06 PDT
Buy It Now for only: $13.99
|
CCCP Star Soviet Communist Russia Moscow Putin Funny Politics T-shirt


$13.99
End Date: Sunday Apr-7-2019 14:51:06 PDT
Buy It Now for only: $13.99
|
CCCP Star Soviet Communist Russia Moscow Putin Funny Politics T-shirt


$8.99
End Date: Tuesday Apr-2-2019 13:15:32 PDT
Buy It Now for only: $8.99
|
Unbranded Putin Men’s Sz L Changing The World Graphic Tee Shirt Moscow A.029


$11.02
End Date: Saturday Mar-30-2019 8:44:36 PDT
Buy It Now for only: $11.02
|
Search Results from «Ваш Магазин» Печать книг на заказ. Новинки.
 Москва и москвичиМосква и москвичи, 2015 г.
Гиляровский Владимир Алексеевич

"Москва и москвичи" В.А. Гиляровского - это уникальное произведение, в котором в увлекательной форме рассказывается о жизни москвичей во второй половине XIX - начале XX века. Минувшее предстает перед читателями во всем своем многообразии: в блеске и нищете, в веселье и...
Цена: 687 руб.
 Москва. Альбом на китайском языке (кожаный переплет, золотой обрез)Москва. Альбом на китайском языке (кожаный переплет, золотой обрез), 2018 г.

Вашему вниманию предлагаем красочно иллюстрированную книгу на китайском языке о Москве.
Цена: 22 851 руб.
 Московское метро. Архитектурный гидМосковское метро. Архитектурный гид, 2018 г.
Петрова А., Гершкович Е.

«Московское метро. Архитектурный гид» — уникальный путеводитель, посвященный подземным дворцам столицы, их истории, устройству и оформлению. Специальная съемка фотографа-художника Алексея Народицкого и тексты искусствоведа и культуролога Евгении Гершкович о главных стилях метро — от...
Цена: 1 176 руб.
 Moscow. Альбом (кожаный переплет, золотой обрез)Moscow. Альбом (кожаный переплет, золотой обрез), 2016 г.

Иллюстрации альбома и сопровождающий их текст раскрывают самую суть Москвы – наиболее русского из всех городов России, который с наибольшей силой и полнотой вобрал в себя национальный дух, стал символом российского этноса, его традиций и культурной самобытности.
Цена: 14 708 руб.
 Москва и москвичиМосква и москвичи, 2018 г.
Гиляровский В.А.

"Москва и москвичи" В.А. Гиляровского - это уникальное произведение, в котором в увлекательной форме рассказывается о жизни москвичей во второй половине XIX - начале XX века. Минувшее предстает перед читателями во всем своем многообразии: в блеске и нищете, в веселье и...
Цена: 874 руб.
2008 Copyright © MoscowMSK.ru Мобильная Версия v.2015 | PeterLife и компания Москвоведение. Энциклопедия. Компании и фирмы. Новости Москвы. России и Мира сегодня. Прогноз погоды. Политика, бизнес, экономика. Объявления: Работа и вакансии. Знакомства. Полезная информация для туристов: отдых и путешествия. Экскурсии и туры по Москве. Популярные магазины. Продажа товаров и услуги онлайн. | Пользовательское соглашение использование материалов сайта разрешено с активной ссылкой на сайт. | SkimLinks международная реклама магазинов. | Скрипты Nevius. | Раскрутка сайтов 1ПС. | Хостинг Valuehost.
Рейтинг@Mail.ru Яндекс.Метрика Яндекс цитирования