UNIDAD I: LÓGICA PROPOSICIONAL

Tamaño: px
Comenzar la demostración a partir de la página:

Download "UNIDAD I: LÓGICA PROPOSICIONAL"

Transcripción

1 UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA Y NATURALES UNSL 1

2 El uso de la Lógica es esencial en cualquier disciplina que sea una ciencia formal. En las Ciencias de la Computación, por ejemplo, la Lógica es directamente aplicable al diseño y especificación de algoritmos, al diseño de circuitos lógicos, en el enfoque para resolver cierto tipo de problemas conocido como programación lógica y en inteligencia artificial, entre otras áreas de aplicación. En este curso se brindan los conceptos básicos, en primer lugar de la Lógica Proposicional y posteriormente de la Lógica de Predicados. El lenguaje de las proposiciones El lenguaje que habitualmente usamos está conformado por frases, expresiones o enunciados. Si se desea deducir información a partir de una frase es necesario poder evaluarla para decidir si es cierta o no. No obstante, no toda frase puede ser evaluada. Por ejemplo: Frases evaluables La casa está pintada de blanco Julia se compró un auto nuevo Liliana es una adolescente Qué calor! Frases no evaluables Cuánto tardará? Entrégame el examen Generalizando, se dice que toda frase que tiene una función de tipo informativa es una frase que se puede evaluar, quedando entonces fuera todas aquellas frases que cumplen una función de transmitir una orden y las que se utilizan con una función expresiva. Desde el punto de vista gramatical, una proposición es lo que se denomina una oración declarativa (en contraste con las oraciones interrogativas, exclamativas o imperativas). En la Lógica para poder construir enunciados acerca del mundo se debe disponer de un lenguaje. Este lenguaje será un lenguaje formal, acotado y más limitado que el lenguaje natural, mediante el cual se podrán escribir enunciados llamados proposiciones (simples y compuestas) con los que se denotarán hechos acerca del mundo. La Lógica Proposicional es la que trata las proposiciones, es decir, entidades gramaticales con estructura de oraciones declarativas (compuesta de sujeto y predicado) que se unen a otras para construir oraciones complejas. El alfabeto de las proposiciones El lenguaje de la Lógica Proposicional, también llamada Cálculo Proposicional o Cálculo de Predicados de Orden 0 (Orden cero), consta de un alfabeto para construir enunciados acerca del mundo. Este alfabeto está compuesto por: 1. El conjunto infinito numerable 1 de cadenas de caracteres que comienzan con letra mayúscula, llamadas variables de enunciado o variables proposicionales, que permiten representar cualquier enunciado. Por ejemplo: Objeto_sujeto, Juan_es_joven, etc. Usualmente para simplificar su representación se recurre a las letras del alfabeto castellano en mayúsculas: A, B,, Z. 2. Los símbolos de conectivas (o), (y), (implicación), (doble implicación) y (no), llamadas disyunción, conjunción, implicación, doble implicación y negación, respectivamente. También conocidas como operaciones lógicas. 3. Los paréntesis. 1 Se dice que un conjunto es infinito numerable si existe una correspondencia uno a uno entre los elementos del conjunto y los elementos de. 2

3 La sintaxis de las proposiciones Definido el alfabeto del lenguaje, es necesario contar con reglas gramaticales que nos permitan construir proposiciones o fórmulas bien formadas (fbfs). - Todo átomo es una fbf denominada fbf atómica. Ejemplos: S, T, Esteban_es_socio_de_Antonio, Juan_es_amigo_de, etc. α β α β α β α β α - Si α y β son fbfs, también lo son las fórmulas compuestas: Ejemplos: Ascensor_sube Ascensor_baja Es_verano Hace_calor Hay_humedad Alfredo_es_hombre Alfredo_es_ave Puerta_abierta Puerta_cerrada Coche_amarillo Las fbfs compuestas del ejemplo anterior pueden expresarse en forma simplificada usando variables proposicionales como: P Q (P representa Ascensor_sube y Q a Ascensor baja). R S T (R representa Es_verano, S a Hace_calor y T a Hay_humedad). U V (U representa Alfredo_es_hombre y V a Alfredo_es_ave). W X (W representa Puerta_abierta y X a Puerta_cerrada). Z (Z representa Coche_amarillo). No siempre las operaciones lógicas se aplican a fórmulas atómicas (en el caso de la negación) o a pares de fórmulas atómicas (en los casos de la disyunción, conjunción, implicación y doble implicación), por lo que es necesario agrupar las fbfs compuestas entre paréntesis para tratar al grupo como una unidad respecto al operador lógico (conectiva). Ejemplo: La frase Si estoy aburrida iré a caminar o al cine se puede representar por la fbf: Estoy_aburrida (Ire_a_caminar Ire_al_cine) que en forma simplificada podrá expresarse como P (Q R), asociando con P, Q y R las proposiciones correspondientes. Entonces se define la siguiente regla sintáctica para establecer la relación entre operaciones lógicas y proposiciones cuando hay más de un operador lógico o conectiva: 3

