Benutzerdefiniertes Cover
Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit : über Nachfolgerbereichen / Michael Deutsch
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: Bremen : Universitätsdruckerei, 2003Beschreibung: 232 SISBN:- 3887225783
- theory of computation
- mathematical logic and formal languages
- mathematical logic
- recursive function theory
- computing methodologies
- artificial intelligence
- knowledge representation formalisms and methods
- predicate logic
- Funktion Mathematik
- Rekursionstheorie
- Berechenbarkeit
- Prädikat Logik
- Entscheidbarkeit
- Rekursive Funktion
- Recursive functions
- Algorithms
- Gödel's theorem
- Computable functions
- QA9.615
Inhalte:
Call number: Grundsignatur: D.Deu(45190)PPN: PPN: 371704715
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Deu | Bibliothek / frei aufgestellt | D.Deu(45190) | Verfügbar | 000456591090 |
Anzahl Vormerkungen: 0