Programmierung: Kombinatorische Logik
A

Programmierung: Kombinatorische Logik

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Autor
И. А. Кудрявцева, М. В. Швецкий
Verlag
Юрайт
Jahr
2022
Sprache
Russisch
24
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

С. В. Зыков

Compilerbau. Grundlagen und Anwendungen

Compilerbau. Grundlagen und Anwendungen

Ханспетер Мёссенбёк

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

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

Максим Иванов

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

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

Дэниэл Веллеман

Perfekter Algorithmus. Algorithmen für NP-schwere Probleme

Perfekter Algorithmus. Algorithmen für NP-schwere Probleme

Тим Рафгарден

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

Джонатан Стейнхарт

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.

Ын Анналин, Су Кеннет

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

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

Роберт Седжвик, Кевин Уэйн

Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

К. Рустан М. Лейно