Anda di halaman 1dari 15

Lgica - CM0260

Introduccin
Andrs Sicard Ramrez
Universidad EAFIT

Semestre 2015-2

Informacin inicial
Coordinador del curso de Lgica
Manuel Sierra Aristizbal
Jefe Departamento de Ciencias Matemticas
Myladis Roco Cogollo Flrez
Pgina web del curso
http://www1.eafit.edu.co/asr/courses/logic-CM0260/
Evaluacin, bibliografa y horarios de atencin
Ver la pgina web del curso.

Lgica - CM0260. Introduccin

2/15

Informacin inicial
Prerrequistios
El curso est diseado para estudiantes que no tienen una formacin en
Lgica.
Pacto pedaggico

Lgica - CM0260. Introduccin

3/15

Qu es la Lgica?

1
2

Mendelson, Elliott (1997). Introduction to Mathematical Logic, pg. 1.


Copi, Irving M. (1998). Lgica Simblica, pg. 15.

Lgica - CM0260. Introduccin

4/15

Qu es la Lgica?
One of the popular definitions of logic is that is the analysis of methods
of reasoning.1

1
2

Mendelson, Elliott (1997). Introduction to Mathematical Logic, pg. 1.


Copi, Irving M. (1998). Lgica Simblica, pg. 15.

Lgica - CM0260. Introduccin

5/15

Qu es la Lgica?
One of the popular definitions of logic is that is the analysis of methods
of reasoning.1
El estudio de la Lgica, entonces, es el estudio de los mtodos y
principios usados para distinguir entre los argumentos correctos (buenos) y
los argumentos incorrectos (malos).2

1
2

Mendelson, Elliott (1997). Introduction to Mathematical Logic, pg. 1.


Copi, Irving M. (1998). Lgica Simblica, pg. 15.

Lgica - CM0260. Introduccin

6/15

Lgica en las Ciencias de la Computacin


Pronstico
It is reasonable to hope that the
relationship between computation
and mathematical logic will be as
fruitful in the next century as that
between analysis and physics in the
last.3

John McCarthy4
(Sept. 4, 1927 Oct. 24, 2011)

McCarthy, John (1963). A Basis for a Mathematical Theory of Computation,


pg. 69.
4
Photo courtesy of John McCarthy.
Lgica - CM0260. Introduccin

7/15

Lgica en las Ciencias de la Computacin


Relaciones
The octopus of logic for computer science.5
(ver figura en la siguiente diapositiva)

5
Buss, Samuel, Alexander Kechris, Anand Pillay y Robert Shore (2001). The
Prospects for Mathematical Logic in Twenty-First Century, pg. 176.
Lgica - CM0260. Introduccin

8/15

Weak proof systems


Resolution
Logic programming
Constraint logic
programming
Theorem provers
Equational logics
Term rewriting
Behavioral logics
Nonmonotonic logics
AI
Model checking
Strong proof systems
Polymorphism
Object-oriented
languages
Abstract datatypes
-calculi
Combinatory logics
Functional programming
Category theory
Realizability

Real computation
Real closed fields
Geometry
Complexity of
real computation
Hybrid systems
Computer algebra
systems

Logic for
Computer
Science

Language design
Programming languages
Denotational semantics
Query languages
Grammars/parsing
Verification
Automata theory
Program correctness
Natural language
Hardware verification
processing
Fault-tolerance

Lgica - CM0260. Introduccin

Proof-carrying code

Other logics
Database languages
Least fixed points
Modal logics
Dynamic logics
Theories of knowledge
Resource-aware logics
Linear logic

Complexity theory
Reducibility
Oracles
Feasible complexity
P vs. NP
Circuit complexity
Parallel complexity
Finite model theory
Diagonalization
Natural Proofs
Proof complexity
Craig interpolation
Learning theory
Bounded arithmetic

Probabilistic computation
Randomized
computation
Probabilistic proofs
Interactive proofs
PCP, Holographic proofs
Quantum computing

9/15

Lgica en las Matemticas


Lgica matemtica6
Mathematical logic is a subfield of mathematics exploring the applications
of formal logic to mathematics.

Wikipedia: Mathematical logic. (2015-07-23).

Lgica - CM0260. Introduccin

10/15

Lgica en las Matemticas


Lgica matemtica6
Mathematical logic is a subfield of mathematics exploring the applications
of formal logic to mathematics.
It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.

Wikipedia: Mathematical logic. (2015-07-23).

Lgica - CM0260. Introduccin

11/15

Lgica en las Matemticas


Lgica matemtica6
Mathematical logic is a subfield of mathematics exploring the applications
of formal logic to mathematics.
It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.
The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof
systems.

Wikipedia: Mathematical logic. (2015-07-23).

Lgica - CM0260. Introduccin

12/15

Lgica en las Matemticas


reas
03-XX Mathematical logic and foundations7
03Axx Philosophical aspects of logic and foundations
03Bxx General logic
03Cxx Model theory
03Dxx Computability and recursion theory
03Exx Set theory
03Fxx Proof theory and constructive mathematics
03Gxx Algebraic logic
03Hxx Nonstandard models

7
Mathematics Subject Classification (MSC2010) de la AMS (American Mathematical
Society).
Lgica - CM0260. Introduccin

13/15

Programa del curso


1

Semntica en la lgica proposicional

Inferencia en la lgica proposicional

Lgica de predicados mondicos

Lgica de las relaciones

Operaciones entre conjuntos

Lgica - CM0260. Introduccin

14/15

Referencias
Buss, Samuel y col. (2001). The Prospects for Mathematical Logic in
Twenty-First Century. The Bulletin of Symbolic Logic 7.2, pgs. 169-196.
Copi, Irving M. (1998). Lgica Simblica. Compaa Editorial Continental.
McCarthy, John (1963). A Basis for a Mathematical Theory of Computation. En:
Computer Programming and Formal Systems. Ed. por P. Braffort
y D. Hirshberg. North-Holland, pgs. 33-70.
Mendelson, Elliott (1997). Introduction to Mathematical Logic. 4.a ed. Chapman
& Hall.

Lgica - CM0260. Introduccin

15/15