Computación copy!.jpg
Lic_Computacion

Lic. en Ciencias de la Computación

Plan: 2002 Duración: 5 años
La carrera de Licenciatura en Ciencias de la Computación continúa la formación de los alumnos tanto en aspectos teóricos como tecnológicos y está orientada a aquellos alumnos que aspiren continuar con estudios de posgrado o deseen una formación profesional más completa. Debido a la alta relación docente/alumno y máquina/alumno, la enseñanza es personalizada lo que crea un ámbito de estudio y trabajo propicio para el desarrollo de las aptitudes de cada estudiante.
Director

Miguel Pagano

Características de la Carrera.

Campo Laboral

En nuestro medio, los profesionales en esta disciplina ejercen su profesión en relación de dependencia o en forma independiente.

Los Licenciados en Ciencias de la Computación podrán desempeñarse en:

  • Centros de Procesamiento de Datos
  • Centros de Cómputos
  • Empresas de Desarrollo de Software
  • Compañías Proveedoras de Hardware y Software
  • Consultoría de Sistemas
  • Centros de Investigación
  • Universidades

Perfil del Egresado

Se espera que el egresado de la carrera de Licenciatura en Ciencias de la Computación reúna las siguientes competencias:

  1. Poder manipular y razonar formalmente sobre expresiones simbólicas.
  2. Poder identificar y especificar rigurosamente los requerimientos apropiados de un problema complejo y establecer un plan para su solución.
  3. Saber modelar, diseñar y desarrollar programas correctos y eficientes.
  4. Saber analizar, seleccionar y utilizar apropiadamente los fundamentos, técnicas, y herramientas que permitan llevar a cabo estas tareas.
  5. Tener versatilidad para adaptarse a los cambios y a la incertidumbre.
  6. Tener responsabilidad profesional en el sentido de reconocer las consecuencias sociales y éticas del uso de la tecnología informática.
  7. Saber trabajar en equipo.
  8. Comprender y manipular fundamentos para la descripción y análisis funcional y comportamental de los sistemas en un amplio espectro, extendiendo entonces habilidades previamente enumeradas.
  9. Generar nuevas ideas y conceptos a nivel fundamental y tecnológico.
  10. Poseer capacitación especializada en algunas áreas de elección.

Plan de estudio

Febrero

Curso de Nivelación

1º año

100 horas

Contenido mínimo

Cálculo algebraico. Teoría de conjuntos y lógica. Funciones. Trigonometría.

1º año

Introducción a los Algoritmos

1º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Historia de la computación. Elementos de lógica proposicional y de primer orden: Enfoque sintáctico y semántico. Uso de la lógica para la resolución de problemas. Formalismo básico para la programación funcional. Especificaciones. Recursión e inducción.
Matemática Discreta I

1º año

primer cuatrimestre
Plan 2017 - 120 horas

Contenido mínimo

Números naturales. Principio de inducción. Enteros. Divisibilidad. Congruencia. Teorema de Fermat. Combinatoria. Números complejos. Forma polar. Grafos. Isomorfismo, valencia, caminos y ciclos. Árboles. Coloreo de vértices. Algoritmo greedy.
Análisis Matemático I (LC)

1º año

primer cuatrimestre
Plan 2018 - 120 horas

Contenido mínimo

Cálculo diferencial e integral en una variable El cuerpo de los números reales. Concepto de función. Límite. Continuidad. Teorema de los valores intermedios. Funciones trigonométricas. Exponencial y logaritmo. Derivada de una función. Reglas de diferenciación. Derivada de funciones trigonométricas. Derivada de la función inversa. Extremos. Teorema de Rolle. Teorema del valor medio. Gráficos de funciones. Cálculo de antiderivadas. Integración. Área. Teorema fundamental del cálculo.
Análisis Matemático II (LC)

1º año

segundo cuatrimestr
Plan 2016 - 120 horas

Contenido mínimo

Series numéricas. Series convergentes. Criterios de convergencia. Series de potencias. Series y polinomios de Taylor. Cálculo vectorial en el espacio euclídeo. Derivación de vectores. Geometría Analítica: rectas y planos en Rn. Cálculo diferencial e integral en varias variables: Funciones de varias variables. Derivadas parciales. Regla de la cadena y gradiente. Plano tangente. Matrices y determinantes de 3x3. Integrales múltiples. Fórmula de cambio de variables.
Álgebra

1º año

segundo cuatrimestr
Plan 2018 - 120 horas

Contenido mínimo

Resolución de sistemas de ecuaciones lineales: método de Gauss. Estructuras algebraicas: conceptos de grupo, anillo y cuerpo. Espacios vectoriales. Álgebra Lineal: Dependencia e independencia lineal. Bases y dimensión. Transformaciones lineales. Matriz de una transformación lineal. Funciones lineales. Espacios con producto interno. Ortogonalización. Autovalores y autovectores. Diagonalización de matrices simétricas. Anillos. Anillo de polinomios. Determinantes.
Algoritmos y Estructuras de Datos I

