22 diciembre 2014 – Vestigium

I1M2014: Ejercicios con el tipo abstracto de dato de las colas

PorJosé A. Alonso 22 diciembre 201410 enero 2015

En la clase de hoy de Informática de 1º del Grado en Matemáticas se han dejado propuestos los ejercicios de la relación 14 sobre el tipo de datos abstracto de las colas. Son análogos a los de la relación 13 sobre pilas.

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Ejercicios con el tipo abstracto de dato de las colas”

LI2014: Ejercicios de lógica de primer orden

PorJosé A. Alonso 22 diciembre 2014

En la clase de hoy del curso de Lógica Informática se han comentado ejercicios de lógica de primer orden propuestos en exámenes de cursos anteriores. En concreto,

del examen del segundo parcial del curso 2007-08 se han comentado los siguientes ejercicios:
- El 2 para calcular la forma de Skolem y la clausal de una fórmula.
- El 3 para calcular el universo de Herbrand de un conjunto de fórmulas y decidir su consistencia mediante resolución.
- El 4 para formalizar un argumento y decidir su validez por resolución, tableros semánticos y deducción natural.
del examen de la convocatoria de junio de 2008 se han comentado los siguientes ejercicios:
- El 2 para formalizar expresiones que usan igualdad.

I1M2014: Ejercicios con el tipo abstracto de dato de las pilas

PorJosé A. Alonso 22 diciembre 201422 diciembre 2014

En la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 13 sobre el tipo de datos abstracto de las pilas.

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Ejercicios con el tipo abstracto de dato de las pilas”