Proyecto final ----------30%
Examen------------------30%
Actividades-------------20%
Diciplina-----------------10%
Asistencia---------------10%
Encuesta-----------------10%
lunes, 21 de junio de 2010
viernes, 18 de junio de 2010
Ejercicios NOT
a)Júpiter es un planeta
Júpiter no es un planeta
b)El pizarrón es verde
El pizarrón no es verde
c)Algún elefante es de color rosa
Ningún elefante es de color rosa
d)Ningún pez respira fuera del agua
Algún pez respira fuera del agua
e)Todos los leones son feroces
Algún león no es feroz
Júpiter no es un planeta
b)El pizarrón es verde
El pizarrón no es verde
c)Algún elefante es de color rosa
Ningún elefante es de color rosa
d)Ningún pez respira fuera del agua
Algún pez respira fuera del agua
e)Todos los leones son feroces
Algún león no es feroz
Conexiones Logicas Binarias
conjuncion
dos preposiciones que se elevan como p y q
p^q and
*disjuncion
con que alguna preposicion se cumpla se cumple la combinacion
pvq or
*condicional
si p entoncces q
p->q if
*bicondicional
p si solo q
p<->q if the
*negacion
lo niega todo
dos preposiciones que se elevan como p y q
p^q and
*disjuncion
con que alguna preposicion se cumpla se cumple la combinacion
pvq or
*condicional
si p entoncces q
p->q if
*bicondicional
p si solo q
p<->q if the
*negacion
lo niega todo
Filosofos Logicos
Ludwig Wittgenstein
fue un filósofo y lingüista austríaco, posteriormente nacionalizado británico. En vida publicó solamente un libro: el Tractatus logico-philosophicus, que influyó en gran medida a los positivistas lógicos del Círculo de Viena, movimiento del que nunca se consideró miembro. Tiempo después, el Tractatus fue severamente criticado por el propio Wittgenstein en Los cuadernos azul y marrón y en sus Investigaciones filosóficas, ambas obras póstumas. Fue discípulo de Bertrand Russell en el Trinity College de Cambridge, donde más tarde también él llegó a ser profesor. Murió cerca de Elizabeth Anscombe, quien se encargó de que recibiera los auxilios de la Iglesia.
Michael Dummett
Sir Michael Anthony Eardley Dummett F.B.A. (nacido en 1925) es un importante filósofo británico. Ha escrito acerca de la historia de la filosofía analítica y ha hecho importantes contribuciones a esta disciplina, particularmente a las áreas de la filosofía de las matemáticas, la filosofía de la lógica, la filosofía del lenguaje y la metafísica. También concibió el sistema Quota Borda de votación proporcional, basado en el método Borda, y ha escrito ensayos sobre el tarot. Otros de sus intereses han sido las leyes de inmigración y el uso de la gramática inglesa. En 1944 ingresó en la Iglesia Católica y hoy en día sigue practicando el catolicismo.
Augustus De Morgan.
Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones»; «la negación de la disyunción es equivalente a la conjunción de las negaciones».
Aristóteles
fue uno de los más influyentes filósofos de la antigüedad, de la historia de la filosofía occidental y considerado por muchos como el autor enciclopédico más portentoso en la historia de la humanidad.
Fue el padre de la lógica formal, economía, astronomía, precursor de la anatomía y la biología y un creador de la taxonomía (es considerado el padre de la zoología y la botánica). Está considerado Aristóteles (junto a Platón) como el determinante de gran parte del corpus de creencias del Pensamiento Occidental del hombre corriente (aquello que hoy denominamos "sentido común" del hombre occidental).
Es reconocido por desarrollar la primera formalización lógica; la formulación del principio de no contradicción; la noción de sustancia entendida como sujeto, y la de categoría entendida como predicado; y la analogía del ser, que son consideradas como la base sobre la que se construyó la filosofía tradicional de occidente.
Aristóteles demostró, o formalizó, y, sobre todo, popularizó (según la perspectiva de donde se le vea) una serie de ideas novedosas para la filosofía de su tiempo, hoy comunes para muchas personas.
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, donde ejerció como profesor entre 1929 y 1967.
Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada
fue un filósofo y lingüista austríaco, posteriormente nacionalizado británico. En vida publicó solamente un libro: el Tractatus logico-philosophicus, que influyó en gran medida a los positivistas lógicos del Círculo de Viena, movimiento del que nunca se consideró miembro. Tiempo después, el Tractatus fue severamente criticado por el propio Wittgenstein en Los cuadernos azul y marrón y en sus Investigaciones filosóficas, ambas obras póstumas. Fue discípulo de Bertrand Russell en el Trinity College de Cambridge, donde más tarde también él llegó a ser profesor. Murió cerca de Elizabeth Anscombe, quien se encargó de que recibiera los auxilios de la Iglesia.
Michael Dummett
Sir Michael Anthony Eardley Dummett F.B.A. (nacido en 1925) es un importante filósofo británico. Ha escrito acerca de la historia de la filosofía analítica y ha hecho importantes contribuciones a esta disciplina, particularmente a las áreas de la filosofía de las matemáticas, la filosofía de la lógica, la filosofía del lenguaje y la metafísica. También concibió el sistema Quota Borda de votación proporcional, basado en el método Borda, y ha escrito ensayos sobre el tarot. Otros de sus intereses han sido las leyes de inmigración y el uso de la gramática inglesa. En 1944 ingresó en la Iglesia Católica y hoy en día sigue practicando el catolicismo.
Augustus De Morgan.
Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones»; «la negación de la disyunción es equivalente a la conjunción de las negaciones».
Aristóteles
fue uno de los más influyentes filósofos de la antigüedad, de la historia de la filosofía occidental y considerado por muchos como el autor enciclopédico más portentoso en la historia de la humanidad.
Fue el padre de la lógica formal, economía, astronomía, precursor de la anatomía y la biología y un creador de la taxonomía (es considerado el padre de la zoología y la botánica). Está considerado Aristóteles (junto a Platón) como el determinante de gran parte del corpus de creencias del Pensamiento Occidental del hombre corriente (aquello que hoy denominamos "sentido común" del hombre occidental).
Es reconocido por desarrollar la primera formalización lógica; la formulación del principio de no contradicción; la noción de sustancia entendida como sujeto, y la de categoría entendida como predicado; y la analogía del ser, que son consideradas como la base sobre la que se construyó la filosofía tradicional de occidente.
Aristóteles demostró, o formalizó, y, sobre todo, popularizó (según la perspectiva de donde se le vea) una serie de ideas novedosas para la filosofía de su tiempo, hoy comunes para muchas personas.
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, donde ejerció como profesor entre 1929 y 1967.
Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada
Conceptos
Código fuente
El código fuente de un programa informático (o software) es un conjunto de líneas de texto que son las instrucciones que debe seguir la computadora para ejecutar dicho programa. Por tanto, en el código fuente de un programa está descrito por completo su funcionamiento.
El código fuente de un programa está escrito por un programador en algún lenguaje de programación, pero en este primer estado no es directamente ejecutable por la computadora, sino que debe ser traducido a otro lenguaje (el lenguaje máquina o código objeto)
Lógica
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".
Se podría definir a un sistema logico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.
Ensamblador de alto nivel
Los ensambladores de alto nivel, en inglés High Level Assembler (HLA), son traductores de lenguaje ensamblador que incorporan, en un ensamblador, características encontradas en los modernos lenguajes de programación de alto nivel.
Algunos ensambladores de alto nivel son el TASM de Borland, MASM de Microsoft, y el HLA de Randall Hyde.
Constante (informática)
Para otros usos de este término, véase constante.
En programación, una constante es un valor que no puede ser alterado durante la ejecución de un programa.
Una constante corresponde a una longitud fija de un área reservada en la memoria principal del ordenador, donde el programa almacena valores fijos.
Por ejemplo:
• El valor de pi = 3.1416
Por conveniencia, el nombre de las constantes suele escribirse en mayúsculas en la mayoría de lenguajes.
Variable
Una variable es un símbolo que representa un elemento no especificado de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o dominio de la variable, y cada elemento del conjunto es un valor de la variable. Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13};
Una variable es un elemento de una fórmula, proposición o algoritmo que puede adquirir o ser sustituido por un valor cualquiera (siempre dentro de su universo).
Lenguaje de bajo nivel
Un lenguaje de programación de bajo nivel es el que proporciona poca o ninguna abstracción del microprocesador de un ordenador. Consecuentemente es fácilmente trasladado a lenguaje de máquina.
La palabra "bajo" no implica que el lenguaje sea inferior a un lenguaje de alto nivel; se refiere a la reducida abstracción entre el lenguaje y el hardware.
Razonamiento
En sentido amplio, se entiende por razonamiento la facultad humana que permite resolver problemas.
En un sentido más restringido, se llama razonamiento al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aún así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento.
El razonamiento en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento. El estudio de los argumentos corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento.
Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
Programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
Álgebra de Boole
Álgebra de Boole (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que rigorizan las operaciones lógicas Y, O y NO, así como el conjunto de operaciones unión, intersección y complemento.
El Álgebra de Boole es una estructura algebraica que puede ser considerada desde distintos puntos de vista matemáticos
Lógica formal
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Lógica preposicional
En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.1 Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.
Sintaxis
La sintaxis es la parte de la gramática que estudia las reglas que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y oraciones gramaticales. La sintaxis, por tanto, estudia las formas en que se combinan las palabras, así como las relaciones sintagmáticas y paradigmáticas existentes entre ellas.
Semántica
El término semántica se refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, expresión o representación formal. En principio cualquier medio de expresión (lenguaje formal o natural) admite una correspondencia entre expresiones de símbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.
El código fuente de un programa informático (o software) es un conjunto de líneas de texto que son las instrucciones que debe seguir la computadora para ejecutar dicho programa. Por tanto, en el código fuente de un programa está descrito por completo su funcionamiento.
El código fuente de un programa está escrito por un programador en algún lenguaje de programación, pero en este primer estado no es directamente ejecutable por la computadora, sino que debe ser traducido a otro lenguaje (el lenguaje máquina o código objeto)
Lógica
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".
Se podría definir a un sistema logico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.
Ensamblador de alto nivel
Los ensambladores de alto nivel, en inglés High Level Assembler (HLA), son traductores de lenguaje ensamblador que incorporan, en un ensamblador, características encontradas en los modernos lenguajes de programación de alto nivel.
Algunos ensambladores de alto nivel son el TASM de Borland, MASM de Microsoft, y el HLA de Randall Hyde.
Constante (informática)
Para otros usos de este término, véase constante.
En programación, una constante es un valor que no puede ser alterado durante la ejecución de un programa.
Una constante corresponde a una longitud fija de un área reservada en la memoria principal del ordenador, donde el programa almacena valores fijos.
Por ejemplo:
• El valor de pi = 3.1416
Por conveniencia, el nombre de las constantes suele escribirse en mayúsculas en la mayoría de lenguajes.
Variable
Una variable es un símbolo que representa un elemento no especificado de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o dominio de la variable, y cada elemento del conjunto es un valor de la variable. Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13};
Una variable es un elemento de una fórmula, proposición o algoritmo que puede adquirir o ser sustituido por un valor cualquiera (siempre dentro de su universo).
Lenguaje de bajo nivel
Un lenguaje de programación de bajo nivel es el que proporciona poca o ninguna abstracción del microprocesador de un ordenador. Consecuentemente es fácilmente trasladado a lenguaje de máquina.
La palabra "bajo" no implica que el lenguaje sea inferior a un lenguaje de alto nivel; se refiere a la reducida abstracción entre el lenguaje y el hardware.
Razonamiento
En sentido amplio, se entiende por razonamiento la facultad humana que permite resolver problemas.
En un sentido más restringido, se llama razonamiento al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aún así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento.
El razonamiento en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento. El estudio de los argumentos corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento.
Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
Programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
Álgebra de Boole
Álgebra de Boole (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que rigorizan las operaciones lógicas Y, O y NO, así como el conjunto de operaciones unión, intersección y complemento.
El Álgebra de Boole es una estructura algebraica que puede ser considerada desde distintos puntos de vista matemáticos
Lógica formal
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Lógica preposicional
En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.1 Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.
Sintaxis
La sintaxis es la parte de la gramática que estudia las reglas que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y oraciones gramaticales. La sintaxis, por tanto, estudia las formas en que se combinan las palabras, así como las relaciones sintagmáticas y paradigmáticas existentes entre ellas.
Semántica
El término semántica se refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, expresión o representación formal. En principio cualquier medio de expresión (lenguaje formal o natural) admite una correspondencia entre expresiones de símbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.
Preposiciones Del Lenguaje
Ejemplos:
A) 3>5= lógica
B) X+2-1= indeterminada
C) Buenos días=indeterminada
D) Los elefantes vuelan
E) Esto es una mentira= indeterminada
F) El 8 de mayo de 1910 fue lunes=lógica
Hoy hace calor= indeterminada
Suscribirse a:
Entradas (Atom)