Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Fundamente der Programmierung

Name: Fundamente der Programmierung
Brand: Springer-Verlag GmbH
SKU: 51982075
Price: 822 CZK
Availability: PreOrder
Author: Dirk Wiesmann
ISBN: 9783662736265

Dirk Wiesmann

Jazyk

Němčina

Kniha Brožovaná

Libristo kód: 51982075

Nakladatelství Springer-Verlag GmbH, říjen 2026

Das Buch bietet Studierenden und Praktiker*innen mit Kenntnissen der (objektorientierten) Anwendungs... Celý popis

Libristo kód: 51982075

82 b

Připravujeme Nové

Nové

822 Kč

Očekávaná novinka

Vydání 31. 08. 2026

Až 30 dní na vrácení zboží

Das Buch bietet Studierenden und Praktiker*innen mit Kenntnissen der (objektorientierten) Anwendungsentwicklung einen Einstieg in die theoretischen Grundlagen der Programmierung.

Auf Basis des Curry-Howard-Isomorphismus werden die Gemeinsamkeiten der konstruktiven Logik und der Programmierung beleuchtet. Damit können essentielle Grundlagen der Programmierung betrachtet werden, die sich durch klare Regeln (Reduktion und Inferenz) formulieren lassen.

Die vermittelte Theorie findet praktische Anwendung, indem Beweise in Agda programmiert werden. Grundlegende Zusammenhänge der Programmierung werden damit bewiesen. An elementaren Beispielen wird gezeigt, wie die Korrektheit von Programmen formal nachgewiesen werden kann und wie korrekte Programme unter Nutzung von Dependent Types konstruiert werden können. Aufgaben helfen beim Selbststudium. Die zugehörigen Lösungsvorschläge können über den Autor bezogen werden.