Logica mathematica
Logica mathematica est disciplina mathematicae, quae conor sancire discernereque logicam ut facile sit utilis in mathematica. Logica est ratiocinatio, logica mathematica symbola adhibere vult. Plerumque logicae mathematicae est excultum in saeculis 19 et 20. Coniungitur cum metamathematica, fundamentis mathematica, et scientia computationis theoreticae. Mathematicum logicum studia systematis formalis et ratiocinativa deductiva, rationis systematis formalis in unum coniugunt.
Nexus interni
- Argumentatio
- Formula bene formata
- Gottlob Frege
- Logica modalis
- Logica propositionalis
- Philosophia mathematicae
- Signatura (logica)
- Theoria copiarum
Nexus externi
[recensere | fontem recensere]- http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf
- https://www.karlin.mff.cuni.cz/~krajicek/mendelson.pdf
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
