Welcome,
Guest
.
Login
.
Türkçe
NİNOVA
COURSES
HELP
ABOUT
Where Am I:
Ninova
/
Courses
/
Faculty of Science and Letters
/
MAT 175
/
Course Informations
Return to Faculty
Home Page
Course Information
Course Weekly Lecture Plan
Course Evaluation Criteria
Course Information
Course Name
Turkish
Soyut Matematik
English
Abstract Mathematics
Course Code
MAT 175
Credit
Lecture
(hour/week)
Recitation
(hour/week)
Laboratory
(hour/week)
Semester
-
3
3
-
-
Course Language
Turkish
Course Coordinator
Sultan Erdoğan Demir
Course Objectives
Öğrenciyi ispat teknikleri hakkında bilgilendirmek. Mantık, kümeler, fonksiyonlar, kardinalite kavramlarını öğretmek.
Course Description
Sembolik Mantık: önermeler, niceleyiciler, olumsuzluk, ispat yöntemleri. Kümeler Teorisi: küme, küme işlemleri, bağıntılar, denklik ve sıralama bağıntıları,fonksiyonlar, bileşke ve ters fonksiyonlar, ikili işlemler, latisler, Boole cebiri.Sayılabilirlik: sonlu ve sonsuz kümeler, sayılabilirlik, Cantor’s teoremleri.
Sıralı kümeler: sıralama bağıntılı kümeler, Zorn leması.Doğal Sayılar: Peano aksiyonları, tümevarım prensipleri,
Tam Sayılar: tam sayıların inşası, sıralama ve bölünebilme, kongrüanslar
Course Outcomes
Pre-requisite(s)
Required Facilities
Other
Textbook
Other References
Courses
.
Help
.
About
Ninova is an ITU Office of Information Technologies Product. © 2024