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 | |||||||
Pievienot e-Plauktam | | | Saglabāt/Sūtīt | | |
Pilns ieraksts
Formāta izvēle: | Standarta | MARC |
Sistēmas nr. | 000297958 |
Priekšmets | Pilnības teorēma |
Norāde | Gēdela pilnības teorēma [lav] |
Gēdela teorēma par pilnību [lav] | |
Pilnības teorēmas [lav] | |
Predikātu loģikas pilnības teorēma [lav] | |
Teorēma, pilnības [lav] | |
Completeness theorem [eng] | |
Plašāks termins | Simboliskā un matemātiskā loģika |
Plašāks termins | Modeļu teorija |
Šaurāks termins | Gēdela teorēma |
Saist. ieraksts |
Completeness theorem [LCSH] http://id.loc.gov/authorities/subjects/sh85029362 |
Completeness theorem [FAST] http://id.worldcat.org/fast/871577 |
|
Gödel’s completeness theorem [Wikidata] https://www.wikidata.org/wiki/Q902052 |
Formāta izvēle: | Standarta | MARC |
© 2014 Ex Libris