Mathematical Logic through Python - Tapa dura

Gonczarowski, Yannai A.; Nisan, Noam

9781108845076: Mathematical Logic through Python

Tapa dura

ISBN 10: 110884507X ISBN 13: 9781108845076

Editorial: Cambridge University Press, 2022

Ver todas las copias de esta edici�n del ISBN

0 Usado

12 Nuevo

De EUR 81,51

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 G�del's completeness theorem. A sneak peek to G�del'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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Acerca de los autores

Yannai A. Gonczarowski is Assistant Professor of both Economics and Computer Science at Harvard University, and is the first faculty at Harvard to be appointed to both of these departments. He received his PhD in Mathematics and Computer Science from The Hebrew University of Jerusalem. Among his research awards are the ACM SIGecom Dissertation Award and INFORMS AMD Junior Researcher Paper Prize. He is also a professionally trained opera singer.

Noam Nisan is Professor of Computer Science and Engineering at The Hebrew University of Jerusalem, serving as Dean of the School of Computer Science and Engineering during 2018-2021. He received his PhD in Computer Science from the University of California, Berkeley. Among the awards for his research on computational complexity and algorithmic game theory are the G�del Prize and Knuth Award. This is his fifth book.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Cambridge University Press
A�o de publicaci�n: 2022
Idioma: Ingl�s
ISBN 10: 110884507X
ISBN 13: 9781108845076
Encuadernaci�n: Tapa dura
N�mero de p�ginas: 284
Contacto del fabricante: no disponible
Persona responsable: Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Comprar nuevo

Ver este art�culo

EUR 81,51

Convertir moneda

EUR 5,19 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9781108949477: Mathematical Logic through Python

Edici�n Destacada

ISBN 10: 1108949479 ISBN 13: 9781108949477
Editorial: Cambridge University Press, 2022
Tapa blanda

Resultados de la b�squeda para Mathematical Logic through Python

Imagen de archivo

Mathematical Logic through Python

Gonczarowski, Yannai A.; Nisan, Noam

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9781108845076_new

Contactar al vendedor

Comprar nuevo

EUR 81,51

Convertir moneda

Gastos de env�o: EUR 5,19

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Logic through Python

Gonczarowski, Yannai A.; Nisan, Noam

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9781108845076

Contactar al vendedor

Comprar nuevo

EUR 80,17

Convertir moneda

Gastos de env�o: EUR 6,84

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Logic through Python

Yannai A. Gonczarowski , Noam Nisan

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Impresi�n bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Hardcover. Condici�n: Brand New. 250 pages. 10.20x7.24x0.75 inches. In Stock. This item is printed on demand. N� de ref. del art�culo: __110884507X

Contactar al vendedor

Comprar nuevo

EUR 81,47

Convertir moneda

Gastos de env�o: EUR 11,55

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Logic through Python

Yannai A. Gonczarowski

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Impresi�n bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Hardback. Condici�n: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 740. N� de ref. del art�culo: C9781108845076

Contactar al vendedor

Comprar nuevo

EUR 85,21

Convertir moneda

Gastos de env�o: EUR 9,48

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Logic through Python

Gonczarowski, Yannai A.|Nisan, Noam

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is a. N� de ref. del art�culo: 523129755

Contactar al vendedor

Comprar nuevo

EUR 84,57

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Logic through Python

Yannai A. Gonczarowski

Publicado por Cambridge University Press, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Buch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. N� de ref. del art�culo: 9781108845076

Contactar al vendedor

Comprar nuevo

EUR 104,80

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Logic through Python (Hardcover)

Yannai A. Gonczarowski

Publicado por Cambridge University Press, Cambridge, 2022

ISBN 10: 110884507X ISBN 13: 9781108845076

Nuevo Tapa dura

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Hardcover. Condici�n: new. Hardcover. 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. In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9781108845076

Contactar al vendedor