Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | tedesco |
| Pubblicazione: |
Berlin, Göttingen, Heidelberg
Springer
1961
|
| Serie: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
109 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
Documenti analoghi: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
- Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen
- Enumerability, decidability, computability [Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Engl.]. An introd. to the theory of recursive functions
- Berechenbarkeit, Komplexität, Logik. Eine Einf. in Algorithmen, Sprachen u. Kalküle unter bes. Berücks. ihrer Komplexität
- Aufzählbarkeit und Cantorsches Diagonalverfahren. Untersuchgn zu Grundfragen d. Logik.
- Algoritmische Entscheidbarkeit der Theorie der algebraisch abgeschlossenen Körper.
- Entscheidbarkeit und Komplexität der Funktionsgleichheit von Programmen.