4 Una conectiva afecta directamente a la fbf atómica inmediatamente siguiente después de ésta, o al conjunto de fbfs agrupadas entre paréntesis inmediatamente después de ésta. Ejemplo: A B C La conectiva se aplica sólo a la fbf atómica representada por B, puesto que B es la que sigue inmediatamente a dicha conectiva. En cambio si se deseara que afecte al resultado de evaluar B C debería reescribirse como A (B C) Para no incurrir en un uso abusivo de paréntesis se define una regla sintáctica adicional que permite definir una jerarquía entre las operaciones lógicas, ordenándolas por orden de prioridad y de esta forma puede evitarse el uso redundante de paréntesis. PRIORIDAD 2 3, 4 (menor), CONECTIVA Las operaciones con mayor prioridad deben resolverse primero. Los paréntesis tienen mayor prioridad (1) que cualquiera de las conectivas, por lo tanto las fbfs encerradas entre paréntesis deberán evaluarse primero. Ejemplo: La fbf (P (Q R)) S se puede transformar en P (Q R) S puesto que la fbf encerrada entre paréntesis se evalúa primero. A este resultado se le aplica la conectiva que tiene la mayor prioridad (2). A continuación se aplica la conectiva que es de mayor prioridad (3) que (4). Finalmente se aplica la implicación. A los efectos de visualizar más rápidamente lo antedicho, si se usaran paréntesis el orden de evaluación quedaría indicado como: Ejemplo: ((P ( (Q R))) S) La fbf P Q R Cómo se debe evaluar? Debido a que los operadores poseen el mismo nivel de prioridad se debe insertar un paréntesis para indicar el orden de evaluación de las sub-fbfs que la componen ya que la forma de interpretar (P Q) R es distinta a interpretar P (Q R). Construcción de enunciados en el Cálculo Proposicional La traducción del lenguaje natural al lenguaje formal no es un proceso mecánico. No hay reglas que indiquen de forma automática y única cómo debe realizarse dicha transformación, sólo se puede utilizar una serie de reglas generales, en combinación con la intuición. En la siguiente tabla se muestran las equivalencias más utilizadas entre las conectivas lógicas y las lingüísticas. 4

5 Conectivas Lógicas Conectivas Lingüísticas P No es el caso de P No P No es cierto que P P Q P y Q P pero Q P aunque Q P sin embargo Q P Q P o Q Ya P ya Q ya ambos P Q Si P entonces Q P sólo si Q Sólo P si Q Es suficiente P para que Q Siempre que P entonces Q Es necesario Q para que P No P a menos que Q A no ser que Q no P P Q P si y sólo si Q P cuando y sólo cuando Q P es condición suficiente y necesaria para que Q Ejemplo: En este ejemplo se busca formalizar la siguiente proposición expresada en lenguaje natural Si ahorro podré comprar un coche o no, pero si no ahorro seguro que no podré comprarlo en una fbf de la Lógica Proposicional mediante un proceso de 3 pasos: Paso 1: Identificar las entidades con estructura de oración declarativa Ahorro, P en su forma abreviada (con sujeto implícito yo). Compraré_un_coche, Q en su forma abreviada. Paso 2: Analizar la frase y descomponerla por niveles según la prioridad de las conectivas que la forman y las sub-fbfs que la componen. En el primer nivel se identifica la palabra pero que se asocia con la conectiva quedando expresada como: (Si ahorro podré comprar un coche o no) (si no ahorro seguro que no podré comprarlo) En el segundo nivel se analiza cada operando de la conectiva. En el primero se ve que si ahorro entonces se tiene la consecuencia de que se podrá o no comprar un coche, lo cual se traduce como (ahorro podré o no comprar un coche) y de manera semejante el segundo se traduce como (No ahorro no compraré un coche), con lo cual quedaría: 5

6 (ahorro podré comprar un coche o no) (No ahorro no compraré un coche). Un tercer nivel de análisis conduce a la siguiente traducción del primer operando considerando la palabra o (ahorro podré comprar un coche no) (No ahorro no compraré un coche) Un nivel final de análisis conduce a traducir las negaciones (ahorro compraré un coche compraré un coche) ( ahorro compraré un coche) Paso 3: Obtener una fórmula abreviada (P Q Q) ( P Q) Conjunto de significados En la Lógica Proposicional el conjunto de significados se define por el conjunto V, de cardinalidad dos (2), que es el conjunto de valores semánticos o valores de verdad, atribuibles a las fórmulas atómicas del lenguaje. Al utilizar una lógica bivalente, es decir, con sólo dos valores posibles, las fórmulas atómicas sólo pueden tomar valores que pertenezcan a V = {V, F} donde V se interpreta como Verdadero y F como Falso. Sea P una fórmula atómica, P sólo podrá tener el valor de verdad V o F pero NO ambos simultáneamente. Definición: Una asignación es una función que da a cada una de las fórmulas atómicas del lenguaje de la Lógica Proposicional un valor del conjunto de valores de verdad. El significado de cada conectiva se define a través de una tabla de valores de verdad para tal conectiva. Negación P V F P F V Conjunción P Q P Q V V V V F F F V F F F F 6

