Quantum redactiones paginae "Logica mathematica" differant
Content deleted Content added
de logica modali |
de philosophia mathematicae |
||
Linea 1:
[[Fasciculus:Pert chart colored.svg|thumb|309px|<!--An application of mathematical logic:PERT network chart for a seven-month project with five [[Milestone (project management)|milestones]] (10 through 50) and six activities (A through F). -->
Applicatio logicae mathematicae: Rete Pert ad propositum septem mensis cum quinque milliaribus et sex agitationibus.]]
'''Logica mathematica''' est disciplina [[mathematica]]e, quae conor sancire discernereque [[logica]]m ut facile sit utilis in [[mathematica]]. Logica est ratiocinatio, logica mathematica [[symbolum|symbola]] adhibere vult. Plerumque logicae mathematicae est excultum in saeculis 19 et 20. Coniungitur cum metamathematica, fundamentis mathematica, et [[Informatica|scientia]] [[Computatio|computationis]] theoreticae. Mathematicum logicum studia systematis formalis et ratiocinativa deductiva, rationis systematis formalis in unum coniugunt.
<!--
'''Mathematical logic''' is a field of [[mathematics]], that tries to formalize [[logic]] so that it can be used for mathematics more easily. Logic is about reasoning, mathematical logic tries to use symbols. Most of mathematical logic was developed in the 19th and 20th century.
Linea 14:
{{NexInt}}
*[[Logica modalis]]
*[[Philosophia mathematicae]]
== Bibliographia ==
*[https://www.britannica.com/students/article/mathematics/275734/204367-toc Commentarius de logica ex situ britanica]
| |||