Introduction: logic motivation

View Resource

No Strings Attached

Author:

Ian Barland, John Greiner, Matthias Felleisen, Moshe Vardi, Phokion Kolaitis

Subject:

Mathematics and Statistics, Science and Technology

Institution Name:

Connexions

Collection:

Connexions

Grade Level:

Post-secondary

Abstract:

Logic provides a way to talk about truth and correctness in a rigorous way, so that we can prove things, rather than make intelligent guesses and just hope they are correct.

Course Type:

Learning Module

Languages:

English

Material Type:

Readings, Syllabi

Media Format:

Text/HTML

Conditions of Use:

Creative Commons Attribution 1.0