Subject: Subject Sylbus: Logic and Set Theory for Cs - 234293

Logic and Set Theory for Cs - 234293
Will not be given the year
Credit
Points
4.0
 
  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