7 Al haber sólo dos fórmulas atómicas las combinaciones posibles de valores de verdad para ellas es 2 2 = 4. Notar que el valor de verdad de la conjunción sólo es verdadero cuando el valor de verdad de las fórmulas que la conforman es Verdadero. Disyunción P Q P Q V V V V F V F V V F F F El valor de verdad de la disyunción es Verdadero cuando al menos una de las dos fórmulas que la componen es Verdadero. Implicación P Q P Q V V V V F F F V V F F V La implicación de dos fórmulas es verdadera cuando el antecedente (P) es Falso o el consecuente (Q) es Verdadero. Notar que en el único caso que la implicación devuelve el valor Falso es cuando el antecedente (P) es Verdadero y el consecuente (Q) es Falso. Doble Implicación P Q P Q V V V V F F F V F F F V La doble implicación de dos fórmulas es verdadera cuando las dos fórmulas que la componen tienen el mismo valor de verdad. 7

8 Como se mencionó anteriormente, también se puede trabajar con fórmulas compuestas. La pregunta es Cómo se define el significado de una fórmula compuesta? El significado (valor de verdad) de una fórmula compuesta se asigna a través del uso de las tablas de valores de verdad. Al trabajar con una lógica bivalente, el número de combinaciones posibles de valores de verdad atribuibles a una fbf compuesta de n fórmulas atómicas es 2 n. Ejemplo: Sea la fórmula (P Q) P Q, el número de combinaciones posibles es 2 2 y su evaluación consiste en ir evaluando cada conectiva teniendo en cuenta su prioridad. Por lo tanto, primero se debe evaluar la fórmula entre (). P Q (P Q) P Q V V V V F V F V V F F F Luego se evalúa la negación P Q (P Q) P Q V V F V F F V F F V F V F V F V V F F F V F V V A continuación se evalúa la conjunción P Q (P Q) P Q V V F V F F F V F F V F F V F V F V V F F F F V F V V V Se concluye con la evaluación de la doble implicación cuyo resultado es el significado o valor de verdad de la fórmula completa. P Q (P Q) P Q V V F V V F F F V F F V V F F V F V F V V V F F F F V F V V V V 8

9 En la Lógica Proposicional una tautología es una fórmula tal que toda asignación de valores de verdad hace verdadera su interpretación. En consecuencia la fórmula analizada en el ejemplo anterior es una tautología. Un concepto importante en la Lógica Proposicional es el concepto de equivalencia lógica (simbólicamente denotada como ). Dos fórmulas son lógicamente equivalentes cuando tienen los mismos valores de verdad para todas las asignaciones posibles de valores de verdad de sus fórmulas componentes. Cuando dos fórmulas son lógicamente equivalentes se puede sustituir una por otra ya que siempre se obtendrá el mismo resultado (valor semántico o de verdad) al ser evaluadas. Ejemplo: Verificar que P Q Q P Para poder determinar si son o no lógicamente equivalentes se construyen las correspondientes tablas de verdad. P Q P Q P Q Q P V V V V V V V F F V F F F V F F V F F F F F F F Como puede observarse ambas obtienen los mismos valores de verdad para cualquier asignación de valores de verdad de las fórmulas atómicas, por lo que se puede afirmar que son lógicamente equivalentes. 9

10 Algunas equivalencias lógicas importantes Equivalencia P Q (P Q) (Q P) P Q P Q P P P P P P Nombre Definición de la Doble Implicación en función de la Implicación Definición de la Implicación en función de la Disyunción Leyes de Idempotencia ( P) P Ley de Doble Negación P Q Q P P Q Q P (P Q) R P (Q R) (P Q) R P (Q R) Leyes Conmutativas Leyes Asociativas (P Q) (P R) P (Q R) (P Q) (P R) P (Q R) (P Q) P Q (P Q) P Q Leyes Distributivas Leyes de De Morgan El presente apunte se ha realizado consultando como material de referencia el apunte Lógica: Tutorial del Área de Servicios del Departamento de Informática y el libro Lógica Computacional, E.P. Arís, J. L. Sánchez González y F. M. Rubio, Thomson Editores, España,

Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero)

Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero) Introducción a la Computación (TFA) Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero) Teoría de Lógica Proposicional - Autor: Ana Garis Modificaciones: E. Benegas Temas a Desarrollar - Motivaciones

Más detalles

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente

Más detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12 Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo

Más detalles

IIC 2252 - Matemática Discreta

IIC 2252 - Matemática Discreta IIC 2252 - Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados. Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende

Más detalles

MLM 1000 - Matemática Discreta

MLM 1000 - Matemática Discreta MLM 1000 - Matemática Discreta L. Dissett Clase 04 Resolución. Lógica de predicados c Luis Dissett V. P.U.C. Chile, 2003 Aspectos administrativos Sobre el tema vacantes: 26 personas solicitaron ingreso

Más detalles

Estructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro

Estructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Estructuras Discretas César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Facultad de Ciencias de la Computación Benemérita Universidad Autónoma de Puebla 1. CONJUNTOS Y CLASES 1

