PDF4PRO ⚡AMP

Modern search engine that looking for books and documents around the web

Example: air traffic controller

Propositional Logic - University at Buffalo

Propositional LogicCSE 191, Class Note 01 Propositional LogicComputer Sci & Eng DeptSUNY Buffaloc Xin He ( University at Buffalo )CSE 191 Discrete Structures1 / 37 Discrete MathematicsWhat isDiscrete Mathematics?In Math 141-142, you learn continuous math. It deals withcontinuous functions, differential and integral contrast, discrete math deals with mathematical topics in asense that it analyzes data whose values are separated (such asintegers: integer number line has gaps).Here is a very rough comparison between continuous math anddiscrete math: consider an analog clock (one with hands thatcontinuously rotate, which shows time in continuous fashion) vs. adigital clock (which shows time in discrete fashion).c Xin He ( University at Buffalo )CSE 191 Discrete Structures3 / 37 Course TopicsThis course provides some of the mathematical foundations and skillsthat you will need in your further study of computer science andengineering.

By denition, computers operate on discrete data (binary strings). So, in some sense, the topics in this class are more relavent to CSE major than calculus. c Xin He (University at Buffalo) CSE 191 Discrete Structures 4 / 37 The Foundations: Logic and Proof The rules of logic specify the precise meanings of mathematical statements.

Loading..

Tags:

  Data, Structure

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Spam in document Broken preview Other abuse

Transcription of Propositional Logic - University at Buffalo

Related search queries