Skip to content

Latest commit

 

History

History
150 lines (132 loc) · 6.73 KB

modeling.md

File metadata and controls

150 lines (132 loc) · 6.73 KB
layout title permalink
page
Modeling
/modeling/

Lecture slides

pdf git v1.21.0

Encodings

Lecture videos

playlist 1h46m25s

Videos follow the slides of v1.3.1

Practice

basic modeling exercises nb git

Projects

all nb git

Tutorial slides

pdf git v1.2.0

Tutorial videos

playlist

  • organization yt
  • motivation yt
  • motivation, declarative problem solving yt
  • motivation, asp in a nutshell yt
  • introduction, introduction yt
  • introduction, first example yt
  • introduction, running first example yt
  • introduction, second example yt
  • introduction, examples summary yt
  • introduction, variables first example yt
  • introduction, variables second example yt
  • introduction, recursion first yt
  • introduction, recursion second yt
  • introduction, recursion and negation yt
  • introduction, summary yt