Berechenbarkeit - Zimmermann, Karl-Heinz
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre9,62 €
Occasion · Très Bon État
- Livraison GRATUITE
- Livré entre le 26 et le 29 mai
Livré gratuitement chez vous en 2 semaines. Article presque inutilisé, absence presque totale de traces d'utilisation. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis...
Nos autres offres
-
20,57 €
Produit Neuf
- Livraison à 0,01 €
- Livré entre le 29 mai et le 8 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783658317386_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Berechenbarkeit de Zimmermann, Karl - Heinz Format Broché - Livre
0 avis sur Berechenbarkeit de Zimmermann, Karl - Heinz Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Berechenbarkeit de Zimmermann, Karl - Heinz Format Broché
- Livre
Résumé :
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie er?rtert. Zun?chst werden unterschiedliche Modelle der Berechenbarkeit eingef?hrt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der G?delisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem f?r die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen S?tze von Rice und Rice-Shapiro werden skizziert. ...
Biographie:
Dr. Karl-Heinz Zimmermann studierte Informatik und Mathematik an der Universit?t Erlangen-N?rnberg. Er promovierte dort in Theoretischer Informatik und habilitierte in Mathematik an der Universit?t Bayreuth. Er war Fulbright-Stipendiat an der Princeton Universit?t und Heisenberg-Stipendiat an der Universit?t Karlsruhe (TH). Er ist seit mehr als 25 Jahren Professor f?r Informatik an der Technischen Universit?t Hamburg und Autor von mehreren Forschungsmonographien sowie von ?ber 120 wissenschaftlichen Forschungspublikationen.
Sommaire:
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie er?rtert. Zun?chst werden unterschiedliche Modelle der Berechenbarkeit eingef?hrt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der G?delisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem f?r die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen S?tze von Rice und Rice-Shapiro werden skizziert. ...
Détails de conformité du produit
Personne responsable dans l'UE