Materiales para alumnos de Facultad de Ingeniería (UDELAR)

butenzar.info@gmail.com


Últimas Noticias


Facebook Status

Büten Zar
July 12, 2014 at 9:02 pm

Física 1

Se actualizó la tabla de parciales/exámenes.

¡Compartan! Crecemos con Büten! Aprendemos en Equipo!

Büten Zar
July 8, 2014 at 8:58 am

Lógica

Apuntes de Lucía Del Arco

Teórico 17 – 29/05/2014 - Semántica de la lógica de predicados: lenguaje extendido para una estructura, interpretación de términos cerrados, interpretación de sentencias, clausura universal de una fórmula, modelos y consecuencia lógica, ejemplos. V1.0
Teórico 18 – 03/06/2014 - Continuación de semántica: propiedades de |=, propiedades de los cuantificadores, distributividad generalizada, fórmulas libres para $, teorema de cambio de variables y teorema de sustitución, forma normal prenexa. V1.0


Muchas gracias por el aporte Lucía!!!

¡Compartan! Crecemos con Büten! Aprendemos en Equipo!

Büten Zar
June 28, 2014 at 12:36 pm

Lógica

Están disponibles apuntes de teórico,

Apuntes de Lucía Del Arco

Se actualizaron:

Teórico 10 – 08/04/2014 - Formas normales, deducción natural de la lóg prop, reglas de introducción y eliminación. V2.0
Teórico 11 – 10/04/2014 - DER, conclusión e hipótesis, consecuencia sintáctica, CONS, propiedades y equivalencias. V1.0
Teórico 12 – 22/04/2014 - Corrección y completitud, conjuntos consistentes, condición sufic. de consis., consistencia maximal. V1.0
Teórico 13 – 24/04/2014 - Teoría, resumen de consistencia, demostracion completitud. V1.0


Nuevos:

Teórico 14 – 20/05/2014 – Lógica de predicados: introducción, ejemplos, universo de discurso. V1.0
Teórico 15 – 22/05/2014 - Sintaxis de la lógica de predicados, estructura, tipo de similaridad, alfabeto, términos y formulas, ejemplos, Var, const, AT, PIP para TERM y FORM, alcance de cuantificadores, variables libres y ligadas, ERP para TERM y FORM. V1.0
Teórico 16 – 27/05/2014 - Continuación sintaxis, variables de un término y de una fórmula, términos y fórmulas cerradas, sustituciones en TERM y FORM, resumen sintaxis. V1.0


Muchas gracias por el aporte Lucía!!!

¡Compartan! Crecemos con Büten! Aprendemos en Equipo!

Büten Zar
June 13, 2014 at 10:13 am

PyE

Está disponible la AE2 en la tabla.

Büten Zar
June 8, 2014 at 1:15 pm

Llamado a Colaboradores.

Estamos necesitando colaboradores para transcribir algunos prácticos de PyE a formato LaTeX.
Cada colaborador se encargaría de transcribir 3 o 4 ejercicios.

Interesados por mp.

¡Compartan! Crecemos con Büten! Aprendemos en Equipo!



¡Publica tu Academia o local de clases particulares!

¡Publicar Ahora!

Clases de apoyo destacadas

  • Prof. Mauricio Achigar -  Ubicación : Pedro Bustamante 1488 esquina Demóstenes

  •  Instituto Miscelanea - Ubicación :  Rivera 3077 bis esquina 14 de julio

labe
  • fing-logo
  • openfing
  • developers.buten
  • Logo_UDELAR
  • lexart-terminado