tas-go.com
การพิสูจน์ p <–> q เราพิสูจน์ p <–> q โดยพิสูจน์แยกเป็น 2 ตอนคือ
เริ่มได้เลย!
หรม. จำนวนเฉพาะสัมพัทธ์ ฟังก์ชันฟีออยเลอร์ Logic & Proof ประพจน์และค่าความจริง ตัวปฏิบัติการตรรกะ สัจจะนิรันดร์และข้อขัดแย้ง การสมมูล ความสมเหตุสมผล การอ้างเหตุผล ตรรกศาตร์ภาคแสดง ตัวบ่งปริมาณ กฎแห่งการอนุมาน Set, Relation and Function เรื่องน่ารู้เกี่ยวกับเซต ความสัมพันธ์ และ ฟังก์ชันที่มีความสำคัญต่อการพัฒนาโปรแกรมอย่างยิ่ง! Algorithm เน้นการวิเคราะห์อัลกอริทึม และ Asymptotic Notation ที่ได้แก่เรื่องสำคัญอย่าง Big-O Big-Omega รวมถึง Big-Theta Counting and Probability การนับและความน่าจะเป็น หนึ่งในเรื่องที่ขาดไม่ได้ของคณิตศาสตร์ไม่ต่อเนื่อง สรุปมาให้คุณแล้วที่นี่! Graph and Tree กราฟ รวมถึง แผนภาพต้นไม้ หนึ่งในเรื่องสำคัญที่สามารถประยุกต์ทั้งการคำนวณ รวมถึงออกแบบระบบด้วยแผนภาพได้อีกด้วย ลำดับ อนุกรมและเมทริกซ์ เรื่องหลักในการจัดการข้อมูล การสังเกต และ ทฤษฏีเมทริกซ์ ที่เป็นเบื้องหลังของระบบคอมพิวเตอร์ทั้งเรื่องกราฟิก การจัดเก็บข้อมูล เรียกว่าห้ามพลาด! Induction and Recursion การอุปนัยเชิงคณิตศาสตร์ และ Recursion สิ่งสำคัญที่ควรรู้ก่อนพัฒนาโปรแกรม ไม่พลาดทุกพื้นฐาน! Automata เราจะรู้ได้อย่างไรว่าจะกำหนดให้เครื่องจักรทำงานเองได้อย่างไร?