Articles liés à Formalisieren und Beweisen: Logik für Informatiker...
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition) - Couverture souple
- ÉditeurVieweg+Teubner Verlag
- Date d'édition1990
- ISBN 10 3528047577
- ISBN 13 9783528047573
- ReliureBroché
- Nombre de pages280
Acheter D'occasion
état : Assez bonXIII, 259 Seiten; Das hier angebotene... En savoir plus sur cette édition
EUR 31,95
Frais de port :
EUR 14,50
De Allemagne vers Etats-Unis
Acheter neuf
En savoir plus sur cette édition
EUR 53,85
Frais de port :
EUR 2,37
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Formalisieren und beweisen : Logik für Informatiker.
Edité par
Braunschweig : Vieweg, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. XIII, 259 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 420. N° de réf. du vendeur 1684169
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formalisieren Und Beweisen : Logik Fur Informatiker -Language: German
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18635702-n
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition) by Siefkes, Dirk [Perfect Paperback ]
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Soft Cover. Etat : new. N° de réf. du vendeur 9783528047573
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formalisieren Und Beweisen : Logik Fur Informatiker -Language: German
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 18635702
Quantité disponible : 5 disponible(s)
Image d'archives
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020148217
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formalisieren und Beweisen : Logik für Informatiker
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783528047573_lsuk
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formalisieren Und Beweisen : Logik Fur Informatiker -Language: German
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18635702-n
Quantité disponible : 5 disponible(s)
Image d'archives
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Ancien ou d'occasion
Couverture souple
Vendeur : Book Deals, Tucson, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 1.32. N° de réf. du vendeur 353-3528047577-gdd
Quantité disponible : 1 disponible(s)
Image d'archives
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Edité par
Vieweg+Teubner Verlag, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Couverture souple
Vendeur : Books Unplugged, Amherst, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Buy with confidence! Book is in new, never-used condition 1.32. N° de réf. du vendeur bk3528047577xvz189zvxnew
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formalisieren und Beweisen
Edité par
Vieweg+Teubner, Vieweg+Teubner Verlag Jan 1990, 1990
ISBN 10 : 3528047577
ISBN 13 : 9783528047573
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: 'Wirst Du jemals denken wie ein Mensch Rechne mal nach!' Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. 'Fangt doch jeden Abschnitt mit einem Beispiel an', schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik for Informatiker durchzufiihren. 'Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. ' Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen. 262 pp. Deutsch. N° de réf. du vendeur 9783528047573
Quantité disponible : 2 disponible(s)