SYMBOLIC LOGIC

Name: SYMBOLIC LOGIC
Availability: OutOfStock
Rating: 4 (139 reviews)

PHILOS 511

课程描述

Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.

先修课程

PHILOS 211

满足要求

This course does not satisfy any prerequisites.

学分

未报告

开课时间

未报告

平均绩点

3.14

-1.59% 相比历史数据

完成率

90.91%

-7.09% 相比历史数据

A率

54.55%

279.09% 相比历史数据

班级规模

-12.95% 相比历史数据

Cumulative Grade Distribution

教师 (2026 Summr)

按评分排序，数据来自 Rate My Professors

相似课程

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

ELEMENTARY LOGIC

PHILOS 211

The formal characteristics of logical truth and inference.

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

MATHEMATICAL LOGIC

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

METHODS OF LOGIC

PHILOS 512

Selected topics in philosophical logic and in the various applications of logic to philosophical problems. Variable content.