Welcome back to Coursicle!

Looks like you've used Coursicle before. Click on your profile to restore your data.

User ID:

CSCI 4203 - Logic &Artificial Intelligence

Description
A survey of classical and modern logic including Boolean operators, truth tables, and Karnaugh maps; theorems, argument verification, inference rules, and proof techniques in zeroth- and first-order logic; multivalued logics; and fuzzy logic, including applications such as artificial intelligence and controllers. Prerequisite: MATH 2004. (fall, spring)
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Fall 2020, Fall 2019, Fall 2018, Fall 2017
Offered
TuTh
Avg. Class Size
12
Avg. Sections
1