Logic and Set Theory for Cs - 234293
Will not be given the year
|
|
|
| |
Lecture |
Exercise |
Laboratory |
Project or
Seminar |
House
Work |
Weekly
Hours |
3 |
2 |
|
|
|
|
Determination of the grade according to progress during the semester and a final examination.
|
Prerequisites:
| |
(
| | Introduction to Computer Science |
234114
| |
| | |
and
| Digital Systems |
234145
| ) |
|
or
|
(
| | Digital Systems |
044145
| |
| | |
and
| Introduction to Computer Science |
234114
| ) |
|
or
|
(
| | Introduction to Computer Science H |
234117
| |
| | |
and
| Digital Systems |
234145
| ) |
|
or
|
(
| | Digital Systems |
044145
| |
| | |
and
| Introduction to Computer Science H |
234117
| ) |
|
or
|
(
| | Introduction to Computer Science |
234111
| |
| | |
and
| Digital Systems |
234145
| ) |
|
or
|
(
| | Digital Systems |
044145
| |
| | |
and
| Introduction to Computer Science |
234111
| ) |
| |
|
Overlapping Courses:
| | | | Discrete Mathematics Ee |
044114
| |
| | | | Discrete Mathematics (for I.E) |
094344
| |
| | | | Discrete Mathematics (for I.E) |
094345
| |
| | | | Discrete Mathematics |
094346
| |
| | | | Discrete Mathematics |
094347
| |
| | | | Basic Concepts in Mathematics |
104002
| |
| | | | Set Theory |
104290
| |
| | | | Set Theory |
104293
| |
| | | | Mathematical Logic |
106156
| |
| | | | Discrete Mathematics |
234144
| |
| | | | Logic for Cs |
234292
| |
There Are Two Goals to This Course: First, the Course Introduces Some Basic Notions That Will Be Needed as Background for Most of the Cs Courses. the Second Goal: to Familiarize Students with Abstract Mathematical Thinking. Set Theory: Basic Definitions, Relations, Functions, Equivalence Relations, Orderings, Cardinality of Sets, Kantor'S Diagonalization Methods. Logic: Propositional Calculus and First-Order Logic: Semantics, Proof Systems, Soundness and Completeness Theorems, Compactness Theorems and Applications.
Created in 22/04/2021 Time 13:13:18
