Apuntes de "Lógica Formal"

Discusión cerrada
  1. #1
    Cada hombre es lo ... Avatar de CyberpuNx
    Registración
    Jul 2006
    Mensajes
    32
    Ubicación
    Bariloche, Río Negro, Argentina

    Apuntes de "Lógica Formal"

    Saludos gente,

    Quería saber si alguno tiene o sabe de dónde sacar libros/apuntes sobre algunos temas relacionados con Lógica.
    Lo único malo es que son temas muy específicos de la materia que estoy cursando, y dependen mucho del autor, pero bueno.. estos son algunos de los temas a tratar:

    • Lógica de Enunciados o Lógica Proposicional
    • Lógica de Predicados o Lógica de Primer Orden
    • Valuaciones
    • Algebra de Boole


    Sé que hay un libro llamado Principia Mathematica que trata alguno de estos temas, pero no lo pude conseguir u.u


    ¿Alguien tiene alguna idea de esto? Porque no es algo tan común que la gente sepa como para decir "voy a un profe particular" como en el caso de la Física o la Matemática.

    En fin, desde ya gracias y saludos!
    • Me gusta
    Me gusta
    [ Intel i5 2500k | Gigabyte GA-Z68MA-D2H-B3 | Gigabyte GTX 560 | Patriot G2 intel 8GB 1600 MHZ 2X4 ]

    PJ GZ: Herim Abyss Walker [rolero] Cuervos de Dharile / Elmore Guardians
     

  2. Compartí este Tema:
    • Vistas: 688
    • Mensajes: 4
    Seguí este Tema: Suscribite
  3. #2
    Avatar de juanete1986
    Registración
    May 2010
    Mensajes
    757

    Re: Apuntes de "Lógica Formal"

    Estructuras de matematica discreta - Kolman
    Matematica Discreta - Grimoldi (didactico)
    Matematica Discreta - Grosman
    Matematica discreta - Peralta - editorial Ceit (tiene teoremas, ejemplos)

    Si es para programacion Logica, viene perfecto,
    si solo para logica tmb, pero Peralta trae mil cosas mas,
    Algebra de Boole es un tema particular de un Tema Largo
    llamado Redes, Reticulos, una clase especial de conjuntos ordenados.
    • Me gusta
    Me gusta
    Head Flexpoint Radical OS / AluPower 52 lbs
     

  4. #3
    Cada hombre es lo ... Avatar de CyberpuNx
    Registración
    Jul 2006
    Mensajes
    32
    Ubicación
    Bariloche, Río Negro, Argentina

    Re: Apuntes de "Lógica Formal"

    Se agradece!!
    • Me gusta
    Me gusta
    [ Intel i5 2500k | Gigabyte GA-Z68MA-D2H-B3 | Gigabyte GTX 560 | Patriot G2 intel 8GB 1600 MHZ 2X4 ]

    PJ GZ: Herim Abyss Walker [rolero] Cuervos de Dharile / Elmore Guardians
     

  5. #4
    Avatar de El Froz
    Registración
    Jul 2005
    Mensajes
    11,069
    Ubicación
    Valencia, Spain

    Re: Apuntes de "Lógica Formal"

    Para lógica proposicional y lógica de primer orden yo usé el siguiente libro (no sé si lo podrás encontrar, dado que yo estoy en España y los autores son de acá, me parece): "Elementos de lógica formal" de Badesa, Jané, y Jansana.

    Para lo mismo -mi curso de lógica matemática iba de eso en concreto, y un par de cosas más-, también me recomendaron (aunque yo no los consulté, ya que el que dije es muy bueno):
    * "A Mathematical Introduction to Logic", de Enderton
    * "Logic and Structure", de Van Dalen
    • Me gusta
    Me gusta
    "Most people would rather die than think; in fact, they do so."
    - Bertrand Russell
     

  6. #5
    Avatar de CibGKs
    Registración
    Feb 2009
    Mensajes
    1,302

    Re: Apuntes de "Lógica Formal"

    Llegué super tarde pero uno muy bueno es "matemática discreta" de GRIMALDI
    • Me gusta
    Me gusta
    i5-4570, Asus h87-plus, AMD Sapphire 480 Nitro+, Seasonic 520w S12II, 2x4gb Kingston HyperX 1600mhz
     

  7. Compartí este Tema:
    • Vistas: 688
    • Mensajes: 4
    Seguí este Tema: Suscribite
Discusión cerrada