Nama Mata Pelajaran

Pengantar Logik & Pengabstrakan

Kod

CDC201

Status Mata Pelajaran

Teras

Peringkat

Diploma

Nilai Kredit

4 (2+2)

2 mewakili kuliah (2 jam x 14 minggu)

2 mewakili tutorial (3 jam x 14 minggu)

Prasyarat (Jika Ada)

-

Penilaian

Kerja kursus 30%

Peperiksaan 70%

Semester Di Ajar

Tahun 2 Semester II

Objektif mata Pelajaran

Pemahaman asas-asas logik bagi kalkulus usulan dan kalkulus predikat yang diperlukan dalam bidang pengaturcaraan logik, rekabentuk logik berdigit dan kejuruteraan perisian dengan tumpuan utama diberi kepada penguasaan teknik-teknik pengekstrakan dalam bidang kejuruteraan perisian yang melibatkan spesifikasi masalah secara formal

Sinopsis Mata Pelajaran

Kalkulus usulan, usulan, pengait, rumus usulan dan penilaiannya; Kalkulus Predikat; Spesifikasi (sebagai penggunaan logik); Jenis data, set; Objek gubahan; Petaan, jujukan; kajian beberapa kes.

Understanding the fundamentals of logic for both propositional and predicate calculus used in logic programming, digital logic design and software engineering with particular stress in the learning of writing formal specification. Propositional calculus: propositions, connectives (negation, conjunction, disjunction, implication, equivalence), statement formula and truth table, tree diagram, well-formed formula, Polish notation, tautologies, equivalence of formulas, tautology implication, canonic forms, theorem proving, formal proofs, automatic theorem proving. Predicate calculus: predicate and variable, universe of discourse, binding of variables, quantifiers, restricted vs non-restricted quantifiers, predicate formula, formal proofs. Specification: top-down specification, functions, explicit and implicit specification, examples of function specification, operations, and examples of operations. Data types and values, Sets: notation, partition, examples of specification. Composite objects: notations, invariants, examples of specification. Mapping, Sequence: notation, examples of specification. Abstraction: case studies

Rangka Mata Pelajaran

Tajuk Pengajaran

Jam

Kalkulus Usulan

  • usulan, pengait : TAK, DAN, ATAU, IMP, SETARA, rumus usulan dan penilaiannya
  • jadual kebenaran, konsep keadaan, rajah pohon, menulis ayat dalam bentuk rumus, konsep rumus terbentuk rapi, tatatanda Polska, tautologi, kesetaraan & implikasi tautologi, bentuk kanonik, hujah sah, pembuktian teorem, teori pentaabiran (bukti formal), bukti secara automatik.

7

Kalkulus Predikat

  • predikat dan pembolehubah

  • alam semesta

  • pengikatan pembolehubah bebas

  • pengkuantiti wujudan dan semesta

  • penggunaan pengkuantiti terhad

  • menulis ayat dalam bentuk predikat

  • teori pentaabiran (bukti formal).

10

Spesifikasi (sebagai penggunaan logik)

  • spesifikasi atas-bawah
  • fungsi (Boolean dan umum)
  • takrif lansung
  • takrif tersirat

7

Operasi

  • contoh-contoh spesifikasi fungsi
  • spesifikasi operasi dan contoh spesifikasi operasi.

10

Jenis data, Set

  • tatatanda
  • petakan
  • contoh-contoh spesifikasi

10

Objek gubahan

  • tatanda
  • tak varian
  • contoh-contoh spesifikasi

10

Petaan, Jujukan

  • tatatanda
  • contoh-contoh spesifikasi

8

Latihan Pengabstrakan

  • kajian beberapa kes

8

Jumlah

70

Rujukan

Wajib

1. Jones, C. B. : Systematic Software Development using VDM, Prentice-Hall, 1990.

Tambahan

1. Jones, C. B. : Formal Software Development Methods : A Rigorous Approach, Springer Verlag, 1990.

  1. Nguyen-Huu-Bong : Logik dan penggunaanya untuk Sains Komputer, Edisi Awal, USM, 1987.