Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic for Applications, 1

Name: Logic for Applications, 1
Brand: Springer, Berlin
SKU: 02016206
Price: 52.69 EUR
Availability: InStock
Author: Anil Nerode
ISBN: 9781461268550

Anil Nerode

Richard A. Shore

Sprache

Englisch

Buch Broschur

Libristo-Code: 02016206

Verlag Springer, Berlin, September 2012

This textbook provides a first introduction to mathematical logic which is closely attuned to the ap... Vollständige Beschreibung

Libristo-Code: 02016206

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Norsko Phil Lee

Karte

15.79 €

História Alegre de Portugal Manuel Pinheiro Chagas

Broschur

19.99 €

UNE ANALYSE DE L'EXPERIENCE DE VIE DES TRAVAILLEURS DE HARITHA KARMA SENA JILUMOL M V

Broschur

40.99 €

CATHEDRAL CITY VIOLONCELLE JOHN GRAVES Drucksachen

Noten

12.89 €

Zástup Basma Abd al-Azíz

Broschur

13.69 €

KAIF: O stopování, kalašnikovech a japonském pornu Tony Danilov

Hardcover

9.39 €

EUROPA EN CRISIS, 1598-1648 NOEL G. PARKER

Hardcover

27.99 €

Legende von Wasgo Band 2 Michael Rusch

Broschur

13.99 €

Freund oder Feind: Das Doppelleben der Mikroglia in unserem Gehirn Imke Brodersen

Broschur

22.80 €

Resimli Türkce Sözlük Kolektif

Broschur

10.59 €

Chemie 8 Příručka učitele pro základní školy a víceletá gymnázia Pavel Doulík

Broschur

24.49 €

Facharztprüfung Dermatologie Thomas Dirschka

Broschur

84.00 €

Retour de Madrid A Paris En 1834: Souvenirs Du Cholera Viardot-L

Broschur

14.19 €

Identidad Profesional de las Docentes de Preescolar Sandra Elena Amaya Martínez

Broschur

36.49 €

Das Havelland um Rathenow und Premnitz Sebastian Kinder

Hardcover

42.39 €

Arbeit an sich selbst Rudolf Steiner

Broschur

5.89 €

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.§From reviews of the first edition : "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." §SIGACT News

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic for Applications, 1

Autor Anil Nerode, Richard A. Shore

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 456

EAN 9781461268550

ISBN 1461268559

Libristo-Code 02016206

Verlag Springer, Berlin

Gewicht 724

Abmessungen 155 x 235 x 24

Kategorie

EDV und Informationstechnologie > Computerhardware

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert