May 13, 2024  
University Catalog 2017-2018 
    
Catalog Navigation
  Catalog Home
  Distinguished Alumni
  Academic Degrees and Administrator Directories
  Academic Calendar
  Academic Departments
  Course Descriptions
  The General Education Program
  Catalog Information and Basic University Policies
  The University
  Admissions
  Student Life
  Financial Aid
  Procedures and Regulations
  Undergraduate Studies: General Information
  Graduate and Post-Baccalaureate Studies: General Information
  Academic Department, Division, School and Program Offices - Listed by College
  The California State University System
  Emeriti Faculty
  Full-time Tenured and Tenure-track Faculty
  Campus Maps
  Online Catalog Tutorial
  Appendix F - Privacy Rights of Students in Education Records
  Appendices
  Archived Catalogs
  My Portfolio
HELP
University Catalog 2017-2018 [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

PHIL 2510 - Reasoning with Formal Systems

(3)
Prerequisite: MATH 91. This course introduces students to reasoning with formal systems: deductive and inductive reasoning, symbolic systems, the distinction between syntax and semantics, proofs and models, probability and statistics.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)