Відео

.. mato' la cancion, si no la puede cantar mas, o si no la quiere cantar mas, no la cante y ya....la mato' 1/2 recitandola, sin ganas, la orquesta muy buena, pero no fue' suficiente para salvar la cancion

Los que saben 👀👀💀💀

muy buena cancion

Gracias

Todo un gusto volver a verlo este semestre, profesor :D

Mal ese título del video.

😢

excelente explicación muchas gracias

link del collab?

Holaa, queria agradecerle porque sus videos me han servido mucho, de paso queria como enseñarle un ejercicio asi como chevre que me pareció sobre matematicas discretas y es la demostración de ∀x ∀y φ ≡ ∀y ∀x φ, no he podido con ella y mi profesor de discretas tampoco pudo. Si me puede ayudar le agradeceria. Muchas Gracias por su atención

PRIMERA VIEW

Muy buena explicación, gracias !

BUENAS TARDES EXCELENTE VIDEO PERO COINCIDO CON MOTILON EL GRAFICO NO SE VE . PERO ME GUSTO MUCHO NO SE NADA DE PROGRAMACION PERO TENGO MOTIVACION. GRACIAS POR EL MATERIAL

Están en este canal...

Se pueden acceder a los videos y diapositivas que menciona sin ser alumno?

muchas felicidades

Que buen profesor

se le nota que no sabe del tema, buen asistente del libro.

Como que me molesta que enseñen así de mal en las universidades, como sin ganas...

11:57 (T ∘ R)

Recursividad simple o lineal: en cada llamada recursiva se ejecuta, a lo sumo, una llamada a la propia función. Se puede representar gráficamente mediante una lista. Algunos ejemplos son el factorial o la búsqueda dicotómica.

Magnifico, es impresionante el alcance de Scala en este aspecto. Estoy a la espera de que des la clase de Programación Dinámica con Scala. Un saludo.

Excelente, fascinante el tema sobre los patrones y el algoritmo de Huffman, a la espera por el resto de los video. Gracias Juan.

Piero que nos quieres decir ahora!

23:50 de hecho no se llaman formulas y sub formulas se llaman metavariables

gracias Inge, mi conocimiento después de un año ha crecido significativamente. Gracias por estas clases

0:33 Es común que se hable de los axiomas como tautologías, pero en realidad, no son exactamente lo mismo. Una tautología es una proposición que siempre es verdadera, sin importar el valor de verdad de sus variables proposicionales. En cambio, un axioma es una proposición que se acepta como verdadera sin necesidad de demostración, y puede no ser una tautología en el sentido estricto de la palabra. Sin embargo, es cierto que muchos axiomas suelen ser tautologías en el sentido de que son proposiciones que siempre son verdaderas, independientemente del valor de verdad de sus variables proposicionales. Por ejemplo, el axioma de reflexividad en la lógica proposicional establece que cualquier proposición P es equivalente a sí misma (es decir, P ↔ P es una tautología), y este axioma se suele aceptar como verdadero sin necesidad de demostración.

14:06 esta deducción mediante demostración con el parato deductivo se llama una demostración sintáctica por que no está mmanipulando valores de verdad (semántica) si no que manipula las expresiones dadas por ciertas para obtener otras expresiones

Muy buen monitor

El Inge trata de explicar en ese momento pero no le sale, para la próxima especifíqueles que una proposición tiene que cumplir una propiedad o no, pero tiene que decidirse por si cumple una cualidad o no. Yo tambien puedo decir el conjunto de todos los conjuntos es un conjunto. Pero Hilbert creo que fue o Cantor dijo que parra evitar ambiguedades semánticas se define como axioma x tal que P (x) o sea cumple la propiedad, y es lo mismo que decía usted que se define por una cualidad interesante. y queremos obtener más afirmaciones con la cualidad interesante

Muy buenas, Juan Francisco, estoy siguiendo sus videos pues estoy empeñado en aprender Scala y lo que es programación funcional. He visto que en sus videos utiliza algunos pdfs como guía para dar sus clases. Me gustaría saber si tengo la posibilidad de obtenerlos o consultarlos al igual que un libro al que usted hace referencia en un video anterior, pero no se escucha bien su nombre. Gracias por sus videos acerca de Scala.

