Lógica En este capítulo se presenta una introducción a la lógica proposicional y de predicados, d... more Lógica En este capítulo se presenta una introducción a la lógica proposicional y de predicados, deniendo con precisión lo que es un razonamiento válido y mostrando distintos métodos de demostración, entre ellos la inducción matemática. Se comentan algunas aplicaciones de los temas tratados a la informática. Como objetivos se espera que los alumnos sean capaces de realizar con soltura las siguientes actividades:
La lógica simbólica considera lenguajes cuyo propósito esencial es simbolizar el razonamiento, en... more La lógica simbólica considera lenguajes cuyo propósito esencial es simbolizar el razonamiento, encontrados no sólo en matemática sino también en la vida diaria.
Lógica En este capítulo se presenta una introducción a la lógica proposicional y de predicados, d... more Lógica En este capítulo se presenta una introducción a la lógica proposicional y de predicados, deniendo con precisión lo que es un razonamiento válido y mostrando distintos métodos de demostración, entre ellos la inducción matemática. Se comentan algunas aplicaciones de los temas tratados a la informática. Como objetivos se espera que los alumnos sean capaces de realizar con soltura las siguientes actividades:
La lógica simbólica considera lenguajes cuyo propósito esencial es simbolizar el razonamiento, en... more La lógica simbólica considera lenguajes cuyo propósito esencial es simbolizar el razonamiento, encontrados no sólo en matemática sino también en la vida diaria.
Uploads
Papers by JB 017