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

Pensamiento algorítmico
Tecnológico de Monterrey via Coursera
离散数学概论 Discrete Mathematics Generality
Peking University via Coursera
Cómo resolver problemas y tomar decisiones con eficacia
University of California, Irvine via Coursera
Wissenschaftliches Denken, Arbeiten und Schreiben
Fachhochschule Münster via iversity
Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity