Buku ajar ini disusun berdasarkan rumusan CPL (Capaian Pembelajaran Lulusan) Program Studi Pendidikan Matematika dan rumusan Capaian Pembelajaran Mata Kuliah yang telah tertuang dalam RPS (Rencana Pembelajaran Semester). Buku ajar ini terdiri atas dua topik utama yaitu Teori Himpunan dan Logika Matematika yang terbagi dalam 9 bab, yaitu bab 1 pengantar teori himpunan, bab 2 aljabar himpunan, bab 3 simbolisasi bahasa sehari-hari dalam notasi himpunan, bab 4 pengantar logika, bab 5 logika sentensial, bab 6 pengantar teori inferensi, bab 7 aturan inferensi, bab 8 ekuivalensi logis, dan bab 9 logika predikat.
Buku Buku ini merupakan hasil kajian dan belajar dari Ibu Sri Suryanti dalam perjalanan kariernya sebagai dosen, yang ditelaah oleh Prof. Dr. Toto Nusantara, M.Si. Buku ini dirancang sebagai buku ajar untuk Mata Kuliah Pengantar Dasar Matematika, yang merupakan mata kuliah wajib sekaligus inti dalam Program Studi Pendidikan Matematika FKIP Universitas Muhammadiyah Gresik. Buku ini dilengkapi dengan soal-soal latihan dan tes formatif di setiap akhir bab, yang bertujuan untuk mengukur tingkat penguasaan mahasiswa terhadap materi yang telah dipelajari. Buku ini ditujukan untuk membantu mahasiswa dalam menguasai konsep-konsep dasar matematika, sehingga mereka dapat berkembang menjadi individu yang teliti, runtut, dan pantang menyerah. Selain itu, buku ini juga memperkenalkan pentingnya teori himpunan sebagai fondasi dari berbagai ilmu modern seperti big data theory, machine learning theory, dan big data analytic. Dengan pendekatan yang jelas dan terstruktur, buku ini menjadi sarana penting dalam pengembangan pengetahuan matematika, serta memberikan kontribusi dalam membentuk karakter akademik dan berpikir kritis mahasiswa. Semoga buku ini dapat memberikan manfaat yang maksimal bagi para pembacanya.