BUKTI DEDUKTIF FORMAL DALAM GEOMETRI
DAN IMPLIKASINYA DALAM PENGAJARAN
T E S I S
Diajukan Sebagai Salah Satu Syarat
Untuk Memperoleh Gelar Magister Sains dalam Program Studi Magister Matematika pada Fakultas Matematika dan Ilmu Pengetahuan Alam
Universitas Sumatera Utara
Oleh
KHAIRANI HASIBUAN 117021032/MT
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM UNIVERSITAS SUMATERA UTARA
MEDAN 2013
Judul Tesis : BUKTI DEDUKTIF FORMAL DALAM DGEOMETRI DAN IMPLIKASINYA DALAM PENGAJARAN
Nama Mahasiswa : Kairani Hasibuan Nomor Pokok : 117021032
Program Studi : Magister Matematika
Menyetujui, Komisi Pembimbing
(Prof. Dr. Herman Mawengkang) (Dr. Sutarman, M.Sc)
Ketua Anggota
Ketua Program Studi Dekan
(Prof. Dr. Herman Mawengkang) (Dr. Sutarman, M.Sc)
Tanggal lulus: 4 Juni 2013