Koofers

Lecture Notes for CECS 228 - Discrete Struc-Comp Sci Appl I with Ebert at Cal State-Long Beach (CSULB)

Notes Information

Material Type:Note 1
Professor:Ebert
Class:CECS 228 - Discrete Struc-Comp Sci Appl I
Subject:Computer Engr & Computer Sci
University:California State University - Long Beach
Term:Fall 2002
Keywords:
  • Propositional
  • Contrapositive
  • Either...or
  • Connectives
  • Proposition
  • Consequence
  • Behind (of)
  • Constituent
  • Rationality
  • Interaction
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

Lecture 1: Propositional Logic ? Associated reading: Rosen, Section 1.1 ? Homework: Section 1.1, problems 1-23 odd, 37-42 Ingredients of logic: ? used for expressing rules and rationality within a system; i.e. modeling a system ? rules tend to be expressed using logical formulae which may be viewed in two funda- mental ways: - semantics: refers to the meaning behind a string of symbols - syntax: refers to the structure of a string of symbols and the rules which govern the creation of strings of symbols ? rationality within a system tends to depend upon a set of axioms and rules of inference Some different types of logics that are of importance to computer science ? Propositional/Boolean logic: the design of combinatorial electronic circuits; pro- gram control ? Predicate logic: formal specification, prolog programming language ? Higher-order logic: formal verification of hardware ? Sequential/temporal logic: design of computer memory; program concurrency ? Intensional logic: natural language ...

Related Documents

Either...or Notes
Either...or Notes
Either...or Exam
Either...or Exam
Proposition Notes
Definite Truth Values Notes
Particularly Notes
Alcoholic Beverage Notes
Propositional Logic Notes
Propositional Notes
Social Security Tax Exam
Propositional Exam
Propositional Exam
Either...or Notes
Propositional Notes
Either...or Notes
155, "/var/app/current/tmp/"