Expected Coverage of Computer Sciences 313K

• exposé
• expression écrite

Expected Coverage of Computer Sciences 313K DRAFT 1. Sentential Calculus (SC) 1.1. The basics: syntax, semantics, tautological consequence, tautologies, SC formal proofs. 1.2. Translating ideas to logic and back again 1.3. Conjuntive Normal Form and Resolution Proofs. Problems that any passing students should be able to solve: 1. Prove that for all propositions p, q, and r: [p ⇒ (q ∧ r)] ⇒ [~p∨ (q ∨ r)] 2.

• counterexample to the following assertion
• formal proofs
• logical formula
• following relations
• natural numbers
• positive integers
• sets
• many people