Elementos de programación y lógica

Back.png Volver a TPI | LIDS

Cursada

Probablemente curses dos días por semana de dos horas cada uno.

Se toman dos exámenes y un trabajo practico (desarrollo de HTML sobre Software Libre)

Página de la materia: http://elementosdeprogramacionylogica.web.unq.edu.ar/

Temas

  • Lenguajes de marcado - Markdown - Comparación de diferentes lenguajes
  • HTML - Presentación TP HTML
  • Software Libre: paradigma, libertades, licencias.
  • Introducción a la lógica: Razonamientos, tipos.
  • Conectivas lógicas, semántica y sintaxis práctica
  • Lógica proposicional
  • Lógica de primer orden
  • Buffer
  • Que es la programación, robot humano y Lightbot
  • Introducción a programación (Documentar, propósito y precondición)
  • División en subtareas
  • Repetición simple
  • Alternativa condicional
  • Parámetros

Ejercicio tipo examen

Archivo:Logica parcialito.pdf

Resolucion de examen

Archivo:Logica parcialito solutions.pdf

Resolucion de practica

Archivo:01 conectivas solutions.pdf Archivo:02 proposicional solutions.pdf Archivo:03 predicados solutions.pdf