Logic

 

 


 

Customize your search:

E.g., 2017-03-25
E.g., 2017-03-25
E.g., 2017-03-25
Jan 2nd 2017

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Average: 8 (1 vote)
Feb 1st 2016

La logique est une discipline millénaire, branche de la philosophie puis des mathématiques (programme de Hilbert). Bases de données, programmation, intelligence artificielle, automates... la logique joue aujourd'hui un rôle central en informatique. Ce cours vous en donnera la preuve !

Average: 6 (2 votes)
Nov 9th 2015

La logique est une discipline millénaire, branche de la philosophie puis des mathématiques (programme de Hilbert). Bases de données, programmation, intelligence artificielle, automates... la logique joue aujourd'hui un rôle central en informatique. Ce cours vous en donnera la preuve!

No votes yet
Apr 14th 2015

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.

Average: 9 (2 votes)
Feb 24th 2015

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Average: 6.5 (4 votes)
Self-Paced

The main target of this course is introducing the student to some themes in the philosophical literature about the sorites paradox and the Liar paradox as well as to some logical developments connected to them.

Average: 6 (2 votes)
Sep 2nd 2013

rgMOOC 2, or "Rhetoric and Composition: The Persuasive Power of Video Games as Paratexts," is a type of gMOOC that applies the principles of connectivism and game-based learning to rhetoric and composition studies. Participants will be playing and writing about video games from various game genres for 10 weeks, and develop rigorous academic research and writing skills through game studies.

No votes yet