Skip to content

96ibman/AI1_Tutorial

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

53 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

What is this?

I upload here what I find necessary to support me or the students in the tutorial sessions.

UPDATE (06/04/2026): My notes do not live here anymore. I created a separate repo for the summary of the lecture content (and the foundations, i.e. SMAI subject) which you can find here

UPDATE (19/1/2026): The sessions on 26 Jan and 2 Feb will be held online (NOT in-person). Zoom Meeting Link

UPDATE (07/11/2025): I started to write a (partial) summary of lecture content which you can find here. (No promises that I will commit to that!)

Tutorial Info

  • Tutor: Ibrahim Nasser
  • Language: English
  • Module: Artificial Intelligence I by Prof. Dr. Michael Kohlhase
  • Org: KWARC, Dept. Computer Science, FAU Erlangen-Nürnberg
  • Semester: Winter Semester 2025-2026
  • Time&Place: Mondays at 12:15-13:45 in Hörsaal 4 (H4)

Individual Dates

References

PROLOG

Helpful YouTube

Kohlhase Recommended

If you enjoy logic, Prof. Dr. Michael Kohlhase recommends the following reads:

  • Logicomix: An Epic Search for Truth
  • Godel, Escher, Bach: An Eternal Golden Braid
  • Books by Raymond Smullyan
  • The Hitchhiker's Guide to the Galaxy series (5 books)

About

Repo for my AI 1 Tutorial in WiSe2526

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors