- A Problem Course in Mathematical Logic; by Stefan Bilaniuk
- Highlights definitions, statements of results, and problems. With explanations, examples, and hints.
- Course on Description Logics
- Presents theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. With course materials.
- The Daily Translation
- Provides daily posting of problems and issues. With archives and contact information.
- Disjunction
- Shows editorial information, proof theories, and archives. Includes related topic entries.
- Formal Methods Educational Materials
- Education methods include pointers to existing courses and suggestions for examples and projects. Includes benchmarks and examples.
- Games Mathematicians Play
- Information includes linguistic and historical introduction. With games in logic and related links.
- The Logic Cafe
- Features the degree of integration between text and computer program and its web availability. With a feedback from the users and FAQs.
- The Logic Daemon
- Showcases interactive logic software used for teaching introductory formal logic. Includes information on logic daemon and quizmaster.
- Logic Tutorial
- Provides an illustration of formal logic with exclusion diagrams. Includes essays in applied logic.
- Logical Laws
- Presents laws not containing quantifiers, formulas, and equivalence. With details on quantifier alterations.
- University of Alberta Logic Course
- Includes course information sheet and references, reference scheme, and course topics. With important dates and general policies.
|