Matemātiskā loģika

Vikipēdijas lapa
Pārlēkt uz: navigācija, meklēt

Matemātiskā loģika (teorētiskā loģika, simboliskā loģika) ir matemātikas nozare, kas pēta matemātisko pierādījumu formas, formālās valodas izteikumus un operācijas ar izteikumiem. Matemātiskā loģika apvieno vienā disciplīnā matemātiku un loģiku, aprakstot pareizai domāšanai raksturīgās formālās kārtulas.

Skatīt arī[labot šo sadaļu | labot pirmkodu]

Ārējās saites[labot šo sadaļu | labot pirmkodu]

  • Gowers, Timothy un Barrow-Green, June un Leader, Imre (2008). The Princeton companion to mathematics. Princeton University Press. ISBN 978-0-69-111880-2..