defter*
defter / katalog / CTIS 163
CTIS 163

Discrete Mathematics

Discrete math is the language CS is written in, instead of continuous curves and limits, you reason about finite, countable structures: propositions, sets, relations, graphs, trees, and the logic that ties them together. The work is mostly problem sets where you'll prove things rigorously (direct, contrapositive, induction), trace algorithms on graphs, and translate circuits into Boolean expressions, assessed through two midterms and a final. It's the formal-reasoning backbone for almost everything that follows in CTIS, data structures, algorithms, databases, automata, so the habits of careful definition and proof you build here pay off for years.

Kredi3ECTS5BölümInformation Systems and TechnologiesKoordinatörSatılmış Topcu

→ STARS müfredatı (resmi syllabus)

Haftalık müfredat 14 hafta

Hafta 114–20 Eyl
Ders tanıtımı ve Bölüm 1: kümeler ve mantık
Information about the course Objective, Textbook, Grading Chapter 1: Sets and Logic 1.2 Propositions 1.3 Conditional Propositions and Logical Equivalence
ders tanıtımısets and logicpropositionslogical equivalence
Hafta 221–27 Eyl
Bölüm 1: Önerme cebiri ve quantifiers
Chapter 1: Sets and Logic (Continue) Laws of Algebra of Propositions 1.5 Quantifiers 1.6 Nested Quantifiers
laws of algebra of propositionsquantifiersnested quantifiers
Hafta 328 Eyl – 4 Eki
Bölüm 2: Doğrudan İspat ve Karşıt Örnekler
Chapter 2: Proofs 2.1 Mathematical Systems, Direct Proofs and Counterexamples
mathematical systemsdirect proofcounterexample
Hafta 45–11 Eki
Bölüm 2: İspatlar ve Mathematical Induction
Chapter 2: Proofs (Continue) 2.4 Mathematical Induction
Bölüm 2.4mathematical inductionispat
Hafta 512–18 Eki
Bölüm 3: Fonksiyonlar ve Fonksiyon Grafikleri
Chapter 3: Functions and Relations 3.1 Functions - Graphs of Functions
functionsgraphs of functionsrelations
Hafta 619–25 Eki
Bölüm 3: Bağıntılar ve Bağıntı Matrisleri
Chapter 3: Functions and Relations (Continue) 3.3 Relations 3.5 Matrices of Relations
Bölüm 3.3 relationsBölüm 3.5 matrices of relations
Hafta 726 Eki – 1 Kas
Graph theory'ye giriş: paths ve cycles
Chapter 8: Graph Theory 8.1 Introduction 8.2 Paths and Cycles
graph theorypathscyclesBölüm 8
Hafta 82–8 Kas
Hamiltonian cycles, TSP ve shortest-path
Chapter 8: Graph Theory (Continue) 8.3 Hamiltonian Cycles and the TSP 8.4 A Shortest-path Algorithm
Hamiltonian cyclesTSPshortest-path algorithmgraph theory
Hafta 99–15 Kas
Graph gösterimleri ve trees'e giriş
Chapter 8: Graph Theory (Continue) 8.5 Representations of Graphs Chapter 9: Trees 9.1 Introduction
graph representationstreesBölüm 8-9
Hafta 1016–22 Kas
Tree terminolojisi ve spanning trees
Chapter 9: Trees (Continue) 9.2 Terminology and Characterizations of Trees 9.3 Spanning Trees
treesterminologyspanning treesBölüm 9
Hafta 1123–29 Kas
Minimal spanning trees ve tree traversals
Chapter 9: Trees (Continue) 9.4 Minimal Spanning Trees 9.6 Tree Traversals
minimal spanning treestree traversalsBölüm 9
Hafta 1230 Kas – 6 Ara
Bölüm 11: Boolean algebra ve combinatorial circuits
Chapter 11: Boolean Algebras and Combinatorial Circuits 11.1 Combinatorial Circuits 11.3 Boolean Algebras
combinatorial circuitsBoolean algebra
Hafta 137–13 Ara
Bölüm 11: Boolean algebra ve devre sentezi
Chapter 11: Boolean Algebras and Combinatorial Circuits (Continue) 11.4 Boolean Functions and Synthesis of Circuits
Boolean algebracombinatorial circuitsBoolean functionssynthesis of circuits
Hafta 1414–20 Ara
Bölüm 12: Automata, grammars ve finite-state machines
Chapter 12: Automata, Grammars, and Languages 12.1 Sequential Circuits and Finite-State Machines
automatagrammarssequential circuitsfinite-state machines

