YoVDO

Symbolic Logic

Offered By: San Diego City College via California Community Colleges System

Tags

Philosophy Courses Computer Science Courses Logical Reasoning Courses Formal Logic Courses

Course Description

Overview

This course is a study of the elements of symbolic logic, sentential calculus and quantification theory. Topics include identity, definite descriptions, natural deduction and structure of language. This course is intended for philosophy majors and students pursuing studies in computer science.

Related Courses

Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Computer Security
Stanford University via Coursera Intro to Computer Science
University of Virginia via Udacity Introduction to Logic
Stanford University via Coursera Internet History, Technology, and Security
University of Michigan via Coursera