Download Early_Term_Test Comments

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

List of first-order theories wikipedia , lookup

Analytic–synthetic distinction wikipedia , lookup

Quantum logic wikipedia , lookup

Willard Van Orman Quine wikipedia , lookup

Set theory wikipedia , lookup

Axiom of reducibility wikipedia , lookup

Axiom wikipedia , lookup

Inquiry wikipedia , lookup

Interpretation (logic) wikipedia , lookup

Propositional calculus wikipedia , lookup

Meaning (philosophy of language) wikipedia , lookup

Indeterminacy (philosophy) wikipedia , lookup

Natural deduction wikipedia , lookup

Law of thought wikipedia , lookup

History of logic wikipedia , lookup

Jesús Mosterín wikipedia , lookup

Curry–Howard correspondence wikipedia , lookup

Truth-bearer wikipedia , lookup

Intuitionistic logic wikipedia , lookup

Laws of Form wikipedia , lookup

Mathematical logic wikipedia , lookup

Argument wikipedia , lookup

Foundations of mathematics wikipedia , lookup

Theorem wikipedia , lookup

Mathematical proof wikipedia , lookup

Principia Mathematica wikipedia , lookup

Transcript
Discrete Structures
CS 23022
Johnnie Baker
[email protected]
Comments on Early Term Test
1
Comments on Early Term Exam
• Know truth tables for the basic constructs: and, or, implies,
equivalence, exclusive or, biconditional, etc.
• Be able to calculate the truth table for compound statements.
• Understand standard terminology: contrapositive, converse, tautology,
contridiction,
• Know the various logical equivalences: See Table 6-8 in section 1.2
• Know meaning and equivalences involving  and  (universal
quanifiers.) and how to negate these quantifiers.
• Be able to translate logic statements into English statements without
variables and symbols. Conversely, be able to translate English
statements into logic statements.
• Be able to verify correctness of reasoning involving logic statements.
• Also, be able to deduce conclusions from logic statements
2
• Be able to negate nested quantifiers.
• Understand terminology like argument, valid, premises, fallacies, etc.
• Know and be able to use the various rules of inferences, such as those
in Table 1 on pg 66.
• Be able to use the rules of inference to make logical arguments, as in
Section 1.5.
• Look over added, suggested study odd-nr problems for Section 1.5, as
no assignment was made for this section: 3,9,13,15,19,23,27,29,31.
• Understand how to work with universal and exitential generalizations
and instantiations.
• Be able to verify validity of arguments and make arguments involving
these concepts.
• In section 1.6, understand the terminology concerning mathematical
proofs such as theorems, axioms/postulates, proof, etc.
3
• In Section 1.6, understand the various methods of proving theorems.
• Be able to use the various methods for proving theorems to establish
correctness of mathematical statements.
• Also, be able to identify errors in the proof of mathematical or logic
arguments.
• Be able to establish show a mathematical statement is false using a
counterexample.
• Understand mathematical terminology introduced in material covered,
such as integer, rational, irrational, odd, even,
• Know the difference between constructive and non-constructive
proofs.
4
Sets
• Understand set terminology such as set builder notation, and be able to
use it.
• Know meaning of standard sets like N, Z, Q, R,
• Understand standard set theory terminology, e.g., element, subset,
cartesian product, universal set, set difference, etc.
• Know standard set operations and be able to use them.
• Know the standard set identities such as Table 1 on pg 124.
• Be able to prove set identities such as (AB)’ = A’  B’, and give
reasons for all steps.
• Be able to use a truth table to establish set identities.
5