Python lernen mit KI-Tools : Einstieg in die Programmierung mit KI-Unterstützung
Deep Learning mit Python
Einführung in Machine Learning mit Python
Schrödinger programmiert Python
Mathematical Logic Through Python
description
"An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided"--
read more
pages
N/A
Year published
2022
Publisher
Cambridge University Press
Issn
978-1-108-95446-4
Language
en
categories
id
D.2.3.6 GON22