##
MHF 4302

##
Mathematical Logic

### Faculty Coordinator

Geoffrey Smith
ECS 320, (305) 348-6037 e-mail
Mathematics Department
DM 416, (305) 348-2743

### General Information

- Credits: 3
- Level: Upper Division List-2 Elective
- Prerequisites: MAD 3512
- Corequisites:
- Availability: TBA

### Catalog Description

SCS web page

### Course Outcomes

On successful completion of this course you will
- Master formal proofs in propositional and predicate logic.
- Master logical concepts such as soundness and completeness.
- Be familiar with applications of logic to the foundations of mathematics, such as set theory and analysis.
- Be familiar with the limitative results of Godel and Church.

### ABET/CSAB Category Content

Theoretical Foundations | Algorithms | Data Structures | Software Design | Prog. Lang. Concepts | Architecture & Organization
3.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0

Oral Communication | No Significant Coverage
Written Communication | No Significant Coverage
Society & Ethics | No Significant Coverage

### Text