Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Naturvitenskap > Matematikk > Generelle matematiske prinsipper > Matematisk logikk (symbolsk logikk)

ANBEFALT TERM

511.3Matematisk logikk (symbolsk logikk)  

HENVISNINGSTERM

  • Aksiomer--matematisk logikk
  • Avgjørbarhet
  • Formalgrammatikk
  • Formallogikk
  • Formallogikk--matematisk logikk
  • Formalspråk
  • Fullstendighetsteorem
  • Første ordens logikk
  • Første ordens logikk--matematisk logikk
  • Gödels teorem
  • Hypoteser--matematikk
  • Høyere ordens logikk
  • Intermediær logikk
  • Kombinatorisk logikk
  • Logiske operatorer
  • Logiske operatorer--matematisk logikk
  • Matematisk logikk
  • Predikatlogikk
  • Predikatlogikk--matematisk logikk
  • Sannhetstabeller
  • Sannhetstabeller--matematisk logikk
  • Setningslogikk
  • Setningslogikk--matematisk logikk
  • Symbollogikk
  • Typeteori
  • Utsagnslogikk
  • Utsagnslogikk--matematisk logikk
  • Utvalgsaksiom

IDENTIFIKATOR

  • ocd00145468

URI

http://dewey.info/class/511.3/e23/

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 04.02.2010, sist endret 23.01.2018