Elementos de Teora de la Computacin

Prof. Pablo Kogan Ao 2016

Clase 1 - Tcnicas de prueba

1.1 Dnde est el error?
Sean a y b enteros no negativos tales que a = b.
a=b
a^2 = ab
a^2 - b^2 = ab - b^2
(a + b)(a - b) = (a . b)b
a+b=b
2b = b
2=1
1.2 - Por qu la recproca no es equivalente a la conjetura?
Proponer un mtodo de prueba (y una prueba) para demostrar su falsedad.
Clase 2 - Recursin
2.1
1
2
2.2
1
1

Nos dividimos en dos grupos:

Defina recursivamente las potencias de 2:
Grupo A: Como SECUENCIA
Grupo B: Como CONJUNTO
Defina recursivamente las cadenas de la forma a^n b^n, con n0:
Grupo B: Como SECUENCIA
Grupo A: Como CONJUNTO

2.3 - Dado un nmero real a distinto de cero y un entero positivo n, de la

definicin recursiva del CONJUNTO que contiene todas las potencias an, con
n0.
2.4 - Pensar en algn ejemplo de la vida cotidiana que se pueda ver como
recursivo
2.5 - Defina recursivamente la secuencia 1,-1,1,-1 con (-1)^n, n0.
Clase 3 - Combinatoria
3.1 Dar la definicin secuencial y de conjunto recursivo para factorial.
3.2 Cmo es la frmula de P(n,n)? Tiene sentido?
3.3 El tcnico de la seleccin Argentina de Hockey sobre cesped (el Chapa
Retegui) esta evaluando diferentes opciones de crner corto para la final de los
Juegos ante Belgica. Conociendo los 10 jugadores de campo titulares y que en
la jugada planeada participan solo 6,Cuntas posibles formaciones de crner
corto se pueden armar?
3.4 Cuntos autos se pueden patentar con el formato de patente actual? y
cuntos con el anterior?

Consignas extradas de las diapositivas de clase, por Arian Acevedo

Elementos de Teora de la Computacin

Prof. Pablo Kogan Ao 2016

3.5 Las direcciones IPv4 se expresan por un nmero binario de 32 bits. En

notacin decimal, las IP se expresan del siguiente modo: se dividen los 32 bits
de la direccin en cuatro octetos. Por ejemplo, 10.128.1.255 Cuntas
direcciones IPv4 son posibles de generar?
Clase 4 - Relaciones
4.1 D la definicin recursiva del conjunto de ancestro. Tenga en cuenta que el
padre y la madre son nuestros ancestros inmediatos.
4.2 D la definicin recursiva de conjunto y secuencia de a^n*c*b^n, con n0.
4.3 Si la relacin ya cumple la propiedad que se clausura, entonces ella misma
es su propia clausura. Por qu? Justifique por definicin.
4.4 Considere la siguiente relacin sobre {1; 2; 3}:
{(1; 1); (2; 1); (3; 1)}
Explique claramente si la siguiente es la clausura reflexiva:
{(1; 1); (2; 1); (3; 1); (2; 2); (3; 3); (3; 2)}
Justifique por definicin.
Clase 5 - Relaciones de orden
5.1 Es la relacin xyx=y^2, sobre el conjunto {0, 1} un orden parcial?
5.2 El elemento mnimo, si existe, es nico.
5.3 Busque un ejemplo con el que muestre que el reticulado N no es
distributivo.
Clase 6 - Relaciones de equivalencia
6.1 Sea S el conjunto de todos los circuitos lgicos digitales con 4 entradas.
Definimos una relacin E sobre S como sigue:
Para todo circuito C_1S y C_2S,
C_1 EC_2C1 tiene la misma tabla entrada/salida que C_2
Probar que E es una relacin de equivalencia.

Consignas extradas de las diapositivas de clase, por Arian Acevedo