Symbolic Logic
Video managed externallySlides
Teaching
COMPSCI
713
Artificial Intelligence Fundamentals, University of Auckland, Semester 1 2024.
Lecture materials, slides, and assessment resources collected in the same editorial language as the homepage.
Overview
Course Material
This page collects the lecture slides and assessment material for COMPSCI 713. The original course page used an older template; this version keeps the content but aligns it with the editorial presentation of the homepage.
Videos are managed separately by the University of Auckland. Where a public video link is not listed below, the slide deck remains available.
At a Glance
- SemesterSemester 1, 2024
- FormatSlides and assessment links
- LicenseCC-BY-NC 4.0
Lectures
Slides & Videos
Logic: Case Study
Video managed externallySlides
Markov Decision Processes and Reinforcement Learning
Video managed externallySlides
Monte-Carlo Methods and Temporal Difference Learning
Video managed externallySlides
Deep Reinforcement Learning
Video managed externallySlides
Large Language Models
Video managed externallySlides
Case Study: FunSearch
Video managed externallySlides
Assessment
Assignments & Exam
Sample Examination Questions
Representative exam material for revision and preparation.
Notes
Usage & Copyright
Video access
Video lectures are managed by the University of Auckland, where copyright applies.
Shared folder
All of the above material can be viewed collectively in this folder.
License and attribution
All material is made available under CC-BY-NC 4.0. Some reinforcement learning slides adapt content from David Silver's lectures. Some third-party content may not be included in the license.