Retour Retour

Mathematical Logic through Python

Auteur: Yannai A. Gonczarowski
Langue: Anglais

Extrait

Voir
Cambridge University Press

Edition: Cambridge University Press

Auteur: Yannai A. Gonczarowski Noam Nisan
  • en
  • Couverture rigide
  • 9781108845076
  • 15 septembre 2022
  • 280 pages
Toutes les spécifications de l'article

Résumé

Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Goedel's completeness theorem. A sneak peek to Goedel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

Spécifications produit

Contenu

Langue
en
Binding
Couverture rigide
Date de sortie initiale
15 septembre 2022
Nombre de pages
280
Illustrations
Avec illustrations

Personnes impliquées

Auteur principal
Yannai A. Gonczarowski
Deuxième auteur
Noam Nisan
Editeur principal
Cambridge University Press

Autres spécifications

Hauteur de l'emballage
17 mm
Hauteur du produit
17 mm
Largeur d'emballage
181 mm
Largeur du produit
181 mm
Livre d‘étude
Oui
Longueur d'emballage
260 mm
Longueur du produit
260 mm
Poids de l'emballage
740 g
Édition
New édition

EAN

EAN
9781108845076

Vous trouverez cet article :

Catégories
Livre, ebook ou livre audio ?
Livre
Langue
Anglais

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol.com n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée

Choisissez votre binding (2)
Couverture rigide Broché €29,99

Informations sur les prix et commande

En rupture de stock

Recevez un e-mail ou une notification dans l’appli bol dès que cet article est à nouveau disponible.

Envoyez-moi un message Nous vous tenons au courant
Veuillez noter que tous les articles ne reviennent pas nécessairement en stock

D'autres ont aussi regardé

Voir la liste complète