Más detalles

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica)

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Apellidos: No. Estudiante: Nombre: Sección: Conceptos Básicos de Lógica: Lógica es el estudio de como razonar correctamente.

Más detalles

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor

Más detalles

INTRODUCCION A LA LÓGICA DE ENUNCIADOS

INTRODUCCION A LA LÓGICA DE ENUNCIADOS INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas,

Más detalles

Tienes una hora y media para resolver el examen. Suerte!

Tienes una hora y media para resolver el examen. Suerte! No. de aciertos: XI OLIMPIADA INTERNACIONAL DE LÓGICA, 2014 FASE ELIMINATORIA NIVEL BACHILLERATO Nombre: Institución: Instrucciones Responde este examen en la Hoja de respuestas que se te ha proporcionado,

Más detalles

Matemáticas Discretas LOGICA PROPOSICIONAL

Matemáticas Discretas LOGICA PROPOSICIONAL Matemáticas Discretas LOGICA PROPOSICIONAL Matemáticas Discretas Estudio de objetos discretos Habilidad para razonar y argumentar Base otras áreas en computación Bases de datos Lenguajes formales Inteligencia

Más detalles

Lógica de Primer Orden

Lógica de Primer Orden Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad,

Más detalles

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 ÍNDICE PRESENTACIÓN... 9 INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 I. VERDAD Y PORTADORES DE VERDAD... 19 1. De qué tipo de entidades predicamos la verdad?...

Más detalles

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER Manual del Alumno ASIGNATURA: Matemática I PROGRAMA: S3C Lima-Perú SESION 1 SISTEMAS DE NUMERACION DEFINICION : Es un conjunto de reglas y principios que nos

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por. 2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos

Más detalles

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la

Más detalles

UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE

UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE GERMAN ISAAC SOSA MONTENEGRO EJERCICIOS 3. Escriba en notación expandida los siguientes numerales : a) 2375 b) 110111

Más detalles

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009 LÓGICA PROPOSICIONAL AUTORÍA SILVIA BORREGO DEL PINO TEMÁTICA MATEMÁTICAS. LÓGICA ETAPA UNIVERSITARIA Resumen La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la dimensión

Más detalles

Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden

Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden Especificación TEMA 1 formal de problemas Objetivos Revisar los principales conceptos de la lógica de primer orden Entender el concepto de estado de cómputo y cómo se modela con predicados lógicos Familiarizarse

Más detalles

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi 3 INTRODUCCIÓN Estas notas han sido elaboradas con el objetivo de ofrecer al ingresante a las carreras de la

Más detalles

Soluciones Ejercicios 1: Lógica Proposicional

Soluciones Ejercicios 1: Lógica Proposicional Soluciones Ejercicios 1: Lógica Proposicional TAII(I)-Lógica 24 de febrero de 2006 1. Ejercicio 1.1 De los siguientes enunciados, determina cuáles son proposiciones, y de qué tipo. Indica también cuáles

Más detalles

Introducción al lenguaje del Robot

Introducción al lenguaje del Robot Capítulo 2 Algoritmos y Lógica Introducción al lenguaje del Robot Objetivos En este capítulo se verán con mayor profundidad algunos de los conceptos utilizados anteriormente para la deición de algoritmos.

Más detalles

PARTE II LÓGICA COMPUTACIONAL

PARTE II LÓGICA COMPUTACIONAL PARTE II LÓGICA COMPUTACIONAL Lógica de proposiciones INTRODUCCION Teniendo en mente que queremos presentar los sistemas deductivos de la lógica como una herramienta práctica para los informáticos, vamos

Más detalles

TEMA 3 (parte 2). Representación del Conocimiento

TEMA 3 (parte 2). Representación del Conocimiento TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica

Más detalles

Representación del conocimiento mediante lógica formal Introducción a PROLOG

Representación del conocimiento mediante lógica formal Introducción a PROLOG Representación del conocimiento mediante lógica formal Introducción a PROLOG Representación del conocimiento Lo que nos interesa es la representación, es decir, la modelización del conocimiento Orientaciones:

Más detalles

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008 INTRODUCCIÓN Estructura de Datos Tipos Abstractos de Datos (TAD S) Para poder obtener un programa que resuelva un problema dado, son necesarios varios pasos : La formulación y especificación del problema

Más detalles

PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R.

PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R. PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge Pérez R. 1 Introducción a PROLOG PROLOG es un lenguaje interpretado basado en la lógica de predicados de primer orden. Puede

Más detalles

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones: 2. Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma informal,

Más detalles

Lógica, conjuntos, relaciones y funciones

Lógica, conjuntos, relaciones y funciones Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria

Más detalles

Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos.

Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos. Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos. Prof. D. Miguel Ángel García Hoyo. Septiembre de 2011 Dependencia lineal

Más detalles

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y El examen de Lógica y fundamentos del 11-02-2005 resuelto por cortesía de Alberto Castellón 1) Sea A = P(B) el conjunto de los subconjuntos de un conjunto B. a) Pruébese que A es un modelo de la teoría

Más detalles

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones

Más detalles

