S1 Information System

Mata kuliah ini mengajarkan mahasiswa agar mampu menggunakan metode-metode logika dalam memecahkan masalah logika. Materi yang dipelajari meliputi pengenalan logika, argumen, syllogistic logic, basic propositional logic, prepositional proofs.

Literatur:

1. Copi, Irving M. dan Cohen, Carl (2005), Introduction to Logic, 12th Edition, Prentice Hall.
2. Gensler, Harry J.(2002), Introduction to Logic, Routledge.