Teori integer non negatif dalam logika matematika

Abstract

ABSTRAK Bahasa logika merupakan suatu alat untuk menyatakan maksud program komputer. Maksud program komputer itu dinyatakan dengan algoritma. Salah satu bagian dari logika matematika adalah "teori", dan salah satu teori dalam logika matematika adalah teori integer non negatif yang didefinisikan dengan skema aksioma prinsip induksi matematika dan beberapa aksioma lain. Algoritma dalam teori integer non negatif dinyatakan dengan definisi definisi fungsi atau relasi. Dalam tugas akhir ini Akan diperkenalkan teori integer non negatif dan perluasannya, serta membahas penggunaan prinsip induksi untuk membuktikan kebenaran kalimat dalam teori integer non negatif