Asignatura universitaria

Fundamentos Matemáticos de la Informática I

Matemática discreta para programación: lógica, demostraciones, relaciones y grafos.

Consultar esta asignatura Preguntar por WhatsApp

CEU San Pablo

Temario de la asignatura

Estos bloques orientan el estudio. Adaptamos las clases al programa y al material que estés trabajando.

Lógica

Lógica proposicional
Lógica de predicados

Demostraciones

Métodos de prueba
Sucesiones
Inducción y recursión

Conjuntos, relaciones y funciones

Propiedades de conjuntos y pruebas algebraicas
Álgebras de Boole
Tipos y composición de funciones
Relaciones y aritmética modular

Grafos y árboles

Definiciones y propiedades
Representación de grafos

Dónde suele costar más

Distinguir cuantificadores y conectores lógicos
Escoger un método de demostración
Formalizar relaciones y recorridos de grafos

Qué suele necesitar el alumno para llevarla bien

Practicar con regularidad la formalización de enunciados y escribir cada demostración paso a paso. La precisión en la notación importa tanto como la idea del ejercicio.

Apoyo de Academia Biz-Code

Cómo te ayudamos con esta asignatura

Partimos de tu nivel y del programa que estés cursando para convertir los conceptos en un plan de trabajo claro y práctico.

Como orientación de Academia Biz-Code, trabajamos la traducción de enunciados a lenguaje lógico.
Descomponemos cada demostración en hipótesis, método y conclusión.
Practicamos relaciones, inducción y grafos con ejercicios desarrollados.

Consultar esta asignatura

Sigue explorando

También te puede interesar

Asignatura relacionada

Fundamentos Matemáticos de la Informática II

Asignatura relacionada

Estadística (Sistemas de Información)

Asignatura relacionada

Programación I (Sistemas de Información)