Back to search results

Introduction to Logic

Symbolic logic undergirds a vast range of contemporary sciences. From Mathematics and Computer Science, to Engineering, Law, Philosophy and Game Theory, mastering the art of expressing one's thoughts clearly and logically is the first step on the road to success. This course, without assuming prior experience, will provide students with an engaging and rigorous foundation in Symbolic Logic. A variety of lectures, exercises, and group activities will keep students engaged as they master key topics, which will include: the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic; validity; contingency; unsatisfiability; logical equivalence; entailment; consistency; natural deduction (Fitch); mathematical induction; resolution; compactness; soundness; and completeness. Students will emerge from their three weeks together with a toolbox of broadly-applicable tools that will allow them to analyze and propose complex propositions wherever their pursuits take them.

Back to search results
Session Two
at the time of application
on the first day of session

赌博威尼斯人Completion of an algebra course, as well as comfort with concepts of sets and set operations, such as union and intersection.

九鼎彩票平台官网 乐福彩票-赌博威尼斯人 99真人网址-注册 赌博威尼斯人-betway必威 皇冠官网体育平台赌博威尼斯人 皇冠官网体育平台 皇冠官网体育 u乐平台登陆-欢迎您 必威体育官网-赌博威尼斯人 澳门真人游戏网址注册