View in EDS PDF Full Text

Lógica matemática

Saved in:
Bibliographic Details
Title: Lógica matemática
Description: Este libro abarca todos los temas que son objeto de estudio en el programa de lógica matemática para estudiantes de diversas carreras, especialmente estudiantes de ingeniería, que ofrece el Departamento de Matemáticas de la Universidad Central. Así, en sus nueve capítulos, se aborda la teoría de conjuntos, el razonamiento lógico, la sintaxis de fórmulas, la semántica de proposiciones, la inferencia lógica, la lógica de primer orden, los silogismos categóricos, los métodos de demostración y las álgebras de Boole. En cada capítulo se ofrece al estudiante una explicación con ejemplos, seguida de una serie de problemas prácticos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos.
Authors: Mora Espinosa, Carlos Fernando, Nieto Sánchez, Julio César
Resource Type: eBook.
Subjects: Set theory, Logic, Symbolic and mathematical, First-order logic, Syllogism, Algebra, Boolean
Categories: MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 2319817
RelevancyScore: 1090
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1090.09973144531
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$2319817$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$2319817$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Lógica matemática
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Este libro abarca todos los temas que son objeto de estudio en el programa de lógica matemática para estudiantes de diversas carreras, especialmente estudiantes de ingeniería, que ofrece el Departamento de Matemáticas de la Universidad Central. Así, en sus nueve capítulos, se aborda la teoría de conjuntos, el razonamiento lógico, la sintaxis de fórmulas, la semántica de proposiciones, la inferencia lógica, la lógica de primer orden, los silogismos categóricos, los métodos de demostración y las álgebras de Boole. En cada capítulo se ofrece al estudiante una explicación con ejemplos, seguida de una serie de problemas prácticos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Mora+Espinosa%2C+Carlos+Fernando%22">Mora Espinosa, Carlos Fernando</searchLink><br /><searchLink fieldCode="AR" term="%22Nieto+Sánchez%2C+Julio+César%22">Nieto Sánchez, Julio César</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Set+theory%22">Set theory</searchLink><br /><searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical%22">Logic, Symbolic and mathematical</searchLink><br /><searchLink fieldCode="DE" term="%22First-order+logic%22">First-order logic</searchLink><br /><searchLink fieldCode="DE" term="%22Syllogism%22">Syllogism</searchLink><br /><searchLink fieldCode="DE" term="%22Algebra%2C+Boolean%22">Algebra, Boolean</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=2319817
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: spa
        Text: Spanish
    Subjects:
      – SubjectFull: Set theory
        Type: general
      – SubjectFull: Logic, Symbolic and mathematical
        Type: general
      – SubjectFull: First-order logic
        Type: general
      – SubjectFull: Syllogism
        Type: general
      – SubjectFull: Algebra, Boolean
        Type: general
    Titles:
      – TitleFull: Lógica matemática
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Mora Espinosa, Carlos Fernando
      – PersonEntity:
          Name:
            NameFull: Nieto Sánchez, Julio César
      – PersonEntity:
          Name:
            NameFull: Mora Espinosa, Carlos Fernando
      – PersonEntity:
          Name:
            NameFull: Nieto Sánchez, Julio César
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2019
            – D: 01
              M: 03
              Type: profile
              Y: 2022
          Identifiers:
            – Type: isbn-print
              Value: 9789582604387
            – Type: isbn-electronic
              Value: 9789582604394
          Titles:
            – TitleFull: Lógica matemática
              Type: main
ResultId 1