Teaching [
]
2018 Spring
1. Discrete Mathematics: Mathematical Logic
Slide 1: The History of Mathematical Logic (self-study)
Slide 2: The Propositional Logic
2017 Autumn
1. Frontiers of Big Data Processing Techniques
2. Discrete Mathematics: Mathematical Logic
2017 Summer
1. Discrete Mathematics: Mathematical Logic
Slide 4: The Predicate Logic (First Order Logic)
Slide 6: Resolution Principles
2016 Autumn
1. Discrete Mathematics: Mathematical Logic
2. Frontiers of Big Data Processing Techniques
2016 Summer
1. Discrete Mathematics: Mathematical Logic
2015 Autumn
1. Discrete Mathematics: Mathematical Logic
2014 Autumn
1. Discrete Mathematics: Mathematical Logic
2. Database System Concepts
3. Finite Model Theory
Sildes
Lectured by
Prof. Scott Weinstein
from University of Pennsylvania
For the Summer School on Frontiers of Computer Science at Beihang
2013 Autumn
1. Discrete Mathematics: Mathematical Logic
2. Database System Concepts
3. Introduction to Data Science, 2013
Please register and access the
online course materials
.
I will focus on the following two topics:
2 - Relational Databases, Relational Algebra
9 - Graph Analytics
Supplementary I: Big Data Techniques
Supplementary II: How to do Research
Homework:
SQL Practice
Last updated on December 26, 2013.