Muy clara la clase.

Que pena que no haya topado los axiomas de zf

Hola Ing. Diaz. Cuál sería la negacion del axioma del trueque

Buenas tardes Ing. Diaz. Una pregunta por que no les puede unir en el minuto 9:20 a los dos como (Ex| los 1 mayores e iguales que x mayores e iguales que 6:x al cuadrado)?

Genial Ing. :)

Ing. Diaz. Una pregunta en el minuto 37:51 del video se puede interpretar esa expresión como no hay ningna x que no sea roja? o existe un x tal que x es rojo -> en este caso es verdadera. Ilumíneme Inge, tengo curiosidad por que realmente interpreto ese para todo todas las figuras no son rojas es verdadero por que hay una figura que es azul, como que debe cumplirse para todas las x del conjunto o sea las que hay la bolita roja y la azul. Si dice no hay una x roja es falso por que sí hay, pero como es un para todo que pasa con la bolita azul,, estamos omitiendo ese caso? debería incluirse creo, puedo estar mal yo solo estoy aprendiendo. Es que (-para todo) (-R(x) <-> (existe x)(R(x))<-> (existe x)|true: R(x). En este caso diria existe al menos un x tal que true y un x es rojo; pues sí existe al menos un rojo que sea x y ya con el true de al lado toda la expresión es verdadera. Qué opina inge?

Hola Ing. Diaz. Si me dan una constante es ligada o no es ligada? por ejemplo Existe e Para todo g tal que e+g=g

un placer volver a tomar uno de sus cursos, juan francisco es un verdadero genio, aprendi un monton cuando vi su curso de matematicas discretas me cambio la forma de ver las cosas. Muchisimas gracias a ambos

Gracias yenni por avisarle al profe que grabara 🙌, esta diapositiva casi no lo había entendido

Hola Ing. Diaz. Una pregunta por favor aún no entiendo cuándo usar la implicación al demostrar y la equivalencia al demostrar

Ing. Diaz, le puedo escribir al correo si me puede ayudar pasándome el video 1.4 y el 1.5. Le puedo escribir al correo? Disculpe la molestia

Hola Ing. Diaz, por que quisiera yo usar una tabla de la verdad? De dónde sale, cuál es el objetivo?Por que tiene sentido usarla para saber los valores de verdad ?. O sea básicamente no comprendo como es que te explican: esto es logica proposicional y vamos a estudiar los valores de verdad de las proposiciones simples y compuestas y te lanzan una tabla de verdad para hacerlo. Por que? Cuál es el sentido? Simplemente yo podría decir que todo en mi sistema es falso cuando quiera o por que no podría hacer eso?. Ing, también cuál es el sentido de decir es tautología o contradicción, por que a mi me interesa saber si es verdad o falso? solo quiero saber por que decidieron coger un alfabeto darle sintaxis, sematica, etc. y meterlo en una tabla de verdad para sacar tautologias, contradicciones o que sea satisfactible.Despues si yo se que es verdad o falso en todos o algunos casos de que me sirve?. Cómo se aplica una tabla de verdad en la vida diaria?

como me hubiera gustado que me enseñen así mis profesores

magistral clase ing es el mejor

Falto palabras para agradecer que haya subido el contenido a youtube. Estoy siguiendo ing y no les entendía nada a mis profesores por que dejaban muchos conceptos que ud explica al aire. Se puede tomar clases particulares con ud Ing?

Una pregunta por favor, en pagina del minuto 6:13 del video, +1 y +2 se pueden considerar como axiomas? y SS0+SSS0 equivale a SSSSS0 : solo SSSSS0 es un teorema o axioma?. Y si a SS0+SSS0 equivale a SSSSS0 todo este enunciado se le llama axioma o teorema?

Y si un lenguaje no es sufici7entemente expresivo, que significa?

Una pregunta si el alfabeto es finito y no vacio, como es que se incluye el cero al ser no vacio?