Skip to main content

Search from vocabulary

Content language

Concept information

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

Preferred term

511.3Matematisk logikk (symbolsk logikk)  

Entry terms

  • Aksiomer--matematisk logikk
  • Avgjørbarhet
  • Formalgrammatikk
  • Formallogikk
  • Formallogikk--matematisk logikk
  • Formalspråk
  • Første ordens logikk
  • Første ordens logikk--matematisk logikk
  • Fullstendighetsteorem
  • Gödels teorem
  • Høyere ordens logikk
  • Hypoteser--matematikk
  • 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

Identifier

  • ocd00145468

Notation

  • 511.3

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD Created 2/4/10, last modified 1/23/18