CIDEAD. 2º BACHILLERATO. Tecnología Industrial II. Tema 17.- Los circuitos digitales. Resumen

CIDEAD. 2º BACHILLERATO. Tecnología Industrial II. Tema 17.- Los circuitos digitales. Resumen Tema 7.- Los circuitos digitales. Resumen Desarrollo del tema.. Introducción al tema. 2. Los sistemas de numeración.. El sistema binario. 4. Códigos binarios. 5. El sistema octal y hexadecimal. 6. El Álgebra

Más detalles

Instituto Tecnológico de Celaya

Instituto Tecnológico de Celaya LENGUAJES Lenguaje es el empleo de notaciones, señales y vocales (voz, palabras) para expresar ideas, comunicarse, y establecer relaciones entre los seres humanos. Un lenguaje no sólo consta de palabras,

Más detalles

Números Reales. MathCon c 2007-2009

Números Reales. MathCon c 2007-2009 Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................

Más detalles

Definición de la lógica proposicional

Definición de la lógica proposicional Capítulo 2 Definición de la lógica proposicional 2.1. Qué es una lógica? Para los propósitos de este texto, una lógica constará siempre de dos partes: 1. Sintaxis. La definición de la sintaxis de una lógica

Más detalles

Universidad Católica del Maule. Fundamentos de Computación Especificación de tipos de datos ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS

Universidad Católica del Maule. Fundamentos de Computación Especificación de tipos de datos ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS Especificación algebraica ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS Un tipo abstracto de datos se determina por las operaciones asociadas, incluyendo constantes que se consideran como operaciones sin

Más detalles

A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales:

A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales: ADICIÓN Y RESTA DE NUMEROS REALES ADICIÓN L a adición o suma de números reales se representa mediante el símbolo más (+) y es considerada una operación binaria porque se aplica a una pareja de números,

Más detalles

UN EJEMPLO DE BÚSQUEDA Tutorial sobre el uso de Google.

UN EJEMPLO DE BÚSQUEDA Tutorial sobre el uso de Google. UN EJEMPLO DE BÚSQUEDA Tutorial sobre el uso de Google. En la actualidad uno de los buscadores más populares es Google, que se caracteriza por tener un sistema para jerarquizar y ordenar los resultados

Más detalles

PROYECTO DOCENTE ASIGNATURA: "Lógica Informática"

PROYECTO DOCENTE ASIGNATURA: Lógica Informática PROYECTO DOCENTE ASIGNATURA: "Lógica Informática" Grupo: Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS)(948465) Titulacion: Grado en Ingeniería Informática-Ingeniería del Software Curso: 2015-2016

Más detalles

Guía de conjuntos. 1ero A y B La importancia del lenguaje.

Guía de conjuntos. 1ero A y B La importancia del lenguaje. Guía de conjuntos. 1ero A y B La importancia del lenguaje. El lenguaje nos permite salir de nosotros mismos y comunicarnos con el mundo; a veces un gesto nos transmite un pensamiento o un sentimiento.

Más detalles

2.3.- Modelo relacional de datos (aproximación lógica)

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.- Modelo relacional de datos (aproximación lógica) Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva

Más detalles

Tema 2. La Información y su representación

Tema 2. La Información y su representación Tema 2. La Información y su representación 2.1 Introducción. Un ordenador es una máquina que procesa información. La ejecución de un programa implica la realización de unos tratamientos, según especifica

Más detalles

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden 2.3.- Modelo relacional de datos (aproximación lógica). Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva

Más detalles

Curso Ingreso 2013 Carrera Ingeniería en Computación - Facultad de Informática Facultad de Ingeniería. Capítulo 2. Algoritmos y Lógica

Curso Ingreso 2013 Carrera Ingeniería en Computación - Facultad de Informática Facultad de Ingeniería. Capítulo 2. Algoritmos y Lógica Curso Ingreso 2013 Carrera Ingeniería en Computación - Facultad de Informática Facultad de Ingeniería Capítulo 2 Algoritmos y Lógica Introducción al lenguaje del Robot Objetivos En este capítulo se verán

Más detalles

CAPÍTULO 1 Introducción

CAPÍTULO 1 Introducción CAPÍTULO 1 Introducción 1.1 Sistemas basados en conocimiento (Knowledge Based Systems) Los sistemas basados en conocimiento (Knowledge Based Systems. KBS) son aplicaciones que generan soluciones o respuestas

Más detalles

Búsqueda booleana en Internet

Búsqueda booleana en Internet Búsqueda booleana en Internet Lo primero de la lógica booleana La lógica booleana le permite combinar palabras y frases en los enunciados de búsqueda para conseguir los documentos de las bases de datos

Más detalles

Sistemas de numeración, operaciones y códigos.

Sistemas de numeración, operaciones y códigos. Tema : Sistemas de numeración, operaciones y códigos. Para representar ideas, los seres humanos (al menos los occidentales) utilizamos cadenas de símbolos alfanuméricos de un alfabeto definido. En el mundo

Más detalles

Guía para resolver la prueba Graduandos 2015

