Mempelajari logika sentensial sebagai pertemuan pertama dengan logika matematika. Ini termasuk tabel kebenaran dan penggunaan "dan," "atau" dan "tidak" dalam logika simbolik. Tingkat studi ini juga harus mencakup logika urutan pertama, yang menambahkan quantifiers seperti "untuk semua" dan "ada" ke bahasa.
Lanjutkan dengan teori pembuktian, yaitu studi tentang manipulasi simbolik. Ini akan membutuhkan bahasa formal yang terdiri dari seperangkat simbol dan sintaksis. Unsur-unsur ini terdiri dari rumus-rumus yang digunakan untuk membangun aksioma untuk teori-teori bahasa tersebut.
Maju ke teori model orde pertama, yang menjelaskan struktur yang akan memenuhi serangkaian aksioma. Rumus logika digunakan untuk menentukan himpunan yang dapat didefinisikan dalam struktur tertentu.
Mulailah mempelajari teori himpunan. Ini harus mencakup himpunan tak terbatas yang sangat besar untuk menunjukkan bahwa "set" adalah konsep yang ambigu.
Ambil teori rekursi berikutnya. Bidang ini adalah studi tentang keanggotaan himpunan tertentu dengan menentukan apa yang dapat dihitung tentang himpunan itu dalam sejumlah langkah berhingga. Teori rekursi melibatkan konsep-konsep seperti struktur derajat, ide tentang reducibility dan komputabilitas relatif.
Artikel ini ditulis oleh penulis profesional, copy-edit dan fakta diperiksa melalui sistem audit multi-point, dalam upaya untuk memastikan pembaca kami hanya menerima informasi terbaik. Untuk mengirimkan pertanyaan atau ide Anda, atau untuk sekadar mempelajari lebih lanjut, lihat halaman tentang kami: tautan di bawah.