1º año

segundo cuatrimestr
Plan 2016 - 120 horas

Contenido mínimo

Técnicas de derivación de programas: modularización, tuplas, generalización. Recursión final. La programación imperativa. Estados y predicados. Transformadores de predicados. Invariantes y derivación de bucles. Técnicas para encontrar invariantes. Especificaciones formales. Corrección de programas. Verificación de algoritmos.

2º año

Algoritmos y Estructuras de Datos II

2º año

primer cuatrimestre
Plan 2016 - 180 horas

Contenido mínimo

Representación de datos en memoria. Estrategias de implementación. Manejo de memoria en ejecución. Arreglos, tuplas, referencias. Estructuras de datos: listas, pilas, colas, árboles binarios, heaps, árboles binarios de búsqueda, etc. Tipos de datos recursivos. Tipos abstractos de datos. Implementación de tipos abstractos de datos. Implementación de tipos abstractos de datos. Punteros. Resolución de problemas y algoritmos. Algoritmos fundamentales: recorrido, búsqueda, ordenamiento, actualización. Estrategias de diseño de algoritmos. Algoritmos voraces. Divide y vencerás. Recursividad múltiple y backtracking. Programación dinámica. Análisis de algoritmos: análisis asintótico, comportamiento en el mejor caso, caso promedio y peor caso. Notación O(). Balance entre tiempo y espacio en los algoritmos. Análisis de complejidad de algoritmos.
Organización del Computador

2º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Descripción funcional de sistemas de procesamiento de datos. Jerarquía de memoria, Organización funcional. Lógica digital. Representación de los datos a nivel máquina. Error. Lenguaje Ensamblador. Jerarquía de memoria. Máquinas Algorítmicas. Circuitos combinatorios y secuenciales. Aritmética binaria. Microprocesadores.
Análisis Numérico

2º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Análisis de errores: error absoluto y relativo; redondeo y truncamiento; sistemas de punto flotante; errores de representación. Solución de ecuaciones no lineales: métodos de bisección, Newton, secante y de punto fijo. Interpolación polinomial: formas de Lagrange y de Newton; splines. Aproximación de funciones: teoría de cuadrados mínimos. Integración numérica: reglas simples y compuestas del rectángulo, punto medio, trapecio y Simpson; reglas Gaussianas. Solución de sistemas de ecuaciones lineales: eliminación Gaussiana y factorización LU; métodos iterativos de Jacobi y Gauss-Seidel. Programación Lineal: convexidad y desigualdades lineales; método simplex.
Sistemas Operativos

2º año

segundo cuatrimestr
120 horas

Contenido mínimo

Introducción y conceptos generales. Diferentes clases de sistemas operativos. Multiprocesamiento. Sistemas Batch. Sistemas interactivos. Conceptos de proceso. Planificación de procesos. Concurrencia de ejecución. Algoritmos concurrentes y paralelos. Interbloqueos. Administración de memoria y memoria virtual. Sistema de archivos. Protección. Seguridad. Criptografía y passwords. Sistemas operativos en redes. Sistemas operativos de tiempo real. Sistemas operativos embebidos. Comunicación, Sincronización. Periféricos.
Probabilidad y Estadística

2º año

segundo cuatrimestr
120 horas

Contenido mínimo

Nociones de probabilidades. Variables aleatorias. Funciones de distribución. Independencia. Leyes de los grandes números. Teorema central del límite. Inferencia estadística paramétrica: estimación y tests de hipótesis.
Introducción a la Lógica y la Computación

2º año

segundo cuatrimestr
Plan 2017 - 120 horas (Lic. en Ciencias de la Computación) / 165 horas (Prof. en Matemática)

Contenido mínimo

Estructuras ordenadas: reticulados y álgebras de Boole. Sistemas formales. Introducción a la lógica proposicional: enfoque sintáctico y semántico. Técnicas de pruebas. Estructura de las pruebas formales: deducción natural. Lenguajes formales y autómatas. Minimización de autómatas. Expresiones regulares. Gramáticas libres de contexto. Jerarquía de Chomsky. Gramáticas e isomorfismos.

3º año

Matemática Discreta II

3º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Modelos de computación: medidas de complejidad de algoritmos, máquinas de acceso aleatorio (RAM). Complejidad Teórica. Búsquedas y ordenamiento en árboles. Grafos bipartitos y problemas de apareamiento. Digrafos, redes y flujos. Estructura de grupo. Grupo de permutaciones. Fundamentos de inteligencia artificial no simbólica. Algoritmos genéticos. Conceptos de complejidad: clases de complejidad; P-NP; SAT. Problemas tratables e intratables.
Paradigmas de Programación

