0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)
29 Ansichten1 Seite
This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.
This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.
This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.
Jan. 7, 9 Introduction to Symbolic Logic Unit 1: Introduction and beginning Unit 2: symbolization Jan. 14, 16 Symbolizing Sentences Unit 2: Symbolization in Sentential Logic Jan. 21, 23 Sentential Calculus (Derivations) Unit 3: Sentential Calculus Jan. 28, 30 More Derivations Feb. 4 Unit 4: Truth-value Analysis Feb. 6 Test 1: Units 1-3 Thursday, Feb. 6 Examination Centre, 255 McCaul St. RM 200 Test begins at 1:00 PM Feb 11 More Fun with Truth-Tables Unit 4: Truth-value Analysis Feb. 13 Symbolizing in Predicate Logic Unit 5: A symbolic language for our quantifier calculus.
Feb. 25, 27 More Symbolization March 4 Still More Symbolization March 6 Introduction to Derivations for PL Unit 6: The quantifier calculus
March 11, 13 More Derivations March 18 Still More Derivations March 20 Test 2: focus on units 4-6 Thursday, March 20 Examination Centre, 255 McCaul St. RM 200 Test begins at 1:00 PM March 25, 27 Models and Interpretations Unit 7: Semantics for our quantifier calculus April 1 More Models and Interpretations April 3 Exam Review