https://github.com/dcabezas98/lmd

Lógica y Métodos Discretos - 1er curso
https://github.com/dcabezas98/lmd

Last synced: 20 days ago
JSON representation

Lógica y Métodos Discretos - 1er curso

• Host: GitHub
• URL: https://github.com/dcabezas98/lmd
• Owner: dcabezas98
• License: mit
• Created: 2017-12-09T22:42:25.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2023-04-13T15:18:59.000Z (over 1 year ago)
• Last Synced: 2024-10-30T01:51:05.021Z (2 months ago)
• Language: Jupyter Notebook
• Homepage:
• Size: 456 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# LMD

## Lógica y Métodos Discretos - 1er curso

Este repositorio contiene los trabajos realizados en la asignatura de Lógica

y Métodos Discretos. Incluye un guión en ***Jupyter Notebook*** sobre propiedades

de los **números naturales, inducción y recursividad**. También incluye varios

**guiones sobre temas de la asignatura en *wxmaxima***: 

- Introducción a *wxmaxima*

- Relaciones

- Funciones booleanas

- Grafos

Y un **árbol genealógico en *Prolog*** con diversas funciones para obtener 

información de los miembros de la familia y sus relaciones.