CLASES ( de años anteriores en Youtube )
متطلبات الإكمال
1. Formalización y semántica
- 2019
- 2018
- [2018. S2.1] Teoría de formalización en Lógica de Primer Orden (LPO)
- [2018. S2.2] Ejercicios de formalización en LPO I
- [2018. S3.1] Ejercicios de formalización en LPO II
- 2017
2. Tablas de Verdad
- 2019
- 2018
- 2017
3. Contraejemplo
- 2019
- 2018
- 2017
4. Deducción Natural
آخر تعديل: الأربعاء، 13 سبتمبر 2023، 11:36 AM