Mathematische Logik: Lehrbuch für den Bachelor
A

Mathematische Logik: Lehrbuch für den Bachelor

Allgemein
mathematical logic Java propositional logic predicate logic computer science education algorithmic approach
Autor
W.L. Matrosow, M.S. Mirsojew
Verlag
Prometheus
Jahr
2020
Sprache
Russisch
228
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Mathematische Logik und Algorithmustheorie: Lehrbuch

Mathematische Logik und Algorithmustheorie: Lehrbuch

J. W. Weinstein, T. G. Penkowa, W. I. Weinstein

Algorithmustheorie

Algorithmustheorie

W. I. Igoschin

Mathematik für Studienbewerber. Alles über Aufnahmeprüfungen an Hochschulen.

Mathematik für Studienbewerber. Alles über Aufnahmeprüfungen an Hochschulen.

W. W. Tkatschuk

Wahrscheinlichkeitstheorie und mathematische Statistik: Lehrbuch

Wahrscheinlichkeitstheorie und mathematische Statistik: Lehrbuch

W. J. Derr

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

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

Daniel Wellman

Theorie der automatischen Steuerung (mit MATLAB — SIMULINK)

Theorie der automatischen Steuerung (mit MATLAB — SIMULINK)

J. I. Kudinov, F. F. Pashchenko

Fortran für Profis. IMSL-Mathematikbibliothek. Ausgabe 1

Fortran für Profis. IMSL-Mathematikbibliothek. Ausgabe 1

O.W. Bartenjew

Dolganov A. Yu., Ronkin M. V., Sozykin A. V. - Grundlegende Algorithmen des maschinellen Lernens in Python - 2023

Dolganov A. Yu., Ronkin M. V., Sozykin A. V. - Grundlegende Algorithmen des maschinellen Lernens in Python - 2023

A. Ju. Dolganow, M. W. Ronkin, A. W. Sosykin

Diskrete Mathematik: Graphen, Matroide, Algorithmen

Diskrete Mathematik: Graphen, Matroide, Algorithmen

M. O. Assanow, W. A. Baranski, W. W. Rasin

Programmierung von Speicherprogrammierbaren Steuerungen. Lehrbuch

Programmierung von Speicherprogrammierbaren Steuerungen. Lehrbuch

Iwanow W. N.