Module VIII·3 articles·~18 min

Logic in AI, Algorithms, and Digital Thinking

Formal methods, algorithmic thinking, and the limits of automation

Make a podcast about this module

Pick voices and format — AI generates the episode

§ 01 — Articles

I
Logic and Programming: From Algorithm to Verification
Article 1 of 3
~6 min
Read →
II
Logic in Machine Learning and AI
Article 2 of 3
~6 min
Read →
III
Digital Logic and Critical Thinking in the Information Society
Article 3 of 3
~6 min
Read →

§ 02 — Practice

Test what you've learned in this module.

Discuss with AI

An AI tutor that knows this module.