Main Profile

At A Glance

Logic: Language and Information 2

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Start Date: Apr 01, 2014 Topics: Computer Science, General Engineering, General Mathematics, Logic, Linguistics, Philosophy

Contact

Logic: Language and Information 2's Full Profile

Overview

Description

This is an undergraduate course in formal logic, covering classical first-order predicate logic (syntax, models, proof trees) and its applications to philosophy, linguistics, mathematics, computer science and electronic engineering.

Details

  • Dates: Apr 01, 2014 to May 01, 2014
  • Level of Difficulty: Beginner
  • Size: Massive Open Online Course
  • Institution: Coursera
  • Topics: Computer Science, General Engineering, General Mathematics, Logic, Linguistics, Philosophy

Provider Overview

About Coursera: Coursera is an education company that partners with the top universities and organizations in the world to offer courses online for anyone to take, for free.

Latest Tweet

Coursera Offers Courses In: Mathematics, Engineering, Computer, Social Science

Questions about Logic: Language and Information 2

Want more info about Logic: Language and Information 2? Get free advice from education experts and Noodle community members.

  • Answer