Está en la página 1de 3

Vision Panoramica del curso MDIS

A vuelo de pajaro

J.B.V.

Resumen
El objetivo principal del curso MDIS es aprender a leer, escribir y razonar con los conceptos matem aticos
mas usuales en la informatica. Con esta breve relaci on de conceptos se pretende dar una hoja de ruta al
estudiante para que tenga una idea de los temas y conceptos con los que debe gradualmente irse familiarizando
a partir primero de su comprensi on, y desde ah, lograr una argumentacion y pr
actica experta.

Aspectos ling
usticos
Sintaxis: Elementos de construcci
on simbolica (gramaticas, etc).
C
alculo: En la l
ogica corresponde al aparato deductivo. Se considera tambien un aspecto sintactico por tener
elementos meramente simb olicos.
Sem
antica: Tiene que ver con el significado. Se expresa mediante objetos llamados interpretaciones o modelos
para expresar que denotan las f
ormulas y los smbolos de lenguaje.

L
ogica proposicional (o sentencial)
Lenguaje:
Contantes true y false
Variables Letras proposicionales: p, q, r,...
ogicos: , , , ,
Conectivos L
C
alculo Proposicional. Con base en axiomas y reglas de inferencia.
Sem
antica Via tablas de valores veritativos (verdadero, falso). Es independiente del significado que se pueda
atribuir a las variables booleanas (o letras proposicionales).

L
ogica de predicados (o de primer orden)
Lenguaje:
Lenguaje L
ogico: El de la l
ogica proposicional mas los cuantificadores.
Lenguaje Extral
ogico: smbolos de constantes y variables no-logicas, ademas
smbolos de funci on. Con ellos, las constantes y las variables se arman los terminos que denotan
objetos no-l
ogicos. Tambien,
smbolos de predicado. Junto con los terminos dan lugar a las f ormulas at
omicas.
F
ormulas La base son las f ormulas atomicas que se combinan con los conectivos logicos y las
cuantificaciones (universal y existencial).
C
alculo de predicados. Extiende el c alculo proposicional, en vez de letras proposicionales se usan las f
ormulas
(item anterior) y se dan mas (esquemas de) axiomas y reglas de inferencia que involucran cuantificadores
y, muchas veces, un smbolo de predicado l
ogico especial: la igualdad (usando el smbolo = para comparar
objetos no-l
ogicos).

1
Teoras Son sistemas de axiomas no-l ogicos expresados por constantes, variables, funciones y relaciones (con
base en smbolos de predicado) tambien no-logicos.
Sem
antica Se interpretan los smbolos de constante, de funcion y de predicado sobre estructuras llamadas
algebraicas tales como los llamados dominios de integridad, donde los n umeros reales, los racionales los
enteros y los naturales son dotados con las operaciones aritmeticas usuales (suma, diferencia y producto), y
muchas otras m as. Las f
ormulas at
omicas se interpretan con base en relaciones tales como las comparacion
umeros (<, , 6=), divisibilidad (|), etc. Cuando una estructura interpreta (los smbolos y axiomas
entre n
de una teora) se dice que es un modelo de esta teora.

Operaciones y relaciones

Llamamos operadores a los smbolos de funcion de uno (monarios) y dos puestos (binarios). Usualmente,
reservamos el nombre de operaciones para los operadores no-booleanos, los operadores booleanos (especial-
mente los binarios) reciben el nombre generico de relaciones. Es muy frecuente que los smbolos de relaci on
binaria sean infijos. Lo mismo sucede con las operaciones binarias asociativas, resulta muy practico denotarlas
con smbolos infijos. En este curso, nos centramos en las relaciones binarias por su importancia en las teoras que
nos conciernen, pero la teora de bases de datos requiere considerar relaciones de diferente numero de puestos,
las llamadas relaciones n-arias (de n puestos).

Propiedades (axiomas o teoremas) de las operaciones.


De una operaci
on monaria: involuci
on.
De una operaci
on binaria: asociatividad, simetra (o conmutatividad), idempotencia.
Entre dos operaciones: absorci
on, distributividad.
De una constante con una operaci
on: identidad (o modulo), anulador.
De una operaci
on monaria con una relaci
on: Contraposicion (o antitona).
De una operaci
on binaria con una relaci
on: monotona (o isotona) simple o doble.

Propiedades (axiomas o teoremas) de las operaciones.


Las m
as usuales: Reflexividad, irreflexividad, simetra, asimetra, antisimetra, linealidad y transitividad.
De una relacion con su origen o destino: Totalidad, sobreyectividad, inyectividad y univalencia (o
funcionalidad).
Constantes relacionales: La relaci
on vaca, la universal y la identidad.

Teoras importantes en la inform


atica.

Teoras de agrupaci
on (o la jerarqua estructural de Boom).

Teora de
arboles binarios etiquetados en las hojas. Agregados libres.
Teora de secuencias. Agregados, asociativos libres.
Teora de bolsas. Agregados asociativos y conmutativos libres.
Teora de conjuntos. Agregados asociativos, conmutativos e idempotentes libres.

Teoras algebraicas:

Orden parcial: Con modelos como (Z, ), (N, |) y (B, ).

2
Orden estricto: Con modelos como (Z, >), (N, <)
m
on de equivalencia: Con modelos como (B, ), (Z, =) y (Z, =) con m entero mayor que 1.
Relaci
asicamente con la estructura (Z, + , , , , 0, 1)
Dominio ordenado: B

Retculos: Con modelos como (Z, , , ) y (N, , , |, 0, 1)

Algebra booleana: Con modelos como (B, , , , , true, false) y (set V , , , C


, , V , ).