Latvijas Nacionālās bibliotēkas autoritatīvā datubāze

Reģistrēties

|

Beigt darbu

|

Lietotājs

|

Datubāzes

|

Komentāri

|

Palīdzība

Pārlūkošana

|

Meklēšana

|

Rezultātu saraksts

|

Iepriekšējie meklējumi

|

Mans e-plaukts

|

English

Pilns ieraksts

Sistēmas nr.	000048118
Priekšmets	Simboliskā un matemātiskā loģika
Norāde	Algebra, loģikas [lav]
	Loģika, simboliskā un matemātiskā [lav]
	Loģikas algebra [lav]
	Simboliskā loģika [lav]
	Matemātiskā loģika [lav]
	Matemātiskā un simboliskā loģika [lav]
	Logic, Symbolic and mathematical [eng]
	Matemaattinen logiikka [fin]
	Mathematical logic [eng]
Plašāks termins	Matemātika
Šaurāks termins	Modeļu teorija
Šaurāks termins	Semantika (filozofija)
Šaurāks termins	Pārslēgšanas teorija
Šaurāks termins	Pragmatika
Šaurāks termins	Datoru loģika
Šaurāks termins	Pilnības teorēma
Šaurāks termins	Aksiomātiskā kopu teorija
Šaurāks termins	Rekursijas teorija
Šaurāks termins	Automātu teorija
Šaurāks termins	Rekursīvās funkcijas
Šaurāks termins	Lambda rēķini
Šaurāks termins	Pierādījuma teorija
Šaurāks termins	Neklasiskā matemātiskā loģika
Šaurāks termins	Gēdela teorēma
Šaurāks termins	Kategorijas (matemātika)
Šaurāks termins	Zinātnes metodoloģija
Šaurāks termins	Faziloģika
Sk. arī	Abstraktā algebra
Sk. arī	Kopu teorija
Sk. arī	Siloģisms
Saist. ieraksts	Logic, Symbolic and mathematical [LCSH] http://id.loc.gov/authorities/subjects/sh85078115
	Logic, Symbolic and mathematical [FAST] http://id.worldcat.org/fast/1002068
	mathematical logic [Wikidata] https://www.wikidata.org/wiki/Q1166618
	matemaattinen logiikka [YSO] http://www.yso.fi/onto/yso/p15194

© 2014 Ex Libris