Teaching []

2018 Spring

1. Discrete Mathematics: Mathematical Logic

Slide 1: The History of Mathematical Logic (self-study)

Slide 2: The Propositional Logic

2018 Summer

1. Discrete Mathematics: Mathematical Logic

2018 Autumn

1. Frontiers of Big Data Processing Techniques

2017 Autumn

1. Frontiers of Big Data Processing Techniques

Slide 2: Overview: Big Data & Its Techniques

Slide 3: Overview: Data Mining Techniques

Slide 4: Selected Readings: Recent Nature & Science Articles

Slide 5: Big Graph Search: Challenges and Techniques

Slides 6~9: Data-driven Crowdsourcing, Introduction to Random Sampling, Data Streaming Processing, and Big Spatio-temporal Data Processing, by Prof. Yongxin Tong

Slide 10: How to Do Research

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