- From www.coursera.org
Logic: Language and Information 2
МООК
en
Английский
48 h
This content is rated 4.5 out of 5
- Self-paced
- Free Access
- Бесплатный сертификат
- 8 Sequences
- Introductive Level
Course details
Syllabus
Week 1. The Syntax of Predicate Logic; Translations using quantifiers
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
- Electronic Engineering — simplifying digital circuits with timing
- Philosophy — definite descriptions and existence
- Computer Science — databases, resolution and Prolog
- Linguistics — quantificational scope
- Mathematics — limits, continuity and quantifier alternation
Prerequisite
None
Instructors
- - Historical and Philosophical Studies
- Jen Davoren - Department of Electrical & Electronic Engineering
Editor
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
Platform
Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.
Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.
Complete this resource to write a review