Scribd
Cargar
7 vistas2 páginas

Contenidos de Lógica para Informática

El documento presenta los contenidos programáticos de un curso de lógica en UTU Informática, abarcando temas como la lógica proposicional, lógica de predicados, y circuitos lógicos. Se enfatiza el desarrollo de competencias a través de clases teóricas y prácticas, así como el estudio domiciliario. Además, se incluye bibliografía recomendada tanto para docentes como para alumnos.

Cargado por

lecamila
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
7 vistas2 páginas

Contenidos de Lógica para Informática

El documento presenta los contenidos programáticos de un curso de lógica en UTU Informática, abarcando temas como la lógica proposicional, lógica de predicados, y circuitos lógicos. Se enfatiza el desarrollo de competencias a través de clases teóricas y prácticas, así como el estudio domiciliario. Además, se incluye bibliografía recomendada tanto para docentes como para alumnos.

Cargado por

lecamila
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

Contenidos Programticos LGICA

UTU Informtica

1. Objeto de la l gica ! Tiem"o s#gerido$ % &s 'oci n de arg#mento ( en#nciado. )iferencia entre forma ( contenido de #n arg#mento *inta+is ( semntica. Leng#aje nat#ral ( leng#ajes artificiales. ,. Introd#cci n a la L gica Pro"osicional ( Teor-a de Conj#ntos ! Tiem"o s#gerido$ ,. &s /n#nciados sim"les. /n#nciados com"#estos. Conecti0as #narias ( binarias. 'otaci n ( conce"to. 'egaci n1 )is(#nci n1 Conj#nci n1 Condicional1 2icondicional. )efiniciones bsicas de conj#ntos ( re"resentaciones. O"eraciones con conj#ntos Analog-a entre negaci n ( com"lemento absol#to1 conj#nci n e intersecci n1 dis(#nci n incl#si0a ( #ni n. Tablas de 0erdad. Parenti3aci n. 4erar5#-a de conectores. Pro"iedades Inter"retaciones de f rm#las. 6alide3 e inconsistencia. Conj#ntos adec#ados de conecti0as. 7ormas normales. Conj#ntos adec#ados minimales. 'or ( 'and. 6alide3 de es5#emas arg#mentales. )ed#cci n nat#ral. Im"licancia ( e5#i0alencia l gica. 8. Introd#cci n a la L gica de "redicados ! Tiem"o s#gerido$ ,, &s C#antificadores. )efiniciones ( "ro"iedades bsicas 6ariables libres ( ligadas. Introd#cci n a los Circ#itos L gicos 9e"resentaci n es5#emtica de $ #n conm#tador : o interr#"tor;1 circ#ito de negaci n1 de conj#nci n1 circ#ito de dis(#nci n incl#si0a. A.'./.P. CO'*/4O )/ /)UCACI' T<C'ICO P9O7/*IO'AL /.=.T. ! Informtica ! Primero L gica "ara Com"#taci n :,>>.; Pgina ? de % Com"#ertas l gicas. .. 9esol#ci n de casos a"licando L gica ! Tiem"o s#gerido$ 1, &s Analisis ( resol#ci n de casos de est#dio. Trabajos coordinados con la asignat#ra Programaci n I Pro"#esta =etodol gica Las com"etencias antes mencionadas se desarrollan en clases te rico "rcticas dictadas en sal n o laboratorio de Informtica alternadamente1 con carga &oraria de dos &oras semanales. Asimismo cada al#mno deber dedicar #n "romedio de tres &oras1 &oras semanales al est#dio domiciliario. /n este c#rso1 se trabaja con #n enfo5#e "ragmtico1 la formalidad ( los

conce"tos bsicos1 re5#eridos "ara la com"rensi n e inter"retaci n de las diferentes asignat#ras de la carrera. *e a0an3ar "ro"oniendo #n grado "rogresi0o de dific#ltad ( de formalidad ( los conce"tos bsicos1 re5#eridos "ara la com"rensi n e inter"retaci n de las diferentes asignat#ras de la carrera. *e a0an3ar "ro"oniendo #n grado "rogresi0o de dific#ltad ( de formalidad1 atendiendo a la edad de los est#diantes 5#e reali3an este c#rso ( a la eta"a de "ensamiento en la 5#e se enc#entran. 2ibliograf-a "ara el docente @ 6an )alen1 ).1 Logic and *tr#ct#re. /d. *"ringer!6erlag @ /str#ct#ras de )atos ( Algoritmos A&o A Bo"croft A Ullman @ 9al"& P. Grimaldi =atemtica )iscreta ( Combinatoria Addison Cesle( Iberoamerican @ Cilliam /. 7enton /d. )#binsD( ! Introd#ction to )iscrete =at&ematics Eit& I*/TL *"ringer @ Cinfried Farl Grassmann1 4ean Pa#l Trembla( =atemtica )iscreta ( L gica Prentice Ball 2ibliograf-a "ara el al#mno @ *mit&1 Farl1 Introd#cci n a la l gica simb lica. /d. IberoamGrica.

También podría gustarte