Deskripsi
Logika dasar, kalkulus proposisional dan predikat, kuantor, himpunan dan fungsi, bijeksi dan perhitungan elementer, konsep ketakterhinggaan, relasi, pengurutan baik (well ordering) dan induksi. Latihan pembuktian matematis dalam teori bilangan elementer dan kombinatorika.
Prasyarat
- Prasyarat: Matematika Tingkat 12 Ontario: Advanced Functions, atau MATH 0005 , atau setara.
Syarat dan ketentuan
- Menghalangi kredit tambahan untuk Menghalangi kredit tambahan untuk MATH 1805 (tidak lagi ditawarkan), COMP 1805 .
- Prasyarat: Matematika Tingkat 12 Ontario: Advanced Functions, atau MATH 0005 , atau setara.
- Kuliah tiga jam per minggu, tutorial satu jam per minggu.
Teks rujukan dalam bahasa aslinya
Elementary logic, propositional and predicate calculus, quantifiers, sets and functions, bijections and elementary counting, the concept of infinity, relations, well ordering and induction. The practice of mathematical proof in elementary number theory and combinatorics.
- Prerequisite(s): Ontario Grade 12 Mathematics: Advanced Functions, or MATH 0005 , or equivalent.
- Precludes additional credit for Precludes additional credit for MATH 1805 (no longer offered), COMP 1805 .
- Lectures three hours a week, tutorial one hour a week.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/undergrad/courses/MATH/