Guía para resolver la prueba Graduandos 2015 1 Prueba de Matemáticas 1. Objetivo del documento El objetivo principal de este documento es dar a conocer los temas de Matemáticas que se incluyen en la Evaluación Nacional de. 2. La importancia de evaluar

Más detalles

TEMA II: ÁLGEBRA DE CONMUTACIÓN

TEMA II: ÁLGEBRA DE CONMUTACIÓN TEMA II: ÁLGEBRA DE CONMUTACIÓN En este capítulo veremos los métodos matemáticos que se disponen para las operaciones relacionadas con los circuitos digitales, así como las funciones más básicas de la

Más detalles

FACULTAD DE INGENIERÍA DE SISTEMAS SÍLABO. 1.5 HORAS SEMANALES : 4 HORAS (Teoría: 02; Laboratorio: 02)

FACULTAD DE INGENIERÍA DE SISTEMAS SÍLABO. 1.5 HORAS SEMANALES : 4 HORAS (Teoría: 02; Laboratorio: 02) FACULTAD DE INGENIERÍA DE SISTEMAS I. DATOS GENERALES: SÍLABO 1.1 CURSO : COMPILADORES 1.2 CODIGO : IV1066 1.3 CICLO : VI 1.4 CREDITOS : 3 1.5 HORAS SEMANALES : 4 HORAS ( 02; Laboratorio: 02) II. FUNDAMENTACION:

Más detalles

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están BASES DE DATOS DEDUCTIVAS Introducción: El interés de los Sistemas de Gestión de Bases de Datos Deductivas tiende a incrementarse conforme se amplía su campo de aplicación (Gestión, Sistemas Expertos).

Más detalles

TEMA 2: Representación de la Información en las computadoras

TEMA 2: Representación de la Información en las computadoras TEMA 2: Representación de la Información en las computadoras Introducción Una computadora es una máquina que procesa información y ejecuta programas. Para que la computadora ejecute un programa, es necesario

Más detalles

U i n d id d a 3. El Element os á bá i s cos de un programa

U i n d id d a 3. El Element os á bá i s cos de un programa Programación Digital U id d 3 El t bá i Unidad 3. Elementos básicos de un programa 1. Concepto de Programa Es un conjunto de instrucciones (órdenes dadas a la computadora), que producirán la ejecución

Más detalles

Maria José González/ Dep. Tecnología

Maria José González/ Dep. Tecnología Señal analógica es aquella que puede tomar infinitos valores para representar la información. Señal digital usa solo un número finito de valores. En los sistemas binarios, de uso generalizado en los circuitos

Más detalles

Espacios Vectoriales

Espacios Vectoriales Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................

Más detalles

Ecuaciones de primer grado con dos incógnitas

Ecuaciones de primer grado con dos incógnitas Ecuaciones de primer grado con dos incógnitas Si decimos: "las edades de mis padres suman 120 años", podemos expresar esta frase algebraicamente de la siguiente forma: Entonces, Denominamos x a la edad

Más detalles

La suma y la resta. Introducción. Capítulo

La suma y la resta. Introducción. Capítulo Capítulo II La suma y la resta Introducción En el capítulo anterior, vimos que los números permiten expresar la cantidad de objetos que tiene una colección. Juntar dos o más colecciones, agregar objetos

Más detalles

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas. Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una

Más detalles

Tema 3 : Algebra de Boole

Tema 3 : Algebra de Boole Tema 3 : Algebra de Boole Objetivo: Introducción al Algebra de Boole 1 INTRODUCCIÓN George Boole creó el álgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretendía explicar las leyes fundamentales

Más detalles

Introducción a la Computación TFA

Introducción a la Computación TFA Introducción a la Computación TFA Departamento de Informática Facultad de Ciencias Físico, Matemáticas y Naturales- UNSL Lenguaje de Diseño de Algoritmos Estructura de Control Condicional Simple y Múltiple

Más detalles

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL BACHILLERATO No. de aciertos: Nombre: Institución:

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las

Más detalles

Lógica Proposicional 1

Lógica Proposicional 1 Lógica Proposicional 1 rafael ramirez rafael@iua.upf.es Ocata 320 Lógica proposicional Un conjunto de variables p, q, r, que representan afirmaciones tales como Esta caja es roja La luna es de queso La

Más detalles

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES El modelo relacional se basa en dos ramas de las matemáticas: la teoría de conjuntos y la lógica de predicados de primer orden. El hecho de que

Más detalles

INTRODUCCION A LA LOGICA

INTRODUCCION A LA LOGICA INTRODUCCION A LA LOGICA Renato Lewin Pontificia Universidad Católica de Chile I Parte LOGICA PROPOSICIONAL Introducción 1 Lógica Cuando deseamos establecer una verdad, cuando queremos convencer a alguien

Más detalles

Una variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación.

Una variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación. Descripción de la semántica de ALFA En esta descripción sólo se mencionarán los aspectos en los que el lenguaje de programación ALFA pueda diferir de otros lenguajes de programación de alto nivel. Se sobreentienden

Más detalles

3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS

3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS TEMA 12: MODELADO CON VARIABLES BINARIAS 1.- MOTIVACIÓN 2.- INTRODUCCIÓN 3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS 5.- MODELADO

