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

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

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

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

  • Другие статьи:
Искать информацию по запросу: Формальная на 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*

$8.75
End Date: Sunday Sep-22-2019 4:47:20 PDT
Buy It Now for only: $8.75
|
Andrei Bely Москва Hardcover Russian

$10.90
End Date: Saturday Sep-7-2019 1:08:04 PDT
Buy It Now for only: $10.90
|
Red Moscow perfume 42 ml Духи Красная Москва Novaya Zarya

$11.40
End Date: Tuesday Sep-3-2019 0:25:52 PDT
Buy It Now for only: $11.40
|
MOSCOU ROUGE Parfum (Krasnaya Moskva), Красная Москва 42 ml. NOVAYA ZARYA

$6.99
End Date: Sunday Sep-8-2019 6:57:15 PDT
Buy It Now for only: $6.99
|
CSKA Moscow Russia Vinyl Sticker Decal Football Soccer ЦСКА Москва наклейка

$15.99
End Date: Friday Sep-20-2019 12:37:21 PDT
Buy It Now for only: $15.99
|
Perfume “Krasnaya Moskva” (Red Moscow /Moscou Rouge) Novaya Zarya Красная Москва

$10.99
End Date: Monday Aug-26-2019 17:53:50 PDT
Buy It Now for only: $10.99
|
SCARF SPORTING vs LOKOMOTIV MOSKVA EUROPE LEAGUE 2015 - 2016 ШАРФ МОСКВА

$6.50
End Date: Tuesday Sep-3-2019 0:25:52 PDT
Buy It Now for only: $6.50
|
MOSCOU ROUGE Parfum (Krasnaya Moskva), Красная Москва 7 ml. NOVAYA ZARYA

$22.99
End Date: Monday Sep-9-2019 1:11:34 PDT
Buy It Now for only: $22.99
|
«Ваш Магазин» Печать книг на заказ. Новинки.
 Москва: СамотекаМосква: Самотека, 2009 г.
Горбунов Юрий Сергеевич

Книга написана на основе обширного материала, собранного автором, и рассказывает об одном из самобытнейших районов Старой Москвы. Самотека - это не только местность к северу от Кремля, вокруг современных Цветного бульвара, Трубной, Садовой-Самотечной улиц, Олимпийского проспекта. Самотека...
Цена: 292 руб.
 Сталинская Москва. Становление градостроительной темы "мировой коммунистической столицы"Сталинская Москва. Становление градостроительной темы "мировой коммунистической столицы", 2017 г.
Чекмарёв В.М.

Предлагаемая монография адресована всем, кто интересуется историей столицы. Затрагиваемая проблематика Генерального плана Москвы 1935 года освещается на основе широкого круга источников в тесной зависимости от господствовавших в то время представлений большевистского руководства.
Цена: 257 руб.
 Восьмое чудо света. ВСХВ - ВДНХ - ВВЦВосьмое чудо света. ВСХВ - ВДНХ - ВВЦ, 2014 г.
Зиновьева Ольга Андреевна

«Восьмым чудом света» назвали западные журналисты открывшуюся в 1939 году в Москве Всероссийскую сельскохозяйственную выставку. Какие цели преследовали организаторы и создатели этого грандиозного комплекса? Что скрывается за фасадами сохранившихся и уничтоженных «дворцов»? О прошлом и...
Цена: 454 руб.
 Прогулки по МосквеПрогулки по Москве, 2018 г.
Сингаевский В.Н.

Сегодняшняя Москва – это современный мегаполис, улицы которого с утра до вечера переполнены машинами и людьми. Но стоит свернуть с главных магистралей – и перед нашими глазами воскреснет город прошлых веков – с небольшими многоглавыми церквями, изящными особняками, тенистыми скверами…...
Цена: 228 руб.
 Старая Москва пешкомСтарая Москва пешком, 2019 г.
Рассохин Олег Олегович, Кальницкая Татьяна Григорьевна

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