Lógica para principiantes, Maria Manzano y Antonia Huertas, Ed. Alianza.
4.3.3. Los teoremas de corrección y completud
Ahora hemos definido los tableu sintácticamente, ¡estupendo! Uno puede pasar muchas horas haciendo tableux, incluso puede resultar divertido, más facil que los crucigramas y menos cruento que “counter strike“
¿Hola? ¿Desde cuando es la moda de nombrar mods de Half-Life en libros de lógica matemática? ¿Y esto es la universidad?
Apuntes de Informática Básica, tema de introducción a los periféricos.
¿Qué es un algoritmo?
- Enumeración de los pasos, en orden cronológico, necesarios para resolver un problema.
Ejemplo de Algoritmo: Hacer una tortilla de patata
1. Pelar patatas y cebolla
2. Partir patatas y cebolla en rodajas
3. Pochar las patatas y la cebolla
4. Batir los huevos y mezclarlos con el resultado del paso 3
5. Cuajar la mezcla en una sartén por los dos lados
Pues yo sigo todos los pasos, pero la sartén no compila….
6 Comentarios
A mi no me gusta la tortilla de patatas con cebolla…
Mi profesor de informática el año pasado, en un mismo infarto de genial creatividad nos dio el algoritmo para hacer una paella…
XDDDD, a mi tb me gusta sin cebolla.
El algoritmo de la paella tiene q ser mas jodido no ? lleva mas cosas XD, no se si es mas complicado compilar con sarten o paellera u_U
SOis todos unos kolgaos tios, El problema no esta en la sarten klaramente, si no k klaramente se le ha olvidado kitar las kaskaras a los huevos
XDDD
cierto XD
q tiempos :`( snif snif… por cierto ya tengo el pj del wow a lvl 60 xdd
joder que puto ludado, y el curro ? has conseguido curro ya ?.
Por cierto en uno de los parciales de logica matematica que a mi no me cuentan conseugi sacar un 9/20, casi llego al aprobado xDDD.