Oct 03, 2024  
Rensselaer Catalog 2024-2025 
    
Catalog Navigation
  Catalog Home
  Degrees Offered
  Degree Types
  Information Directory
  Rensselaer in Brief
  Core Curriculum
  Educational Programs and Resources
  Research Resources and Centers
  Student Life
  Financial Aid
  Admissions
  Tuition and Fees
  Programs
  Academic Information and Regulations
  Schools
  Departments
  Subject Codes
  Courses
  Administration
  Named Professorships
  The Faculty
  My Portfolio
HELP
Rensselaer Catalog 2024-2025
Add to Portfolio (opens a new window)

PHIL 2140 - Introduction to Formal Logic

Introduction to formal logic as a tool to be used in mathematics, computer science, philosophy, etc., and as procedural knowledge helpful in puzzle-solving environments (e.g., standardized tests). A hands-on laboratory component is included. Among pother logics, covers Propositional Calculus and First-Order logic.

When Offered: Fall, Spring, and Summer terms annually.

Credit Hours: 4


Add to Portfolio (opens a new window)