Programmierung: Kombinatorische Logik
A

Programmierung: Kombinatorische Logik

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Autor
I. A. Kudrjawzewa, M. W. Schwezki
Verlag
Jurait
Jahr
2022
Sprache
Russisch
175
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Programmierung: Lehrbuch und Übungsbuch für Hochschulen

Programmierung: Lehrbuch und Übungsbuch für Hochschulen

S. W. Sykow

Compilerbau. Grundlagen und Anwendungen

Compilerbau. Grundlagen und Anwendungen

Hanspeter Mössenböck

Algorithmisches Training. Lösungen praktischer Aufgaben in Python und C++

Algorithmisches Training. Lösungen praktischer Aufgaben in Python und C++

Maxim Iwanow

Die Kunst des Beweisens in der Mathematik. Vorlesungsreihe mit Übungen

Die Kunst des Beweisens in der Mathematik. Vorlesungsreihe mit Übungen

Daniel Wellman

Perfekter Algorithmus. Algorithmen für NP-schwere Probleme

Perfekter Algorithmus. Algorithmen für NP-schwere Probleme

Tim Roughgarden

Das geheime Leben von Programmen. Wie man Code schreibt, der Ihrem Computer gefällt

Das geheime Leben von Programmen. Wie man Code schreibt, der Ihrem Computer gefällt

Jonathan Steinhart

Theoretisches Minimum zu Big Data. Alles, was Sie über Big Data wissen müssen.

Theoretisches Minimum zu Big Data. Alles, was Sie über Big Data wissen müssen.

In Annaleen, Su Kenneth

Informatik: Grundlagen der Java-Programmierung, OOP, Algorithmen und Datenstrukturen

Informatik: Grundlagen der Java-Programmierung, OOP, Algorithmen und Datenstrukturen

Robert Sedgewick, Kevin Wayne

Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

K. Roustan M. Leino