Stoa
TracksCoursesLibraryPodcastsChroniclesPracticesPricing
Sign in
Logic
  • All Courses
  • Course Home
  • AI Assistant
  • Quiz
  • Podcast Studio
  • Cheatsheet
  • Socratic Dialogue
  • Hypothesis Lab
  • Detective Case
  • Mini Project
  • Simulator
Stoa/Library/Logic & Critical Thinking/Module VIII

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

I
Take the quiz
Test what you've learned in this module.
II
Discuss with AI
An AI tutor that knows this module.