3º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Introducción e historia de los lenguajes de programación. Paradigmas de programación: Imperativo, Orientado a Objetos, Funcional, Lógico. Relaciones entre los distintos paradigmas. Entidades y ligaduras en lenguajes de programación. Sistema de tipos, niveles de polimorfismo. Encapsulamiento y abstracción. Conceptos de intérpretes y compiladores. Criterios de diseño y de implementación de lenguajes de programación. Semántica operacional de los lenguajes de programación a través de la máquina virtual (binding, variables, estructuras “run time”, pasaje de parámetros). Estructuras de control. Recursividad. Eventos. Excepciones. Concurrencia y paralelismo: formas de implementar concurrencia; concurrencia en lenguajes declarativos.
Redes y Sistemas Distribuídos

3º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Redes y comunicaciones. Técnicas de transmisión de datos, modelos, topologías, algoritmos de ruteo y protocolos. Redes locales y geográficas. Seguridad en redes, elementos de criptografía. Sistemas cliente/servidor y sus variantes. El modelo computacional de la Web. Administración de redes. Sistemas operativos de redes. Computación orientada a redes. Software libre. Modelo ISO. Sistemas distribuidos. Memoria compartida distribuida. Transacciones distribuidas. Sistemas de archivos distribuidos. Seguridad en sistemas distribuidos.
Ingeniería del Software I

3º año

segundo cuatrimestr
120 horas

Contenido mínimo

El proceso de software. Ciclos de vida del software. Ingeniería de requerimientos. Arquitectura y diseño. Patrones. Conceptos de arquitectura orientadas a servicios. Reingeniería de software. Calidad de software: del producto y del proceso. Diseño centrado en el usuario. Administración y control de proyectos. Nociones de auditoría y peritaje. Teoría general de sistemas. Sistemas de información. Privacidad integridad y seguridad en sistemas de información. Nociones de sistemas colaborativos. Documentación. Responsabilidad y ética profesional. Computación y sociedad. Propiedad intelectual, licenciamiento de software y contratos informáticos. Aspectos legales.
Bases de Datos

3º año

segundo cuatrimestr
120 horas

Contenido mínimo

Teoría de Bases de Datos. Conceptos generales de Bases de datos. Modelos de datos (E-R, relacional, orientado a objetos). Teoría de formas normales. Sistemas de bases de datos. Diseño y administración de sistemas de bases de datos. Escalabilidad, eficiencia y efectividad. Modelado y calidad de datos. Organización de la información. Lenguajes de DBMS. Lenguajes de búsqueda (álgebra relacional, cálculo relacional), diccionario de datos. Implementación de una base de datos relacional. Seguridad e integridad. Bases de datos distribuidas.
Arquitectura de Computadoras

3º año

segundo cuatrimestr
120 horas

Contenido mínimo

Unidad central de Procesos (CPU). Procesadores de alta prestación. Memorias semiconductoras. Arquitecturas no Von Neumann. Arquitecturas multiprocesadores. Conceptos de arquitecturas Grid. Conceplos de arquitecturas reconfigurables.

4º año

Lenguajes Formales y Computabilidad

4º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Gramáticas regulares y libres de contexto. Autómatas a pila y lenguajes libres de contexto. Máquinas de Turing. Funciones recursivas. Funciones parcialmente computables. Tesis de Church. El halting problem. Programas universales. Teoremas del parámetro, de la recursión y de Rice. Forma normal de Kleene de una función parcialmente computable. Conjuntos r.e. Lenguajes r.e. Funciones parcialmente computables sobre palabras. Equivalencia entre las funciones recursivas parciales, funciones Turing computables y funciones parcialmente computables. Relación entre los distintos formalismos de cómputo.
Modelos y Simulación

4º año

primer cuatrimestre
Plan 2018 - 120 horas

Contenido mínimo

Clases y tipos de sistemas. Sistemas de colas. Variables aleatorias en los sistemas de colas. Metodología de modelización de sistemas. Herramientas de la modelización de sistemas. Simulación. Análisis de resultados. Nociones de minería de datos.
Física

4º año

segundo cuatrimestr
Plan 2018 - 120 horas

Contenido mínimo

Ámbito de la Física. Conceptos fundamentales de mecánica. Movimiento en una dimensión. Movimiento en tres dimensiones. Dinámica newtoniana. Ejemplos de sistemas simples. Campo central; sistemas gravitatorios. Sistemas termodinámicos. Gases ideales. Termodinámica. Termodinámica de la computación. Introducción al electromagnetismo. Corrientes eléctricas. Interacciones electromagnéticas de los átomos. Interacciones electromagnéticas de los sólidos.
Lógica

4º año

segundo cuatrimestr
Plan 2016 - 120 horas

