Teaching [Home]

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

  • Slide 1: The History of Mathematical Logic (self-study)
  • Slide 2: The Propositional 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.