IPC UBA Sistemas Axiomaticos EJERCICIOS RESUELTOS - CURSO IPC #32 IPC CBC UBA - Catedra Miguel

Поділитися
Вставка
  • Опубліковано 18 гру 2024

КОМЕНТАРІ • 30

  • @MartinPrebble
    @MartinPrebble  3 роки тому +1

    💡 Si te gustó este video te dejo el curso completo de IPC 👇🏻
    ua-cam.com/play/PLDnyQwzsx7ftDOAnAG5e7w_LPBnwh5z0t.html
    Mucha suerte en los parciales 💪🏻

  • @gastongonzalez2139
    @gastongonzalez2139 3 роки тому +10

    Un tema que me cuesta muchísimo. Falta contenido como este en UA-cam. Gracias por el espacio. Saludos!

    • @MartinPrebble
      @MartinPrebble  3 роки тому +2

      Muchas gracias, Gastón! Me alegra que te haya podido ser de utilidad!

  • @cristinaromero4146
    @cristinaromero4146 3 роки тому +3

    Gracias profesor ahora entendí más ,voy a practicar👌👍

  • @sikrocappa
    @sikrocappa Рік тому +1

    grande profe un capo total!!!

    • @MartinPrebble
      @MartinPrebble  Рік тому

      Gracias a vos por tu comentario. Que andes bien! Saludos!

  • @Agustin_Jerez
    @Agustin_Jerez 2 роки тому +2

    Disculpa la molestia, pero cuando un sistema es incompleto y cuando es completo?? Y que serían las "formulas bien formadas"?Agradecería tu respuesta 🙏

    • @MartinPrebble
      @MartinPrebble  2 роки тому +4

      Buenas tardes. Las formulas bien formadas son los enunciados que tienen sentido, que dan informacion por seguir las reglas sintacticas de formacion.
      Un sistema es completo cuando puede decir si todo enunciado o su negacion son teorema del sistema. Es decir, que no existe enunciado del cual no pueda expedirse. Los sistemas inconsistentes son completos por ejemplo porque todo enunciado es teorema.
      Un sistema incompleto es un sistema que frente algun enunciado no puede decir con certeza si ese enunciado o su negacion son teoremas justamente porque esos enunciados agregan informacion que no se deduce de los axiomas con necesidad. Ejemplo de sistema axiomatico es un sistema que tenga un axioma que diga; "todo p incide con mas de 2 q" y otro axioma que diga "todo p incide con menos de 10 q". Es incompleto porque en el medio entraroan varios enunciados del tipo "todo p incide con 3 q" del cual no tenemos certeza. Sabemos que es entre 2 y 10 pero de ahi a decir que es 3 es un salto importante.
      Espero haberte ayudado. Un saludo!

  • @jimenascrosoppi3525
    @jimenascrosoppi3525 3 роки тому +2

    Buenas profesor! Tengo una duda si bien dice el que el final cuenta con 5 llamados osea que tenemos 5 oportunidades para aprobar el final? Y gracias por los videos me ayudaron un montón a entender mejores las cosas! Esta buenísima esta herramienta!

    • @MartinPrebble
      @MartinPrebble  3 роки тому +2

      Hola! Si, para los estudiantes que cursaron en el 2020 salió una resolución que dice que tienen 5 fechas de final (o sea cinco intentos para aprobar el examen).
      Por ejemplo: si vos cursaste en el 1er cuatrimestre del 2020 tenes junio 2020, febrero/marzo 2021, junio/julio 2021, diciembre 2021 y febrero/marzo 2022.
      Por cada instancia de final siempre eran dos fechas distintas con una semana de diferencia (pero por instancia solo te podes presentar una vez)
      Por ejemplo: si dan dos fechas en junio solo te podes presentar en una.
      Esto de las cinco instancias no sabemos si continuará para este año. Lo mas probable es que vuelva a tres fechas de final como antes.
      Me alegro que te hayan servido los videos. Un saludo!

  • @sabrinasamantasaldivar7615
    @sabrinasamantasaldivar7615 3 роки тому +1

    Hola profe disculpe que lo moleste. Queria saber si hay fechas para el recuperatorio del primero y segundo parcial?

    • @MartinPrebble
      @MartinPrebble  3 роки тому +1

      Hola! El recuperatorio fue toda esta semana y termina hoy a las 23:59. El 26 de febrero es el final. Se hace de manera virtual por el campus ambos examenes. Un saludo!

  • @noeliaavila569
    @noeliaavila569 2 роки тому +1

    👏🏻

  • @nixen3141
    @nixen3141 3 роки тому +1

    Hola soy Bruno, yo debo recursar matemática debido a que me fue mal en el recuperatorio de la segunda evaluación(me saque un 3, solo me faltaba un punto para aprobar).
    Que debería hacer? Tengo entendido que entre el 16 y el 26 de marzo se va a poder inscribir/re-inscribir a materias del CBC desde el SIU-GUARANÍ para personas que empezaron a cursar el CBC entre los años 1985-2020(mi caso es que empecé en el 2020) . Me dieron el cuil y una contraseña especifica para obtener mi usuario del SIU-GUARANÍ en el año anterior, aunque yo actualmente tengo uno, pero no me deja entrar con ese usuario que me dieron, supuestamente a partir del 16 podremos usar estos usuarios que nos dio la UBA CBC.
    Quiero saber si me podrían guiar un poco, me comunique con tutores y consulte varias redes sociales relacionadas con el CBC para saber más de mi situación.

    • @MartinPrebble
      @MartinPrebble  3 роки тому +1

      Hola, Bruno, la verdad que no sabría decirte. Hay un grupo en facebook llamado cbc uba 2021 en el que capaz puedan ayudarte. Suerte!

    • @nixen3141
      @nixen3141 3 роки тому +1

      @@MartinPrebble muchas gracias. Saludos profe

  • @cristinaromero4146
    @cristinaromero4146 3 роки тому +1

    Hola profesor ,una pregunta si te va mal en este final ,se puede dar final en marzo también o paso a junio ?

    • @MartinPrebble
      @MartinPrebble  3 роки тому +2

      Hola! Si te va mal (o sea si te sacas menos de 4) en este final tendrías que darla en junio. La fecha de marzo es para aquellos que hayan tenido problemas técnicos o no hayan podido conectarse. Espero que te haya ido bien. Un saludo!

  • @kaizul8568
    @kaizul8568 3 роки тому +1

    Disculpe la pregunta, quizas es muy obvia, a qué se refiere cuando dice que un axioma es o no es teorema?

    • @MartinPrebble
      @MartinPrebble  3 роки тому +3

      Buenas noches. Que un enunciado sea teorema significa que ese enunciado se deduce, repite o dice algo que ya estaba contenido en los axiomas de nuestro sistema axiomatico. Por ejemplo: si tengo un sistema axiomatico con el axioma A1: todo p conecta con mas de tres Q
      Entonces los enunciados
      E1: todo pq conecta con mas de dos Q
      E2: todo pq conecta con mas de un Q
      Son teoremas del sistema porque se deducen del axioma 1
      Capaz podes pasarte por el 1er video de sistemas axiomaticos que realice y ahi esta la distincion entre enunciados, teoremas y axiomas. Espero haberte podido ayudar. Cualquier cosa podes volver a preguntar por este medio.
      Un saludo!

    • @kaizul8568
      @kaizul8568 3 роки тому +1

      @@MartinPrebble muchas gracias, entendí perfecto!!

  • @estefanydiaz208
    @estefanydiaz208 3 роки тому +1

    Hola profe , soy estudiante del primer cuatri de la materia y claro tenía una consulta , ya que nadie me la ha podido dar , es respecto al examen final ya que para mí es como pendiente y estoy algo desorientada , por qué no sé cómo será , si me tengo que anotar para darlo , no se , Espero que resuelva mi duda .

    • @MartinPrebble
      @MartinPrebble  3 роки тому +2

      Hola! Si diste los dos examenes (ECF) durante la cursada, estas automaticamente anotada para cinco instancias de final. No es necesario que te anotes. El final es el 26 de febrero. Un saludo!

    • @estefanydiaz208
      @estefanydiaz208 3 роки тому +1

      @@MartinPrebble gracias profe

    • @jimenascrosoppi3525
      @jimenascrosoppi3525 3 роки тому +1

      @@MartinPrebble Hola profe! Muchos nos preguntamos cuál es la modalidad del final? Si es como los otros dos parciales! Espero que lea mi duda

    • @MartinPrebble
      @MartinPrebble  3 роки тому +1

      Hola! La modalidad es parecida a la de los parciales anteriores. Cada pagina tiene una pregunta y una vez dado una respuesta y avanzado no se puede volver atrás. Se aprueba con 4! Un saludo!

  • @agostinaestevez9379
    @agostinaestevez9379 3 роки тому +1

    si los enunciados "existe" no se deducen de los "todos" por que en el punto f "existe un Q que contiene mas de un P" se deduce de "A3?? no me quedo claro eso

    • @MartinPrebble
      @MartinPrebble  3 роки тому +3

      Hola! No se deduce solamente del axioma 3 sino del axioma 2 y 3.
      El A3 dice que Todo R es Q y el A2 Existe un R que contiene exactamente tres P.
      Como el enunciado F es "Existe un Q que contiene mas de un P" si uno toma alguno de los dos axiomas de arriba (A2 y A3) la explicacion de por qué se deduce no es satisfactoria.
      En otras palabras: "Existe un Q que contiene mas de un P" no se puede deducir solo del A2 "Existe un R que contiene exactamente tres P" porque habla de R y no de Q y por eso resulta necesario aclarar que existe una relacion entre las R y las Q y ahi entraria el A3: Todo R es Q.
      O sea: no se deduce Existe de un enunciado que habla de Todos, lo que se deduce es que si existe un R con mas de 3 P es porque existe un R que tiene mas de 1 P y 2 P (pero para llegar a eso se necesita, segun mi entender, del paso intermedio de aclarar que todo R es Q)
      Un saludo!