Archive Notes

Home

❯

University

❯

Year 1

❯

Semester 1 & 2

❯

4CCS1ELA Elementary Logic with Applications

4CCS1ELA Elementary Logic with Applications

Properties1
tagsmodule4ccs1ela

Jun 18, 20261 min read

Elementary Logic with Applications

  • Lecturer: Dr. Odinaldo Rodrigues and Dr. Christopher Hampson
  • Overview
  • KEATS
  • Reading List

Part 1 Lectures run between week 3 and 8. Activities from week 9.

Part 2 Starts semester 2.

13 items under this folder.

  • Jun 18, 2026

    Week 3. Introduction to propositional logic

    • topicpropositionallogic
    • typesummary
    • topic
    • module4ccs1ela
  • Jun 18, 2026

    Week 4. Syntactical Transformations

    • topicpropositionallogic
    • typesummary
    • topic
    • module4ccs1ela
  • Jun 18, 2026

    Week 5. Important Semantical Notions

    • topicpropositionallogic
    • typesummary
    • topic
    • module4ccs1ela
  • Jun 18, 2026

    Week 6. Checking the validity of arguments

    • typesummary
    • module4ccs1ela
  • Jun 18, 2026

    Week 7. Natural Deduction

    • typesummary
    • module4ccs1ela
  • Supplemental Exercises

    • Tutorials

      • Jun 18, 2026

        Week S2.1. Intro to Predicate Logic

        • Jun 18, 2026

          Week S2.2. Logical Equivalence and Syntactic Re-writing

          • Jun 18, 2026

            Week S2.3. Horn Clauses and Logic Programming

            • Jun 18, 2026

              Week S2.4. Prenex Normal Form and Unification

              • Jun 18, 2026

                Week S2.5. Recursion and Negation-as-Failure

                • Jun 18, 2026

                  202111151005


                  Created with Quartz v5.0.0 © 2026

                  • GitHub
                  • Discord Community