Federico Lochbaum Email & Phone Number

Lila, Hauts-De-France, Francia

Clases de Wing Chung Kung Fu - Defensa Personal Inteligente

Partido De Quilmes, Provincia De Buenos Aires, Argentina

Temas de la materia:- Problematización de la demostración de teoremas y de corrección de programas. Sintaxis ysemántica de la lógica proposicional.- Deducción natural para lógica proposicional.- Corrección y completitud para la lógica proposicional. Uso de herramienta como proofwebpara realizar demostraciones automáticas sobre lógica proposicional.- Sintaxis, semántica y deducción natural de la lógica de primer orden.- Corrección y completitud para la lógica de… Show more Temas de la materia:- Problematización de la demostración de teoremas y de corrección de programas. Sintaxis ysemántica de la lógica proposicional.- Deducción natural para lógica proposicional.- Corrección y completitud para la lógica proposicional. Uso de herramienta como proofwebpara realizar demostraciones automáticas sobre lógica proposicional.- Sintaxis, semántica y deducción natural de la lógica de primer orden.- Corrección y completitud para la lógica de primer orden. Uso de herramienta como proofwebpara realizar demostraciones automáticas sobre lógica de primer orden.- Algoritmos de refutación para lógica proposicional: resolución.- Algoritmos de refutación para lógica de primer orden: resolución y unificación. PROLOGcomo ejemplo.- Resolución SLD.- Triplas de Hoare y su uso para demostrar corrección de programas. Show less

Argentina

Temas de la materia:- Esquemas no tradicionales para definir el comportamiento de unobjeto.- Metaprogramación.- Sistemas de tipos y esquemas de binding.- Lenguajes específicos de dominio.- Programación declarativa.- Programación funcional + Programación orientada a objetos.

Temas de la materia:- Representación de la información: alfanumérico, numérico, punto fijo y flotante, ASCII- Sistema de numeración binario- Aritmética de las computadoras: Unidades. Funcionamiento y organización- Unidades funcionales: Unidad Central de Proceso, Unidad de Control, memorias, ciclo de instrucciones, direccionamiento, subsistema de Memoria - Periféricos: conceptos y principio de funcionamiento- Procesadores de Entrada/Salida- Lógica digital: tablas… Show more Temas de la materia:- Representación de la información: alfanumérico, numérico, punto fijo y flotante, ASCII- Sistema de numeración binario- Aritmética de las computadoras: Unidades. Funcionamiento y organización- Unidades funcionales: Unidad Central de Proceso, Unidad de Control, memorias, ciclo de instrucciones, direccionamiento, subsistema de Memoria - Periféricos: conceptos y principio de funcionamiento- Procesadores de Entrada/Salida- Lógica digital: tablas de verdad, equivalencia de fórmulas proposicionales, circuitos combinatorios, circuitos secuenciales- Arquitectura del computador: Componentes de la CPU, memoria principal y secundaria, jerarquía de memorias- Subsistema de Entrada/Salida- Lenguaje Máquina- Código fuente y código objeto Show less

Temas de la materia: - Lenguaje Haskell- Recursión- Listas- Árboles- Tipos algebraicos- Tipos abstractos de datos- Noción básica de eficiencia- BSTs- AVLs- Binary Heaps- Lenguaje C++- Stack/Heap- Manejo de memoria- Linked lists- Arrays- Binary Heaps con Arrays- HashingParte bonus: - Sorting- Grafos

Licenciatura En Informática

Tenicatura Universitaria En Programación Informatica