Matemātiskā loģika

Vikipēdijas raksts
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ī[izmainīt šo sadaļu | labot pirmkodu]

Ārējās saites[izmainīt š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..