Skip to main content
Hans-Dieter Hiep
Home
Courses
Roadmap
Blog
About
Quick search...
⌘K
/
Home
Courses
Roadmap
Blog
About
Hans-Dieter Hiep
—
21 posts published
Amsterdam, the Netherlands
November 2023
Formulas
November 16, 2023
—
Propositional logic
November 2023
Reynolds' logic
November 15, 2023
November 2023
Separation logic
November 15, 2023
November 2023
Object-oriented programming
November 15, 2023
November 2023
Functional programming
November 15, 2023
November 2023
Dynamic logic
November 15, 2023
November 2023
Procedural programming
November 15, 2023
November 2023
Hoare's logic
November 15, 2023
November 2023
Imperative programming
November 15, 2023
November 2023
Data types
November 15, 2023
November 2023
Arithmetic
November 15, 2023
November 2023
First-order logic
November 15, 2023
November 2023
Propositional logic
November 15, 2023
November 2023
Technical Feasibility Study
November 15, 2023
—
Q4 2023
November 2023
Ideas and Vision
November 14, 2023
—
Q3 2023
November 2023
Using Coq in the browser: jsCoq
November 08, 2023
—
Technical
November 2023
Can the Collatz conjecture be proven, or not?
November 01, 2023
—
Teaching
May 2023
What is an education?
May 06, 2023
—
Teaching
March 2023
Correctness of Two Sorting Algorithms
March 15, 2023
—
Teaching
February 2023
Can ChatGPT do an exam?
February 23, 2023
—
Teaching
Load more
Reynolds' logic