From: Subject: Mat Disc y Log 1 Date: Mon, 3 Dec 2007 15:08:28 -0300 MIME-Version: 1.0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Location: =?iso-8859-1?Q?file://C:\Documents_and_Settings\jramos\Escritorio\Tec?= =?iso-8859-1?Q?=5Fen=5FInformatica=5F07\Tecn=F3logo_en_Inform=E1ticam?= =?iso-8859-1?Q?atedicrteaLOGICA=5Farchivos\middlemdl1=5Farchivos\mdl1.htm?= X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3198 Mat Disc y Log 1

Matem=E1tica Discreta y L=F3gica=20 1

Materia      Matem=E1tica=20

Cr=E9ditos     12

 

Objetivo de la = Asignatura=20

Desarrollar en el = estudiante la=20 capacidad de expresar sus ideas en forma precisa y sin ambig=FCedades, = fomentando=20 la rigurosidad y la formalidad en sus razonamientos y demostraciones. =

Proveer al estudiante = de=20 conocimientos te=F3ricos, pr=E1cticos y aplicados sobre:

Metodolog=EDa de=20 ense=F1anza

Se dictar=E1n clases = te=F3ricas=20 destinadas a la presentaci=F3n formal de los temas, y pr=E1cticas = destinadas al=20 ejercicio necesario para la incorporaci=F3n de los contenidos, as=ED = como a las=20 aplicaciones pr=E1cticas en el campo de la computaci=F3n.

Se ofrecer=E1n a los = estudiantes=20 res=FAmenes te=F3ricos y repartidos con ejercicios pr=E1cticos, los = cuales no se=20 podr=E1n considerar como sustitutivos de la bibliograf=EDa indicada.

Se dictar=E1n  = 3  horas=20 semanales de exposiciones te=F3ricas y 3 horas semanales de clases=20 pr=E1cticas.  Asimismo, cada alumno deber=E1 dedicar un promedio de = 6 horas=20 semanales de estudio domiciliario.

 

Temario      =20

  • Presentaci=F3n del = curso.=20 Conjuntos, producto cartesiano, definici=F3n de relaci=F3n (2hs)

  • Propiedades de = simetr=EDa,=20 reflexividad y transitividad (2hs)

  • Representaci=F3n de = relaciones:=20 matrices, d=EDgrafos, diagramas de Hasse (2hs)

  • Operaciones con = relaciones=20 (2hs)

  • Relaciones de orden, = relaciones=20 de equivalencia, particiones, aplicaciones (2hs)

  • Inducci=F3n = matem=E1tica (2hs)

  • Relaciones de = recurrencia (2hs)=20

  • Definiciones = recursivas,=20 aplicaciones (2hs)

  • Sistemas de = numeraci=F3n.=20 Sistemas con base. Cambio de base. Sistemas binario y hexadecimal = (2hs)

  • =C1lgebra de Boole. = Axiomas.=20 Modelo aritm=E9tico. Suma y producto (2hs)

  • Modelo l=F3gico del = =E1lgebra de=20 Boole. Funciones booleanas (2hs)

  • Mapas de Karnaugh = (2hs)

  • Introducci=F3n a los = circuitos=20 combinatorios. Compuertas l=F3gica s(2hs)

  • Introducci=F3n al = dise=F1o l=F3gico.=20 Bloques constructivos: semisumador, sumador, decodificador (2hs)

  • Construcci=F3n de = circuitos m=E1s=20 complejos: multiplexores, demultiplexores, ALUs, memorias (2hs)

  • Introducci=F3n a la = l=F3gica,=20 problemas que se tratan, paradoja de Russell. Sintaxis y sem=E1ntica = (2hs)

  • Sintaxis de la = l=F3gica=20 proposicional: el conjunto PROP. Principio de inducci=F3n en PROP = (2hs)

  • Secuencia de = formaci=F3n.=20 Definiciones por recursi=F3n, ejemplos (=E1rbol de parsing y rango) = (2hs)

  • Ejemplos (=E1rbol de = parsing y=20 rango). Aplicaci=F3n: analizadores lexicogr=E1ficos (2hs)

  • Sem=E1ntica de la = l=F3gica=20 proposicional, tablas de verdad (2hs)

  • Valuaciones, = sustituci=F3n (2hs)=20

  • Propiedades de la = l=F3gica=20 proposicional (2hs)

  • Deducci=F3n natural = (2hs)

  • Nociones de = completitud y=20 consistencia (2hs)

 

Bibliograf=EDa  =20

  • Logic and Structure. = Dirk van=20 Dalen. Ed. Springer-Verlag. ISBN: 3-540-57839-0 (2a. edici=F3n), = 3-540-12831-X=20 (1a. edici=F3n).

  • Matem=E1ticas = Discreta y=20 Combinatoria. Ralph P. Grimaldi. Ed. Addison Wesley

  • U otros, similares o=20 equivalentes, que se indiquen en el curso

Previaturas         =   =20

  

Formas de = evaluaci=F3n

Los estudiantes ser=E1n = evaluados=20 mediante dos parciales. El primero de ellos se realizar=E1 luego de la = s=E9ptima=20 semana de clases, y el segundo tendr=EDa lugar luego de finalizado el = curso.

De los resultados = obtenidos en=20 los parciales surgir=E1n tres posibilidades:

  • Exoneraci=F3n del = examen final:=20 el estudiante aprueba totalmente el curso.

  • Suficiencia en el = curso: el=20 estudiante est=E1 habilitado a rendir examen, hasta que el curso sea = dictado=20 nuevamente.

  • Insuficiencia en el = curso: el=20 estudiante reprueba, debiendo inscribirse nuevamente en el curso. =

Sumando los resultados = de los=20 parciales se podr=E1 obtener un m=E1ximo de 100 puntos.
La = exoneraci=F3n del=20 examen final se logra acumulando como m=EDnimo 60 puntos entre los dos=20 parciales.
La suficiencia se logra acumulando como m=EDnimo 25 = puntos=20 entre ambos parciales.
Quien no llegue a 25 puntos obtenidos entre = ambos=20 parciales deber=E1 recursar la asignatura.