Değerlendirme 100% · 3 adım

5%
60%
35%
In-class participation Participation 5%
Midterm:Essay/written Midterm 60%
Final:Essay/written Final 35%
en büyük tek kalem %60 · sınav ağırlığı %95 · 31 dönem ortalaması 2.16 (1789 öğrenci) nasıl hesaplanıyor

Önerilen kaynaklar 4 kitap

📕
Zorunlu
Discrete Mathematics
Richard Johnsonbaugh, 8th
Pearson Education
📖
Önerilen
Discrete Mathematics and its Applications
Kenneth H. Rosen, McGraw-Hill
📖
Önerilen
Discrete Mathematics
Melvin Hausner, Saunder College Publishing Company
📖
Önerilen
A First Course in Discrete Mathematics
John C. Molluzzo and Fred Buckley, Wadsworth Publishing Company

Bu dersi alınca · 7 öğrenme çıktısı

Bilkent'in resmî syllabus'ünden. Sağdaki etiket o çıktının hangi değerlendirmeyle ölçüldüğünü söylüyor.

🤖 GenAI politikası

Students are advised to consult their instructors regarding the use of Generative AI tools and their appropriateness in each course. Responsible use of GenAI is encouraged in accordance with Bilkent University's GenAI Guidelines. Link: https://w3.bilkent.edu.tr/bilkent/generative-artificial-intelligence-genai-guideline/

Ders notları · henüz yok

CTIS 163 için defter ekibi henüz not yazmadı.

İlk dosyayı sen atarsan: not, slayt, geçmiş sınav, çözüm, cheat-sheet, ne varsa. defter ekibi öğrenci paylaşımlarından bu dersin notlarını yazar. Drive linki / PDF / ZIP, hepsi olur.

← katalog

Geçmiş GPA dağılımı 31 dönem · ort. 2.16

DönemCourse CPA
2025-2026 Fall 2.88 3 sec · 71 öğr
2024-2025 Fall 2.68 4 sec · 116 öğr
2024-2025 Spring 3.14 2 sec · 44 öğr
2023-2024 Fall 2.45 2 sec · 32 öğr
2023-2024 Spring 2.65 3 sec · 98 öğr
2022-2023 Fall 2.28 2 sec · 41 öğr
2022-2023 Spring 2.34 4 sec · 88 öğr
2021-2022 Fall 2.14 1 sec · 22 öğr
2021-2022 Spring 2.68 3 sec · 79 öğr
2020-2021 Fall 2.26 3 sec · 59 öğr

Aggregate course GPA · Bilkent STARS'tan public data. Hoca-bazlı per-section detayı için STARS evaluation report →. Öğrenci anket cevapları KVKK kapsamında defter'de tutulmaz. Tüm derslerin ortalamaları →

Bu dönem · 2026-2027 Güz · 3 şube · 75 kontenjan

haftada 3 saat ders

Haftalık ızgarada 4 saat görünüyor, kayıt sistemi dersi 3 saat yazıyor. Aradaki 1 saat yedek saat: Bilkent programlarında derse genelde bir fazla saat ayrılır ve çoğu zaman kullanılmaz. Hangisinin düşeceği dönem başlayınca belli olur.

1
Staff
Pzt15:30–17:20C-216Per10:30–12:20C-216
25
kişilik
2
Staff
Pzt08:30–10:20C-216Çar13:30–15:20C-216
25
kişilik
3
Staff
Pzt13:30–15:20C-216Per08:30–10:20C-216
25
kişilik
programıma ekle → CGPA'ya ekle kayıt tarihleri
Her dönem açılıyorSon yıllarda 16 güz ve 15 bahar döneminde açılmış. Kaçırırsan bir sonraki dönem tekrar bulabilirsin.

⚠️ FZ engelleyen şartlar

Collect at least 20 points out of 65 points by the Final Exam and don’t miss more than 15 hours of lecture.

Hocalar 0 bu dönem · 5 geçmiş

Geçmişte ders veren (5 kişi)
Satılmış Topcu, Hamdi Murat Yıldırım, Duygu Albayrak, Özlem Albayrak, Ayşin Solak-Örkçüoğlu

Bu ders 1 bölümün müfredatında zorunlu.

Bilişim Sistemleri ve Teknolojileri1. sınıf Güz

Kutulardaki sınıf ve dönem, o bölümün müfredatının dersi hangi sırada önerdiği. Dersin fiilen hangi dönem açıldığı ayrı bir şey.

Bunu alınca açılanlar · 1 ders CTIS 163'i ön koşul sayıyor

CTIS 264Computer Algorithms