Contenido mínimo

Lógica de primer orden: Lenguajes de primer orden y modelos. Definición inductiva del valor de verdad (Tarski). Equivalencia elemental. Lógica ecuacional. Pruebas formales. Teorema de Lowenheim-Skolem. Teorema de Compacidad. Teorías formales. Teorema de corrección. Teorema de completitud (Godel).

5º año

Inteligencia Artificial

5º año

primer cuatrimestre
120 horas

Contenido mínimo

x
Ingeniería del Software II

5º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Ingeniería de Software para Sistemas de Tiempo Real. Fundamentos semánticos de los sistemas reactivos. Métodos formales. Verificadores de modelos. Lógicas Temporales. Fundamentos de inteligencia artificial simbólica. Lógicas modales. Cláuslas de Horn. Algoritmos para la verificación de SAT.
Lenguajes y Compiladores

5º año

primer cuatrimestre
Plan 2016 - 120 horas

Contenido mínimo

Semántica de los lenguajes de programación: axiomática, denotacional y operacional. Dirección por sintaxis y semántica composicional. Teoría de dominios. Dominios recursivos. Declaración de variable, alcance. Asignación. Recursión e iteración. Pasaje de parámetros. Estrategias de evaluación. Tipos en lenguajes de programación. Compilación: Análisis léxico y sintáctico; análisis estático; generación de código.
La PC como Controladora de Procesos

5º año

segundo cuatrimestr
Plan 2016 - 120 horas

Contenido mínimo

x
Trabajo Especial

5º año

segundo cuatrimestr
180 horas

Contenido mínimo

Consiste en un trabajo de investigación que el alumno llevará a cabo bajo la supervisión de un director. La inscripción en esta materia se realiza con la aprobación del tema de trabajo y del director por parte del Consejo Directivo de la Facultad.
Optativas

5º año

segundo cuatrimestr
120 horas

Contenido mínimo

Sus objetivos, contenidos y demás características serán aprobados por el HCD en cada oportunidad de dictado.

Microcontroladores

5º año

Plan 2016 - 120 horas

Contenido mínimo

x
Programación Distribuída Sobre Grandes Volúmenes de Datos

5º año

Plan 2016 - 120 horas

Contenido mínimo

x
Álgebra Universal y Teoría de Modelos

5º año

Plan 2016 - 120 horas

Contenido mínimo

-
Programación en Android: Introducción

5º año

Plan 2016 - 120 horas

Contenido mínimo

x
Análisis Estadístico de Imágenes Satelitales

5º año

Plan 2016 - 120 horas

Contenido mínimo

Corrección de errores y registración de imágenes - Uso de GPS. Distintos tipos de imágenes satelitales: SAC-C, LANDSAT, de radar, etc. Diferentes metodologías de clasificación de imágenes. Transformada de Fourier aplicada al análisis de imágenes satelitales. Imágenes multitemporales: modelos y aplicación a series mensuales NOAA. Modelos y técnicas estadísticas en imágenes SAR. Introducción al tratamiento de imágenes hiperespectrales. Desarrollo de proyectos de procesamiento de imágenes.
Álgebra Lineal Numérica

5º año

Plan 2016 - 120 horas

Contenido mínimo

Sistemas lineales. Matrices en bloques. Métodos directos para la resolución de sistemas lineales. Descomposición LU, descomposición de Cholesky, descomposición QR, descomposición SVD. Sensibilidad de sistemas lineales. Métodos iterativos para la resolución de sistemas lineales. Métodos de descenso. Métodos de gradiente conjugado. Problema de cuadrados mínimos. Sistemas lineales sobredeterminados. Matrices ortogonales. Sistemas de ecuaciones no lineales. Método de Newton n-dimensional. Métodos Cuasi-Newton. Minimización sin restricciones. Problema de autovalores y autovectores. Método de las potencias. Iteración QR.
Computación Paralela

5º año

Plan 2017 - 120 horas

Contenido mínimo

-
Conceptos Avanzados de Lenguajes de Programación

5º año

Plan 2017 - 120 Horas.

Contenido mínimo

.
Complejidad Computacional.

5º año

Plan 2018 - 120 Horas.

Contenido mínimo

.
Aprendizaje Automático en Visión por Computadora

5º año

Plan 2018 - 120 horas

Contenido mínimo

x
Seguridad

5º año

120 horas

Contenido mínimo

x
Procesamiento de Lenguaje Natural

5º año

120 horas

Contenido mínimo

x
Lógicas Modales

5º año

120 horas

Contenido mínimo

x
Semántica de Procesos y Aplicaciones

5º año

120 horas

Contenido mínimo

x
Teoría de Modelos

5º año

120 horas

Contenido mínimo

x
Programación Lineal

5º año

120 horas

Contenido mínimo

x