| Attributes | Values |
|---|
| rdfs:label
| |
| rdfs:comment
| - Формальная система (phormalinus systemus -формалинус системус) — результат строгой формальности, предполагающей полную абстракцию от смысла слов используемого языка, причем причины, регулирующие употребление этих слов, определяются посредством аксиом и правил, позволяющих вывести из встреченных фраз еще одну, еще более кошерную.
- Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
* Страница 0 - краткая статья
* Страница 1 - энциклопедическая статья
* Разное - на страницах: 2 , 3 , 4 , 5
* Прошу вносить вашу информацию в «Формальная система 1», чтобы сохранить ее
|
| dcterms:subject
| |
| dbkwik:resource/35rzF-BhL_otm9wCtVTaeg==
| |
| dbkwik:resource/4AivDxIwDSIeegYP-z9FLQ==
| |
| dbkwik:resource/6nPC3nXfqo_ivSJZNFV51A==
| - 320(xsd:integer)
- 480(xsd:integer)
- 526(xsd:integer)
|
| dbkwik:resource/8WZQ1ZzI1NKp0sap4bN5GA==
| |
| dbkwik:resource/9AXiqEjPKQ6Z9TSFEgu5Dg==
| |
| dbkwik:resource/QjxfzC_GfdpB3emLTkwFmA==
| |
| dbkwik:resource/aACyUJQp1ag0ZbZvZtvlug==
| |
| dbkwik:resource/fco9BXc0-68mng7EiSFwrA==
| - 1957(xsd:integer)
- 1958(xsd:integer)
- 1971(xsd:integer)
- 1973(xsd:integer)
|
| dbkwik:resource/hEinrC5DRtFi1sSnEzNC-w==
| - Математическая логика
- Введение в математическую логику
- Введение в метаматематику
- Из истории аксиоматики
|
| dbkwik:resource/pDK6UyFtGCl_0vASwnrdNQ==
| |
| dbkwik:absurdopedi...iPageUsesTemplate
| |
| dbkwik:ru.science/...iPageUsesTemplate
| |
| abstract
| - Формальная система (phormalinus systemus -формалинус системус) — результат строгой формальности, предполагающей полную абстракцию от смысла слов используемого языка, причем причины, регулирующие употребление этих слов, определяются посредством аксиом и правил, позволяющих вывести из встреченных фраз еще одну, еще более кошерную.
- Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
* Галиев Ш. И. Математическая логика и теория алгоритмов. — Казань: Издательство КГТУ им. А. Н. Туполева. 2002.
* Введение в метаматематику. — М.: ИЛ, 1957. — 526 с.
* Математическая логика. — М.: «Мир», 1973. — 480 с.
* Введение в математическую логику. — М.: «Наука», 1971. — 320 с.
* Новиков Ф. А. Дискретная математика для программистов. — СПб.: Питер, 2000. — 304 с.: ил. ISBN 5-272-00183-4.
* Яновская С. А. Из истории аксиоматики // Историко-математические исследования. — М.: 1958. — № 11. — С. 63-96.
* Страница 0 - краткая статья
* Страница 1 - энциклопедическая статья
* Разное - на страницах: 2 , 3 , 4 , 5
* Прошу вносить вашу информацию в «Формальная система 1», чтобы сохранить ее
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)