Jan 20, 2020  
2017-2018 Undergraduate Bulletin 
    
2017-2018 Undergraduate Bulletin [ARCHIVED]

[Add to Favorites]

LOG-305 Symbolic Logic


(3 cr.)
Repeatable for Credit: No
Propositional and first-order quantificational languages and deductive systems, proof construction, introduction to soundness and completeness, application to natural language reasoning and computability.



[Add to Favorites]