Historia de la Lógica

Historia de la Lógica — Línea de tiempo

Profesorado en Informática · CFE · 2026

Historia de la lógica:
de Aristóteles al model checking

Hacé clic en cada evento para ver más detalles.
Basado en Pons, Rosenfeld & Smith — Lógica para Informática (EDULP, 2011)

Fundamentos griegos y racionalistas
Revolución simbólica (s. XIX)
Siglo XX: límites y fundamentos
Verificación formal de programas

Fuente: Pons, Rosenfeld & Smith. Lógica para Informática. EDULP, 2011. — Material de cátedra para uso educativo.

Base de datos: Puesta en práctica Tema I

 

Plataforma de videojuegos en línea

Una empresa está desarrollando una plataforma donde los jugadores pueden comprar y jugar videojuegos en línea.

La plataforma desea registrar información sobre los jugadores.
De cada jugador se quiere guardar su nombre de usuario, correo electrónico, fecha de nacimiento, localización que es el país con su departamento y ciudad y los dispositivos desde los cuales juega (por ejemplo PC, consola o celular).

Cada jugador puede tener varios dispositivos registrados.

Además, el sistema registra la fecha de creación del usuario del jugador y a partir de ella puede calcular su antigüedad en el sistema.

También se registran los videojuegos disponibles en la plataforma.
De cada videojuego interesa guardar su nombre, género (acción, aventura, estrategia, etc.), precio y fecha de lanzamiento.

Un jugador puede tener varios videojuegos en su biblioteca.

En algunos casos un jugador puede no haber registrado aún ningún dispositivo.


Consigna

  1. Identifique las entidades presentes en la situación.

  2. Indique los atributos de cada entidad.

  3. Clasifique los atributos según corresponda:

  • simples o compuestos

  • monovalor o multivalor

  • almacenados o derivados

  1. Indique si alguno de los atributos puede tener valor nulo (NULL).

  2. Proponga un ejemplo concreto de datos para un jugador y un videojuego.


Evaluación