Lògica matemàtica: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot afegeix: lt:Matematinė logika |
punt a final de frase |
||
Línia 1:
La '''lògica matemàtica''' és la disciplina inclosa en la [[matemàtica]] que estudia els [[sistemes formals]] en relació amb la manera amb que aquests codifiquen els conceptes intuitius de [[demostració matemàtica]] i [[computació]] com una part dels [[fonaments de la matemàtica]].
Es pot entendre com la ''matemàtica de la lògica'' ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament.
| |||