Cart (0)Free Online Dictionary
symbolic logic
| Wikipedia English The Free Encyclopedia |  Download this dictionary |
Mathematical logic
Mathematical logic (also known as symbolic logic) is a subfield of mathematics with close connections to the foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
| Polska Wikipedia – Darmowa encyklopedia | Download this dictionary |
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
| W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg... |
© W niniejszym artykule wykorzystano materialy pochodzace z Wikipedia® i posiada on Powszechna Licencje Publiczna GNU
| Wikipedia Italiano L'enciclopedia libera | Download this dictionary |
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che essa è la logica applicata alla matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente.
Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.
| Per saperne di più visita Wikipedia.org... |
Questo articolo utilizza materiale tratto da Wikipedia® ed è autorizzato sotto la licenza GNU Free Documentation License
| Wikipedia 日本語 - フリー百科事典 | Download this dictionary |
数理論理学
この記事はウィキペディアTMの内容を用いておりGNU Free Documentation License のライセンスのもとに提供されています。
| Русская Википедия - свободная энциклопедия | Download this dictionary |
Математическая логика
Математическая логика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.» Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Согласно определению Н.И.Кондакова, «математическая логика – вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков).» Это определение соответствует определению С.К.Клини: математическая логика – это «логика, развиваемая с помощью математических методов». Так же А.А.Марков определяет современную логику «точной наукой, применяющей математические методы». Все эти определения не противоречат, но дополняют друг друга.
| Продолжение на Wikipedia.οrg... |
© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU
| symbolic logic in English | symbolic logic in Italian | symbolic logic in Spanish | symbolic logic in Dutch | symbolic logic in Portuguese | symbolic logic in German | symbolic logic in Russian | symbolic logic in Japanese | symbolic logic in Greek | symbolic logic in Turkish | symbolic logic in Hebrew | symbolic logic in Arabic | symbolic logic in Polish | symbolic logic in Hungarian | symbolic logic in Croatian | symbolic logic in Serbian | symbolic logic in Urdu | symbolic logic in Farsi
You think you have ethics...
Take the survey NOW!