Can I read Apuntes de Lógica Computacional UNED on EtoBox?

Apuntes de Lógica Computacional UNED by germeinstein is a document available to read on EtoBox.

What is Apuntes de Lógica Computacional UNED about?

Este documento presenta los apuntes de la asignatura Lógica Computacional impartida en la UNED. Consta de una introducción y dos partes principales. La Parte I trata la Lógica de Proposiciones, incluyendo su sintaxis, semántica y sistemas deductivos. La Parte II aborda la Lógica de Predicados de Primer Orden, con su sintaxis, semántica y el sistema deductivo de Deducción Natural. El documento proporciona los conceptos y herramientas fundamentales de la lógica formal para

Author

germeinstein

Language

ES