Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog DRM-beskyttet
ePub version af Logik fur die Informatik af Markus Junker

Logik fur die Informatik

- Eine Einfuhrung in die Aussagenlogik, Pradikatenlogik und Berechenbarkeitstheorie

Af
E-bog
  • Format
  • E-bog, ePub
  • Tysk
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 244,95

Medlemspris

kr. 209,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Dieses Lehrbuch bietet eine Einfuhrung in die Aussagenlogik, die Pradikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die fur die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfullbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook. Schwierige Beweise sind nur skizziert. Das Buch erreicht dadurch eine gute Mischung aus mathematischer Prazision und Erlauterungen, ohne ausufernd zu werden. Viele Beispiele und zahlreiche Ubungen, nach Kapiteln unterteilt, erganzen das didaktische Angebot des Buches.

Læs hele beskrivelsen
Detaljer

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...