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 FirstOrder Logic: Semantics, Proof Systems, Soundness and Completeness Theorems, Compactness Theorems and Applications.
Created in 22/04/2021 Time 13:13:18