Discrete

1. จำนวนเต็ม

1.1. ผลบวก

1.2. ผลบวกหลายชั้น

1.3. การจัดการผลบวก

2. ตรรกศาสตร์

2.1. บอกความเท็จจริง แสดงความเชื่อ ความคิด ทัศนคติ สามารถระบุได้ว่าเป็นเท็จจริง เรียกว่า "ประพงน์"

2.1.1. -พระอาทิตย์สีส้ม

2.1.2. สมชายไม่เชื่อว่ามีมนุษย์ต่างดาวอยู่จริง

2.2. การสมมูลเชิงตรรกะ

2.2.1. ประพจน์ที่มีค่าความจริงเหมือนกันทุกจำนวนในทุกๆ กรณี

2.2.2. ประพจน์p และ q สมมูลกันเชิงตรรกะ เมื่อ p↔q เป็นสัจจะนิรันดร์

2.3. ความสมเหตุสมผลของอ้างเหตุผล

2.3.1. ลําดับของประพจน์ ที่ต้องประกอบด้วย ข้อตั้ง และ ข้อสรุป

2.3.2. หากประพจน์ที่เป็นข้อตั้งคือ p1, p2, …, pn ส่วนประพจน์ที่เป็นข้อสรุปคือ q จากนิยาม การอ้างเหตุผลนี้จะเป็นอย่าง สมเหตุสมผล

2.4. กฎการอนุมาน

2.4.1. รูปแบบการอ้างเหตุผล (Argument Form) คือ การอ้างเหตุผลซึ่งประพจน์ในการอ้างเหตุผลนั้นติดตัวแปรเชิงตรรกะ

3. เซต

3.1. เซต (Set) เป็นโครงสร้างดิสครีตที่เรียบง่ายที่สุดอย่างหนึ่ง ซึ่งถูกนิยามไว้เพื่อบ่งบอกความเป็นกลุ่มเดียวกันของ สมาชิก (Element)

3.2. แผนภาพเวนน์ - ออยเลอร์

4. ทฤษฎีเซต

4.1. การศึกษาเกี่ยวกับวัตถุ