Más detalles

DESCRIPTORES DE RENDIMIENTO

DESCRIPTORES DE RENDIMIENTO California English Language Development Test DESCRIPTORES DE RENDIMIENTO DE LA PRUEBA Este documento contiene los Descriptores de de la prueba CELDT, que describen lo que los estudiantes, por lo general,

Más detalles

ALGEBRA LINEAL. Héctor Jairo Martínez R. Ana María Sanabria R.

ALGEBRA LINEAL. Héctor Jairo Martínez R. Ana María Sanabria R. ALGEBRA LINEAL Héctor Jairo Martínez R. Ana María Sanabria R. SEGUNDO SEMESTRE 8 Índice general. SISTEMAS DE ECUACIONES LINEALES.. Introducción................................................ Conceptos

Más detalles

1000 + 900 + 90 + 7 = 1997

1000 + 900 + 90 + 7 = 1997 ases Matemáticas I - Pagina 1 de 20 Tema 2: ases Matemáticas I. 2.1.- Números utilizados en los sistemas digitales. 2.1.1 Introducción. El sistema de numeración decimal es familiar a todo el mundo. Este

Más detalles

Reglas de inferencia:

Reglas de inferencia: UNEFA Cátedra: Lgica Matematica Tema: Deduccin Natural. Profesora: Ana Rodríguez. Reglas de inferencia: En lgica, especialmente en lgica matemática, una regla de inferencia es un esquema para construir

Más detalles

Capítulo 4 PROLOG 4.1 Introducción

Capítulo 4 PROLOG 4.1 Introducción 4.1 Introducción PROLOG es un lenguaje declarativo e interpretado, en este tipo de lenguajes se representan los conocimientos sobre un determinado dominio y sus relaciones. A partir de ese conocimiento,

Más detalles

6 Ecuaciones de 1. er y 2. o grado

6 Ecuaciones de 1. er y 2. o grado 8985 _ 009-08.qd /9/07 5:7 Página 09 Ecuaciones de. er y. o grado INTRODUCCIÓN La unidad comienza diferenciando entre ecuaciones e identidades, para pasar luego a la eposición de los conceptos asociados

Más detalles

Arquitectura de Aplicaciones

Arquitectura de Aplicaciones 1 Capítulo 13: Arquitectura de aplicaciones. - Sommerville Contenidos del capítulo 13.1 Sistemas de procesamiento de datos 13.2 Sistemas de procesamiento de transacciones 13.3 Sistemas de procesamiento

Más detalles

Compiladores y Lenguajes de Programación. Maria de Guadalupe Cota Ortiz

Compiladores y Lenguajes de Programación. Maria de Guadalupe Cota Ortiz Compiladores y Lenguajes de Programación Maria de Guadalupe Cota Ortiz Organizaciones que rigen las normas para estandarización de Lenguajes de Programación IEEE (Instituto de Ingenieros Eléctricos y Electrónicos)

Más detalles

Repaso de Lógica de Primer Orden

Repaso de Lógica de Primer Orden Repaso de Lógica de Primer Orden IIC3260 IIC3260 Repaso de Lógica de Primer Orden 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre algunas constantes

Más detalles

Tema 1: Computadores y Programas

Tema 1: Computadores y Programas Tema 1: Computadores y Programas Ingeniería Informática Ingeniería Técnica en Informática de Sistemas Ingeniería Técnica en Informática de Gestión Departamento de Ciencia de la Computación e I.A. Universidad

Más detalles

Módulo 9 Sistema matemático y operaciones binarias

Módulo 9 Sistema matemático y operaciones binarias Módulo 9 Sistema matemático y operaciones binarias OBJETIVO: Identificar los conjuntos de números naturales, enteros, racionales e irracionales; resolver una operación binaria, representar un número racional

Más detalles

Operaciones Booleanas y Compuertas Básicas

Operaciones Booleanas y Compuertas Básicas Álgebra de Boole El álgebra booleana es la teoría matemática que se aplica en la lógica combinatoria. Las variables booleanas son símbolos utilizados para representar magnitudes lógicas y pueden tener

Más detalles

Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo

Polinomios: Definición: Se llama polinomio en x de grado n a una expresión del tipo Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo P (x) = a 0 x n + a 1 x n 1 +... + a n Donde n N (número natural) ; a 0, a 1, a 2,..., a n son coeficientes reales

Más detalles

CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS. Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona

CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS. Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona 1 CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona RESUMEN: El pensamiento humano es más complicado de lo que en principío

Más detalles

Notas de Clase para IL

Notas de Clase para IL Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

Calcular con fracciones para todos

Calcular con fracciones para todos Calcular con fracciones para todos 1 Calcular con fracciones para todos M. Riat riat@pobox.com Versión 1.0 Burriana, 2014 Calcular con fracciones para todos 2 ÍNDICE DE CAPÍTULOS Índice de capítulos...

Más detalles

POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO HRS. DEL CURSO: 48 CLAVE: 314 HRS. POR SEMANA: 4

POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO HRS. DEL CURSO: 48 CLAVE: 314 HRS. POR SEMANA: 4 N- R POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO CATEDRÁTICO: CARRERA: ASIGNATURA Ing. Fernando Robles Gil Sistemas Computacionales Hardware II (Matemáticas Discretas) INICIO

Más detalles

Inteligencia Artificial. Facultad de Ciencias Exactas y Tecnología Universidad Nacional de Tucumán Prof. Ing. Franco D. Menendez

Inteligencia Artificial. Facultad de Ciencias Exactas y Tecnología Universidad Nacional de Tucumán Prof. Ing. Franco D. Menendez Inteligencia Artificial Facultad de Ciencias Exactas y Tecnología Universidad Nacional de Tucumán Prof. Sistemas Expertos Definición Un Sistema Experto es un programa de computación inteligente que usa

Más detalles

1. Se establecen los conceptos fundamentales (símbolos o términos no definidos).

1. Se establecen los conceptos fundamentales (símbolos o términos no definidos). 1. ÁLGEBRA DE BOOLE. El álgebra de Boole se llama así debido a George Boole, quien la desarrolló a mediados del siglo XIX. El álgebra de Boole denominada también álgebra de la lógica, permite prescindir

Más detalles

Tema 2 Límites de Funciones

Tema 2 Límites de Funciones Tema 2 Límites de Funciones 2.1.- Definición de Límite Idea de límite de una función en un punto: Sea la función. Si x tiende a 2, a qué valor se aproxima? Construyendo - + una tabla de valores próximos

Más detalles

Programación en lenguaje C++

Programación en lenguaje C++ Programación en Lenguaje C++ Objetivos Unidad Tema Subtema Objetivos VI 6.1 Metodología de la programación Metodologías Diseños de algoritmos Creación de algoritmos Entender y aplicar los pasos a seguir

Más detalles

Los números racionales

Los números racionales Los números racionales Los números racionales Los números fraccionarios o fracciones permiten representar aquellas situaciones en las que se obtiene o se debe una parte de un objeto. Todas las fracciones

Más detalles

TEMA 1: INTRODUCCIÓN

TEMA 1: INTRODUCCIÓN 1 DISEÑO Y DESARROLLO DE COMPILADORES TEMA 1: INTRODUCCIÓN Qué es un Compilador? Un compilador no es más que un traductor, es decir, un programa que nos permite pasar información de un lenguaje a otro.

Más detalles

Ejemplos y problemas resueltos de análisis complejo (2014-15)

Ejemplos y problemas resueltos de análisis complejo (2014-15) Variable Compleja I (3 o de Matemáticas y 4 o de Doble Titulación) Ejemplos y problemas resueltos de análisis complejo (04-5) Teoremas de Cauchy En estos apuntes, la palabra dominio significa, como es

Más detalles

Materia: Informática. Nota de Clases Sistemas de Numeración

Materia: Informática. Nota de Clases Sistemas de Numeración Nota de Clases Sistemas de Numeración Conversión Entre Sistemas de Numeración 1. EL SISTEMA DE NUMERACIÓN 1.1. DEFINICIÓN DE UN SISTEMA DE NUMERACIÓN Un sistema de numeración es un conjunto finito de símbolos

Más detalles

Diseño Estructurado de Algoritmos

Diseño Estructurado de Algoritmos Diseño Estructurado de Algoritmos 1 Sesión No. 5 Nombre: Primitivas para el diseño de instrucciones. Segunda parte. Objetivo de la sesión: Al concluir la sesión el estudiante identificará las diferentes

Más detalles

Liceo Nº 35, "Instituto Dr. Alfredo Vázquez Acevedo". Nocturno. Matemática. 5º B1 - B2 y 5ª H3. Profesora. María del Rosario Quintans 1

Liceo Nº 35, Instituto Dr. Alfredo Vázquez Acevedo. Nocturno. Matemática. 5º B1 - B2 y 5ª H3. Profesora. María del Rosario Quintans 1 Liceo Nº 35, "Instituto Dr. Alfredo Vázquez Acevedo". Nocturno. Matemática. 5º B1 - B2 y 5ª H3. Profesora. María del Rosario Quintans 1 TEORÍA DE CONJUNTOS CONOCIMIENTOS BÁSICOS Cuando decimos: "un elemento

Más detalles

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil Nombre de la asignatura: Inteligencia Artificial Créditos: 2-2 - 4 Aportación al perfil Diseñar e implementar interfaces hombre- máquina y máquinamáquina para la automatización de sistemas. Identificar

Más detalles

Sistema binario. Representación

Sistema binario. Representación Sistema binario El sistema binario, en matemáticas e informática, es un sistema de numeración en el que los números se representan utilizando solamente las cifras cero y uno ( y ). Es el que se utiliza

Más detalles

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en

Más detalles

Lenguajes y Compiladores

Lenguajes y Compiladores Información: http://www.cs.famaf.unc.edu.ar/wiki/ Profesores: Héctor Gramaglia, Miguel Pagano, Demetrio Vilela Régimen de regularidad y Promoción Se tomarán 2 parciales Promoción: obteniendo al menos 7

Más detalles