Logic and Modeling 2021: Lecture 1

Video 1: Introduction

Video 2: Course motivation

Video 3: A logic puzzle