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

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

Mathematik
mathematics proof techniques logic set theory quantifiers exercises computer science
Autor
Дэниэл Веллеман
Verlag
ДМК Пресс
Jahr
2021
Sprache
Russisch
42
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Bild der Quantenprozesse: Einführung in die Quantentheorie und Diagramm-Argumentation

Bild der Quantenprozesse: Einführung in die Quantentheorie und Diagramm-Argumentation

Боб Коке, Алекс Киссинджер

Von der Mathematik zum generischen Programmieren

Von der Mathematik zum generischen Programmieren

Александр А. Степанов, Дэниэл Э. Роуз

Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

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

Programmiermethoden in Aufgaben und Beispielen mit C/C++

Programmiermethoden in Aufgaben und Beispielen mit C/C++

В. Д. Валединский, А. А. Корнев

Tanz mit Qubits. Wie Quantencomputing wirklich funktioniert.

Tanz mit Qubits. Wie Quantencomputing wirklich funktioniert.

Роберт С. Сатор

Regression: Theorie und Praxis. Mit Beispielen in R und Stan

Regression: Theorie und Praxis. Mit Beispielen in R und Stan

Эндрю Гельман, Дженнифер Хилл, Аки Вехтари

Künstliche Intelligenz Systeme

Künstliche Intelligenz Systeme

А. В. Остроух, Н. Е. Суркова

Geheimnisse interessanter Integrale (mit Einführung in die Konturintegration)

Geheimnisse interessanter Integrale (mit Einführung in die Konturintegration)

Пол Дж. Нахин

How to Design Programs. Einführung in Programmierung und Computerberechnungen

How to Design Programs. Einführung in Programmierung und Computerberechnungen

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

Theoretisches Minimum in Computer Science. Alles, was Programmierer und Entwickler brauchen

Theoretisches Minimum in Computer Science. Alles, was Programmierer und Entwickler brauchen

Владстон Феррейра Фило