With an introduction to discrete math, set theory, and temporal logic, we will study how to specify and verify systems using the TLA+ language and tools.

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis ... Part I: Proofs, and Mathematical Preliminaries Introduction to Logic, Proofs. Principle of ...

This course is available with permission to General Course students. This is a course covering a number of concepts and techniques of discrete mathematics. Topics covered: Counting: selections; ...

A. P. Punnen, Discrete Mathematics and Graph Theory, (under preparation, Draft version available, 2024) A. P. Punnen, Introduction to Linear Algebra, (under ...

An introduction to descriptive statistics, graphing and data analysis, probability laws, discrete and continuous probability distributions, correlation and regression, inferential statistics. No ...