Hal: 1/2

Informasi Perkuliahan

Matakuliah

: SCMA601101 Logika dan Teori Bilangan (2 SKS)

Instruktur

: Dr. rer. nat. Hendri Murfi

Ruang D. 313

Departemen Matematika FMIPA – UI

E-mail: hendri@ui.ac.id

Jadwal : Rabu, Pukul: 10.00 – 11.40 WIB (D. 109)

Evaluasi Penilaian Evaluasi penilaian didasarkan atas beberapa kegiatan, yaitu : Ujian Tengah

Semester (UTS), Ujian Akhir Semester (UAS), dan Tugas dengan bobot sebagai

berikut:

1. UTS : 45%

2. UAS : 45%

3. Tugas : 10%

Topik Kuliah

Logika: Logika Proposisi (Propositional Logic), Logika Predikat (Predicate

Logic), Pembuktian (Proofs), Induksi Matematika (Mathematical Induction)

Teori Bilangan: Pembagian, Aritmatika Modular, Bilangan Prima, Faktor

Persekutuan Terbesar, Konkruen dan Algoritma Euclidean, Chinese Remainder

Theorem, Fermat’s Little Theorem.

Hal: 2/2

Silabus Perkuliahan

Tujuan Instruksional Umum

Agar mahasiswa menjelaskan Konsep Logika Proposisi dan Logika Predikat serta

pemakaiannya sebagai bahasa Matematika (formal) dalam pembuktian argumentasi;

Konsep Penalaran Matematika dan Pembuktian; Konsep dasar Teori Bilangan.

Prasyarat: -

Perencanaan Perkuliahan

Waktu Topik Bahasan Referensi

Minggu Ke-1,2 Logika Proposisi (Propositional Logic) [1] Bab 1.1 – 1.2

Minggu Ke-3,4 Logika Predikat (Predicate Logic) [1] Bab 1.3 – 1.4

Minggu Ke-5,6 Pembuktian (Proofs) [1] Bab 1.5 – 1.7

Minggu Ke-7 Induksi Matematika (Mathematical

Induction)

[1] Bab 4.1 – 4.2

Minggu Ke-9,10, 11 Pembagian, Aritmatika Modular [1] Bab 3.4

Minggu Ke-12,13 Bilangan Prima, Faktor Persekutuan

Terbesar,

[1] Bab 3.5

Minggu Ke-14, 15 Konkruen dan Algoritma Euclidean,

Chinese Remainder Theorem, Fermat’s

Little Theorem.

[1] Bab 3.7

Buku Acuan :

1. Kenneth H. Rosen, Discrete Mathematics and Its Applications, McGraw-Hill

(Utama)

2. H. Jerome Keisler and Joe Robbin. Mathematics Logic and Computability,

McGraw-Hill