Lógica Simbólica para Informáticos.

Lógica Simbólica para Informáticos.

Pascual Julián Iranzo / Dec 11, 2019

L gica Simb lica para Inform ticos La l gica es particularmente importante para la inform tica porque constituye la base matem tica del software As pues este libro aspira a desarrollar s lidas bases formales que permitan al alumno ent

  • Title: Lógica Simbólica para Informáticos.
  • Author: Pascual Julián Iranzo
  • ISBN: 8478976191
  • Page: 311
  • Format:
  • La l gica es particularmente importante para la inform tica porque constituye la base matem tica del software As pues, este libro aspira a desarrollar s lidas bases formales que permitan al alumno entender las relaciones existentes entre la l gica y la inform tica, y c mo los c lculos deductivos pueden constituir un soporte para el c mputo.Este libro se centra, principalmente, en el estudio de las caracter sticas y propiedades fundamentales de los sistemas l gicos tradicionales la l gica de proposiciones y la de predicados Sin desde ar el rigor matem tico se ha dado gran importancia a las t cnicas de formalizaci n, y m s generalmente a las t cnicas de representaci n del conocimiento mediante la l gica, as como a los procesos deductivos Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapi en los contenidos matem ticos y la metateor a, o bien se aborda el estudio de la l gica de forma meramente descriptiva y centr ndose en los problemas de deducci n formal en la propia l gica.Tambi n se dedica atenci n a las l gicas no cl sicas, por su gran influencia en la ciencia y tecnolog a actuales por ejemplo, la l gica modal o las l gicas multivalentes.Caracter sticas destacadas Equilibrio entre los contenidos formales y los pr cticos Presentaci n gradual de los conceptos nfasis en los conceptos recurrentes M s de 85 ejemplos y 120 cuestiones y problemas propuestos.Espec ficamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenier as T cnicas como de la Ingenier a Superior en Inform tica Ahora bien, aunque la selecci n de los temas se ha hecho pensando en las necesidades de stos, tambi n puede ser til a alumnos de matem ticas u otras ingenier as.

    • Best Read [Pascual Julián Iranzo] ↠ Lógica Simbólica para Informáticos. || [Suspense Book] PDF ß
      311 Pascual Julián Iranzo
    • thumbnail Title: Best Read [Pascual Julián Iranzo] ↠ Lógica Simbólica para Informáticos. || [Suspense Book] PDF ß
      Posted by:Pascual Julián Iranzo
      Published :2018-012-17T23:02:09+00:00

    About "Pascual Julián Iranzo"

      • Pascual Julián Iranzo

        Pascual Julián Iranzo Is a well-known author, some of his books are a fascination for readers like in the Lógica Simbólica para Informáticos. book, this is one of the most wanted Pascual Julián Iranzo author readers around the world.


    710 Comments

    1. El año pasado di esta asignatura en la carrera y, aunque en verdad sirve de apoyo para aprobar dicha asignatura, creo que hay libros en los que ciertos conceptos son mejor explicados. En cuanto al estado del embalaje y del libro al llegar perfecto.


    Leave a Reply