Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Mathematical logic through Python
Yannai A Gonczarowski,
Noam Nisan
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Book/Report
›
Book
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Mathematical logic through Python'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Python
100%
Mathematical Logic
100%
Propositional Logic
50%
Completeness Theorem
50%
Pedagogical Approaches
50%
Mathematical Proof
50%
Programming Task
50%
Unit Testing
50%
First-order Predicate Logic
50%
Comfort Zone
25%
Growing Population
25%
Gödel's Incompleteness Theorem
25%
Gödel
25%
Python Programming Language
25%
Undergraduate Courses
25%
Python Programming
25%
Logical Concepts
25%
Incompleteness Theorems
25%
Computer Science
Task Programming
100%
Extensive Collection
100%
Order Predicate Logic
100%
Incompleteness Theorem
100%
Programming Language
50%
Undergraduate Course
50%
Mathematics
Mathematical Logic
100%
Unit Test
50%
Incompleteness Theorem
50%
Mathematical Proof
50%
Programming Language
25%