Name: Lógica formal y no formal
Price: 67.70 USD
Availability: OutOfStock
ISBN: 9788445438947

Homepage » Computación E Informática » Informática: Cuestiones Generales » Lógica formal y no formal

We will find it for you!
If you are looking for this book and not have stock, we will seek for you at no extra cost.
Just leave us your email, we will contact you as soon as we find it.

LOOK FOR ME!

Do not worry, we'll only contact you to let you know when we have the book. In any case your mail will be transferred to third parties or send you advertising or spam.

Books Frontpage Lógica formal y no formal

67,70 USD
* Free shipping to US.
Not available

-
Unit(s)

Features:

Pages: 240
Format: 24x17 cm
Edition Date: 2019
Edition: 26082019
Language: Castellano.
Binding: Libro - Tapa blanda / Bolsillo (papelería).
Weight: 0,60 kg.

Lógica formal y no formal
9788445438947
Author: Aurora Martínez Rey
Este libro tiene como objetivo introducir herramientas y conceptos básicos de la lógica, tanto formal como no formal y sus aplicaciones, para, así, ayudar al lector a aprender, razonar y formalizar correctamente. Está especialmente concebido para estudiantes del grado de Ingeniería Informática que estudian a distancia. El texto se compone de nueve capítulos. Cada uno contiene la teoría necesaria para la comprensión de la lógica en toda su extensión. Al final de cada capítulo se presentan una serie de ejercicios propuestos con la intención de tentar la curiosidad del lector e incentivarlo a practicar la teoría expuesta. Los primeros capítulos del manual desarrollan la lógica formal, estudiando tanto la sintáctica como la semántica de esta disciplina. En los capítulos finales se analiza la lógica no formal, dándole así un enfoque práctico a esta parte de la lógica tan subjetiva para muchos y proporcionando una visión completa de la aplicación de la lógica en la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en la ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.