Subject Sylbus: logic and set theory for cs


	Sylabus

logic and set theory for cs - 234293

	Lecture	Tutorial	Project/ Seminar	Laboratory
Weekly Hours	3	2

Credit
Points

4.0

Prerequisites: ( introduction to computer science 234114

and digital systems 234145 )

or ( digital systems 044145

and introduction to computer science 234114 )

Overlapping Courses: discrete mathematics ee 044114

discrete mathematics )for i.e( 094344

set theory 104290

mathematical logic 106156

discrete mathematics 234144

logic for computer science 1 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.

Previous Subject

Next Subject

Created in 21/05/2013 Time 15:47:14


Prerequisites:		(		introduction to computer science	234114
			and	digital systems	234145	)
	or	(		digital systems	044145
			and	introduction to computer science	234114	)
Overlapping Courses:				discrete mathematics ee	044114
				discrete mathematics )for i.e(	094344
				set theory	104290
				mathematical logic	106156
				discrete mathematics	234144
				logic for computer science 1	234292