UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS
|
|
- María Teresa Camacho Pinto
- hace 6 años
- Vistas:
Transcripción
1 UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS Josué Rendón Estrada Carnet: /03/ 2009
2 INTRODUCCIÓN La filosofía pura tiene mucho que ver con la informática. La informática está basada en un sistema binario, es decir dos valores. Todo está representado por ceros (0s) y unos (1s). Todas las funciones matemáticas, como sumar, restar, multiplicar y dividir están basadas en manipular los ceros y unos. Los chips contienen millones de estas funciones preestablecidas para generar otras mas complejas. Basándose en silogismos, se pueden manipular los ceros y unos. En un circuito, los unos representan presencia de voltaje, es decir un termino verdadero en un silogismo; y los ceros representan ausencia de voltaje, es decir un termino falso en un silogismo.
3 CONTENIDO Filosofía La filosofía nos ayuda a resolver problemas cotidianos, ya que esta es la ciencia que se encarga del estudio de ciertos problemas fundamentales relacionados con el origen de todo, la existencia, el conocimiento, la verdad, la belleza, la mente y el lenguaje. Se le considera la madre de las ciencias porque se dice que de esta nacieron las demás ciencias existentes en la actualidad. Esta ciencia hace énfasis en argumentos razónales. La palabra filosofía se deriva del griego philos (filo) que significa "amor" o "amante", y Sophia (sofia), que significa "sabiduría". Por lo tanto, filosofía significa "amor por la sabiduría". Walter Brugger define filosofía como aquel sabe de la razón humana que, penetrando hasta las últimas razones investiga la realidad total. Asimismo Fingermann la define como aquella disciplina que aspira llegar a la última unidad, a la esencia, a lo irreducible. Características de la Filosofía: Actividad Crítica: porque tiene tendencia a la reinterpretación, observación y análisis de las cosas Desmitificadora: se propone liberar al ser humano de prejuicios, mitos o conocimientos no válidos Forma de praxis: siempre se encamina a la solución de problemas reales. Disciplinas de la filosofía: Por los problemas que abarca la filosofía esta tiende a ser muy extensa, por lo que para su estudio se dividió en varias disciplinas, entre las cuales encontramos: Filosofía del Ser (ontología) Filosofía del Conocer (gnoseología) Filosofía del hacer Axiología Estética Ética Lógica Metafísica
4 Lógica La lógica es la disciplina encargada de estudiar las leyes y formas de pensamiento. Esta nos enseña a razonar correctamente y a buscar la verdad con orden, con facilidad y sin error. Esta se dedica a estudiar la estructura del pensamiento para describir las leyes o principios que lo rigen y hacen que este sea válido. Por lo tanto la lógica nos da los mecanismos y medios necesarios para poder estructurar un pensamiento correctamente y a partir de un conocimiento anterior poder formular nuevos conocimientos validos. Para esto necesitamos conocer como se estructuran estos razonamientos a partir de los cuales inferimos estos nuevos conocimientos. Esta estructura incluye: concepto, juicio. Lógica proposicional La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. Una proposición es una declaración la cual puede ser verdadera o falsa. Toda propuesta tiene dos y solo dos posibilidades, ser verdadera o ser falsa. Según el su valor las proposiciones pueden estar en tres estados: Tautología o validez: es una proposición que siempre es verdadera; contradicción: es una proposición que siempre es falsa; o contingencia: es una proposición que puede ser verdadera o falsa. Cualquier proposición cae en una de estos tres estados. Al unir dos proposiciones se puede obtener una tercera. Estas se pueden unir mediante conectores, los cuales son: Negación: Invierte el valor de verdad de una variable proposicional. Disyunción: La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas. Conjunción: La sentencia será verdadera sólo cuando ambas variables proposicionales sean verdaderas. Condicional: sentencia será falsa cuando se cumpla que es válido p, pero NO lo es q, en el resto de los casos la sentencia es verdadera. Bicondicional: La sentencia será verdadera cuando ambas variables proposicionales sean iguales: ambas falsas o ambas ciertas. Disyunción exclusiva: La sentencia será verdadera cuando ambas variables preposicionales sean diferentes la una de la otra; una cierta y otra falsa. Para representar las proposiciones se crearon las tablas de verdad, que es una tabla en la que se presentan todas las posibles interpretaciones de las variables
5 proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretación. Negación Conjunción Bicondicional Disyunción Disyunción exclusiva Condicional
6 Circuitos Lógicos Un Circuito lógico es aquel que maneja la información en forma de 1 y 0, dos niveles lógicos de voltaje fijos. 1 nivel alto o high y 0 nivel bajo o low. Es decir, ausencia o presencia de voltaje. Los circuitos lógicos están compuestos por elementos digitales como la compuerta AND (Y), compuerta OR (O), compuerta NOT (NO) y combinaciones poco o muy complejas de los circuitos antes mencionados. Estas combinaciones dan lugar a otros tipos de elementos digitales como los compuertas, entre otros. compuerta NAND (No Y) compuerta NOR (No O) compuerta OR exclusiva (O exclusiva) En un circuito lógico digital se transmite información binaria (ceros y unos) entre estos circuitos y se consigue un circuito complejo con la combinación de bloques de circuitos simples. La información binaria se representa en la forma de: "0" ó "1", "abierto" ó "cerrado" (interruptor), "On" y "Off", "falso" o "verdadero", etc. Los posibles estados del interruptor o interruptores que afectan un circuito se pueden representar en una tabla de verdad: La Negación sería la compuerta NOT La Disyunción sería la compuerta OR La Conjunción sería la compuerta AND
7 El funcionamiento de los circuitos lógicos es idéntico a trabajar con proposiciones. Si hay dos entradas de voltajes a una compuerta AND, la salida será voltaje. En cualquier otro caso será ausencia de voltajes. La programación consiste en crear funciones matemáticas aparir de proposiciones para integrarlos en circuitos. Todo lo que una computadora hace se resume en millones de operaciones lógicas, siguiendo el modelo de las tablas de verdad.
8 CONCLUSIÓN Nuevamente nos damos cuenta de la importancia de la filosofía en cualquier disciplina o ciencia. Es la base de la informática y programación. En las universidades debería ahondar el estudio de la filosofía, y los estudiantes de ciencias de la computación debería recibir cursos de Lógica formal. En los años 50, cuando intentaban crear las bases de la informática probaron con sistemas decimales y hexadecimales, pero se llegó a la conclusión que el sistema decimal era el mas efectivo. Se redujo el costo y espacio de utilizar circuitos al implementar lógica matemática en su construcción. La implementación de lógica en los circuitos electrónicos es fundamental
9 BIBLIOGRAFÍA Velazquez Rodríguez, C. A. (2006). 20 lecciones de filosofía (Quinta edición, Págs , , ). Guatemala: ECO Ediciones. López, Marienls (24 de junio de 2006). Encontrado en José Ortega y Gasset: Qué es la filosofía?; Ed. Alianza, Madrid. Capitulo 11. PATT, Yake N. y PATEL, Sanjay J. Introducción a los sistemas de cómputo: de los bits y compuertas al C y más allá. Segunda Edición McGraw Hill.
Capítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico 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 aun
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesFacultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)
1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesOrganización de Computadoras
Organización de Computadoras SEMANA 1 UNIVERSIDAD NACIONAL DE QUILMES Qué vimos? Sistema Binario Interpretación Representación Aritmética Sistema Hexadecimal Hoy! Lógica proposicional Compuertas lógicas:
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detalles13/04/2013 LOGICA MATEMÁTICA
ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
Más detalles- AnallogicA - Software para crear tablas de verdad
- AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesSESIÓN 2 COMPUTACIÓN Y MATEMÁTICAS.
SESIÓN 2 COMPUTCIÓN Y MTEMÁTICS. I. CONTENIDOS: 1. Lógica proposicional. 2. Las tablas de verdad. 3. Los sistemas numéricos y el álgebra booleana. 4. Compuertas lógicas digitales. 5. Circuitos integrados.
Más detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detallesI Al finalizar el curso el estudiante será capaz de:
A) Nombre del Curso ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso Objetivos
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesCAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.
CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
Más detallesUNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS FACULTAD DE INGENIERIA SYLLABUS PROYECTO CURRICULAR: NOMBRE DEL DOCENTE: ESPACIO ACADÉMICO (Asignatura): LÓGICA Obligatorio ( X ) : Básico ( X ) Complementario
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesLógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional
Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detallesFACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO
FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO Nombre de la materia: ÁLGEBRA A Clave Facultad:... 0041 Clave CACEI: CB Clave U.A.S.L.P.:... 00023 No. de créditos: 8 Nivel del Plan de Estudios:...
Más detallesGuía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Más detallesLa Lógica Proposicional
La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
Más detallesLógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas
1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones
Más detallesHoras Trabajo Estudiante: 128
PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas
Más detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
Más detallesDefinición y representación de los
Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje
Más detallesFormatos para prácticas de laboratorio
CARRERA PLAN DE ESTUDIO CLAVE DE UNIDAD DE APRENDIZAJE NOMBRE DE LA UNIDAD DE APRENDIZAJE Ing. Electrónica 2009-2 11680 Diseño Digital PRÁCTICA No. 2 LABORATORIO DE NOMBRE DE LA PRÁCTICA Diseño Digital
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA
UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA JORNALIZACIÓN DIARIA DE LA ASIGNATURA DE FILOSOFIA GENERAL DEL II PERIODO DEL
Más detallesLÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3
LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3 LÓGICA Los seres humanos constantemente realizamos deducciones. Esto quiere decir que obtenemos
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesLógica proposicional
Lógica proposicional La palabra lógica viene del griego y significa, razón, tratado o ciencia. En matemáticas es la ciencia que estudia los métodos de razonamiento proporciona reglas y técnicas para determinar
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA
UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA JORNALIZACIÓN DIARIA DE LA ASIGNATURA DE FILOSOFIA GENERAL DEL I PERIODO DEL
Más detalles2. RESOLUCIÓN DE PROBLEMAS Definición del modelo computacional (Parte I)
2. RESOLUCIÓN DE PROBLEMAS 2.3. Definición del modelo computacional (Parte I) QUE ES UN MODELO COMPUTACIONAL? Es un modelo matemático en las ciencias de la computación que requiere extensos recursos computacionales
Más detallesExisten diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas:
Compuertas lógicas Las compuertas lógicas son dispositivos electrónicos utilizados para realizar lógica de conmutación. Son el equivalente a interruptores eléctricos o electromagnéticos. para utilizar
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesEVOLUCIÓN HISTÓRICA DE LA LÓGICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel EVOLUCIÓN HISTÓRICA DE LA LÓGICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público Antes de empezar
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesFacultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL
PROGRAMA ANALITICO DE LA ASIGNATURA ALGEBRA I (MAT-100) DATOS GENERALES ASIGNATURA:. SIGLA Y CODIGO:... CURSO:.. PREREQUISITOS: HORAS SEMANAS:... CREDITOS: PROFESOR: ÁLGEBRA I MAT-100 Primer Semestre Ninguno
Más detallesOrganización del Computador 1 Lógica Digital 1: álgebra de Boole y
Introducción Circuitos Bloques Organización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas Departamento de Computación Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires
Más detallesUNIVERSIDAD AUTÓNOMA DE CHIAPAS Facultad de Contaduría y Administración, Campus I
Programa descriptivo por unidad de competencia Programa educativo Licenciatura en Ingeniería en Desarrollo y Tecnologías de Software Modalidad Presencial Clave MA02 H S M Horas Unidad de Teoría Práctica
Más detallesTabla 5.2 Compuertas básicas A B A B A B
Compuertas lógicas Un bloque lógico es una representación simbólica gráfica de una o más variables de entrada a un operador lógico, para obtener una señal determinada o resultado. Los símbolos varían de
Más detallesIDEA DE LA FILOSOFÍA Y SUS PROBLEMAS
1 IDEA DE LA FILOSOFÍA Y SUS PROBLEMAS Concepto, problemas y disciplinas de la filosofía 2 1. IDEA DE LA FILOSOFÍA 1.1. Significado etimológico de filosofía 1.2. Concepto de filosofía: una posible definición
Más detallesEl número decimal 57, en formato binario es igual a:
CURSO: ELECTRÓNICA DIGITAL UNIDAD 1: COMPUERTAS LÓGICAS - TEORÍA PROFESOR: JORGE ANTONIO POLANÍA 1. NÚMEROS BINARIOS EJEMPLO En el cuadro anterior, está la representación de los números binarios en formato
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesUNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:
Más detallesElectrónica Digital: Sistemas Numéricos y Algebra de Boole
Electrónica Digital: Sistemas Numéricos y Algebra de Boole Profesor: Ing. Andrés Felipe Suárez Sánchez Grupo de Investigación en Percepción y Sistemas Inteligentes. Email: andres.suarez@correounivalle.edu.co
Más detallesCURSO: ELECTRÓNICA DIGITAL UNIDAD 1: COMPUERTAS LÓGICAS - TEORÍA PROFESOR: JORGE ANTONIO POLANÍA
CURSO: ELECTRÓNICA DIGITAL UNIDAD 1: COMPUERTAS LÓGICAS - TEORÍA PROFESOR: JORGE ANTONIO POLANÍA Las compuertas lógicas son bloques que realizan las operaciones básicas de la aritmética binaria del álgebra
Más detallesLÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares
LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesLógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
Más detallesUNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS
UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detallesOctubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA
Octubre de 2016 Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA PROPOSICIONES Es un enunciado al cual se le puede asignar un valor de verdad que puede ser
Más detallesSISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos
TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesUNIVERSIDAD TECNOLÓGICA DE BAHÍA DE BANDERAS PORTAFOLIO DE ACTIVIDADES DE APRENDIZAJE
UNIVERSIDAD TECNOLÓGICA DE BAHÍA DE BANDERAS PORTAFOLIO DE ACTIVIDADES DE APRENDIZAJE PROGRAMA EDUCATIVO ASIGNATURA DESARROLLO DE HABILIDADES DE PENSAMIENTO LÓGICO ACADEMIA MATEMÁTICAS FECHA DE ELABORACIÓN
Más detallesObjetivos. Contribución al Perfil de Egreso. Competencias a Desarrollar. Temario. Métodos Prácticas. Mecanismos y procedimientos de evaluación ÁLGEBRA
ÁLGEBRA Programa sintético ÁLGEBRA Datos básicos Semestre Horas de teoría Horas de práctica Objetivos Contribución al Perfil de Egreso a Desarrollar Temario Métodos y prácticas Mecanismos y procedimientos
Más detallesDEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA
UNIVERSIDAD NACIONAL DEL TACHIRA DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA : Matemáticas Discreta PROPOSICIONES DEFINICIÓN: DEFINICIÓN DE PROPOSICIÓN: Una proposición es un juicio declarativo del
Más detallesLógica. P r o g r a m a C u r s o : 2 do a ñ o. H o r a s r e l o j : 4 h o r a s s e m a n a l e s
Lógica P r o g r a m a 2 0 1 7 C a r r e r a : L i c e n c i a t u r a e n F i l o s o f í a C u r s o : 2 do a ñ o R é g i m e n : C u a t r i m e s t r a l H o r a s r e l o j : 4 h o r a s s e m a n
Más detallesTeoría 2. La lógica es el arte de equivocarse con confianza. (J. W. Krutch) Lógica Proposicional
Teoría 2 Lógica Proposicional La lógica es el arte de equivocarse con confianza (J. W. Krutch) 1 Lógica Proposicional Introducción La mayoría de las ideas fundamentales de la ciencia son esencialmente
Más detallesOrganización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas
Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detallesPROGRAMA ANALÍTICO ALGEBRA I (MAT 100)
1. IDENTIFICACION PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) Asignatura ALGEBRA I Código de asignatura(sigla) MAT 100 Semestre I Prerrequisitos NINGUNO Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6 Créditos (CR)
Más detallesOctubre de Circuitos Logicos MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA
Octubre de 2016 Circuitos Logicos MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA CIRCUITOS LOGICOS 1) FUNCIONES DEL ÁLGEBRA BOOLEANA BINARIA Sea B = {0, 1} sea B n =
Más detallesOrganización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas
Organización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas Dr. Marcelo Risk Departamento de Computación Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires 2017 Lógica
Más detallesPUERTAS LOGICAS. Una tensión alta significa un 1 binario y una tensión baja significa un 0 binario.
PUERTAS LOGICAS Son bloques de construcción básica de los sistemas digitales; operan con números binarios, por lo que se denominan puertas lógicas binarias. En los circuitos digitales todos los voltajes,
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesContenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción
CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos
Más detallesMATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO
Más detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
Más detallesUNIVERSIDAD LIBRE PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS. PROGRAMA ACADÉMICO: Ingeniería de Sistemas
PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS PROGRAMA ACADÉMICO: Ingeniería de Sistemas JORNADA: DIURNA 1.- INFORMACION DEL DOCENTE E-mail institucional: E-mail personal: 2.- ESTUDIOS
Más detallesUNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
Más detallesINSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA
INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA PRÁCTICAS DE CIRCUITOS LÓGICOS LABORATORIO DE COMPUTACIÓN IV PRÁCTICA 1 NOMBRE
Más detallesPLAN ANUAL DE LÓGICA DUODÉCIMO GRADO
PLAN ANUAL DE LÓGICA DUODÉCIMO GRADO Área 1: Lógica formal y Argumentación Objetivos de aprendizaje: 1. Argumenta de manera ordenada, aplicando las reglas o principios del razonamiento. 2. Sigue instrucciones
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesAPUNTES DE CATEDRA: SISTEMAS DE NUMERACION - REPRESENTACION INTERNA DE NUMEROS Y CARACTERES
Cátedra de COMPUTACION Carreras: Licenciatura en Matemática Profesorado en Matemática Profesora: Mgr. María del Carmen Varaldo APUNTES DE CATEDRA: SISTEMAS DE NUMERACION - REPRESENTACION INTERNA DE NUMEROS
Más detallesContenido. Capítulo I Sistemas numéricos 2. Capítulo II Métodos de conteo 40
CONTENIDO v Contenido Contenido de la página Web de apoyo... xi Página Web de apoyo... xvii Prefacio... xix Capítulo I Sistemas numéricos 2 1.1 Introducción... 4 1.2 Sistema decimal... 5 1.3 Sistemas binario,
Más detallesOrganización de computadoras. Clase 1. Universidad Nacional de Quilmes. Lic. Martínez Federico
Organización de computadoras Clase 1 Universidad Nacional de Quilmes Lic. Martínez Federico Qué pasó? Qué pasó? Binario Qué pasó? Binario Interpretación Qué pasó? Binario Interpretación Representación
Más detallesINTRODUCCIÓN A LA LÓGICA DIGITAL
INTRODUCCIÓN A LA LÓGICA DIGITAL DEFINICIÓN LÓGICA = (griego ligiken) Disposición de ideas o cosas de forma que entre ellas no haya contradicciones. Razón, sentido común. Parte de la filosofía que tiene
Más detallesEn lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en:
Nombre de la asignatura: Matemáticas Discretas Créditos: 3 2-5 Aportación al perfil En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en: El análisis
Más detallesS i s t e m a s A n a l ó g i c o s y D i g i t a l e s
Sistemas de Numeración Apunte N 1 S i s t e m a s A n a l ó g i c o s y D i g i t a l e s Los circuitos electrónicos se dividen, según la naturaleza de los valores que toman las señales o magnitudes que
Más detallesOperadores. Javier Fernández Rivera -
Programación en C Operadores Javier Fernández Rivera - www.aurea.es Los operadores Son los elementos o caracteres gráficos encargados de manipular los datos, que pueden ser dados por números, caracteres,
Más detallesUNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO
UNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO MATERIA UBICACIÓN EN EL PLAN DE ESTUDIO LÓGICA MATEMÁTICA PRIMER SEMESTRE OBJETIVO GENERAL Dotar al estudiante de
Más detallesGUIA 4: ALGEBRA DE BOOLE
GUIA 4: ALGEBRA DE BOOLE En 1854 George Boole introdujo una notación simbólica para el tratamiento de variables cuyo valor podría ser verdadero o falso (variables binarias) Así el álgebra de Boole nos
Más detallesCarrera: SCB Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Ingeniería en Sistemas Computacionales SCB - 0422
Más detallesU n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í F a c u l t a d d e I n g e n i e r í a Programa analítico
A) NOMBRE DEL CURSO ÁLGEBRA A B) DATOS BÁSICOS DEL CURSO U n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í Tipo de propuesta curricular: Nueva creación Reestructuración Ajuste Tipo de
Más detallesLógica proposicional Objetivo específico: Aplicaciones:
Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son
Más detalles