Computer Science - CMPSC

Propositional logic, first order logic, completeness, compactness, incompleteness, undecidability; selected topics from finite model theory, theorem proving, logic programming, program verification, databases, computational complexity.

No Prerequisites


CMPSC 209
28 / 35 Enrolled
Logic and Applications in Computer Science
Jianwen Su 2.1
M W
13:00 PM - 14:50 PM
61.3% A
Los Ingenieros logo
Los Ingenieros
We are the Society of Hispanic Professional Engineers (SHPE) here at UCSB, and our vision is to enhance support for all our members throughout their higher education journey. Whether your interests are in engineering, mathematics, biology, or beyond, Los Ingenieros is dedicated to making a positive impact through professional growth and success, academic opportunities, community involvement, and networking for both our members and the local community. And most importantly, you don’t have to be an engineer, in STEM, or Hispanic to join; we welcome everyone!
Promoted

See What Los Ingenieros Is All About

Check out our board, achievements, events, and more on our website!