https://e-sygoing.link Latest links in the Education category en-us Tue, 09 Jun 2026 20:47:11 -0400 https://e-sygoing.link/link/5285572-logical-laws This page contains a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and contains a few additions. Thu, 19 Mar 2026 01:51:35 -0400 https://e-sygoing.link/go/5285572 https://e-sygoing.link/link/5285561-gdels-theorem-and-information G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. Wed, 27 Aug 2025 14:54:59 -0400 https://e-sygoing.link/go/5285561 https://e-sygoing.link/link/5285566-logic-tutorial An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. Sun, 24 Aug 2025 11:02:46 -0400 https://e-sygoing.link/go/5285566 https://e-sygoing.link/link/5285565-course-on-description-logics Slides and notes by Enrico Franconi. Wed, 13 Aug 2025 11:10:01 -0400 https://e-sygoing.link/go/5285565 https://e-sygoing.link/link/5285569-disjunction Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings. Sat, 21 Jun 2025 20:36:27 -0400 https://e-sygoing.link/go/5285569 https://e-sygoing.link/link/5285562-the-logic-daemon On-line proof checker, and texts. Fri, 31 Jan 2025 14:15:20 -0500 https://e-sygoing.link/go/5285562 https://e-sygoing.link/link/5285563-formal-methods-educational-materials A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects. Wed, 01 Jan 2025 03:37:07 -0500 https://e-sygoing.link/go/5285563 https://e-sygoing.link/link/5285571-a-problem-course-in-mathematical-logic-by-stefan-bilaniuk Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness. Wed, 27 Nov 2024 19:42:30 -0500 https://e-sygoing.link/go/5285571 https://e-sygoing.link/link/5285570-language-proof-and-logic-solutions Educational resource for users of the Language Proof and Logic textbook. Wed, 14 Aug 2024 18:57:23 -0400 https://e-sygoing.link/go/5285570 https://e-sygoing.link/link/5285560-around-gdels-theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. Tue, 05 Dec 2023 18:20:44 -0500 https://e-sygoing.link/go/5285560