-
Institution:
-
City College of San Francisco
-
Subject:
-
-
Description:
-
Lec-3, lab-3 PREREQ.: PHIL 12A Advise: CS 110A or 111A or 112A Fundamental concepts and techniques of Artificial Intelligence (AI) and the Language of First Order Logic (FOL). Use of simple structure First Order Logic sentences to encode knowledge to be stored and used by a computer. Model thinking by manipulating FOL sentences. FOL will be used as a precise specification language for stating axioms and proving theorems in logic. CSU
-
Credits:
-
3.00
-
Credit Hours:
-
-
Prerequisites:
-
-
Corequisites:
-
-
Exclusions:
-
-
Level:
-
-
Instructional Type:
-
Lab
-
Notes:
-
-
Additional Information:
-
-
Historical Version(s):
-
-
Institution Website:
-
-
Phone Number:
-
(415) 239-3000
-
Regional Accreditation:
-
Western Association of Schools and Colleges
-
Calendar System:
-
Semester
Detail Course Description Information on CollegeTransfer.Net
Copyright 2006 - 2025 AcademyOne, Inc.