Programación 2. Lección 1. Introducción a la especificación formal de algoritmos
|
|
- Alejandro Velázquez Henríquez
- hace 6 años
- Vistas:
Transcripción
1 Programación 2 Lección 1. Introducción a la especificación formal de algoritmos 1
2 Lección 1. Introducción a la especificación formal de algoritmos 1. Especificación no formal de algoritmos 2. Especificación formal de algoritmos 3. Escritura de predicados 4. Variables de un predicado 5. Ejemplos de especificación de algoritmos 6. Escritura textual de especificaciones 2
3 1. Especificación no formal de algoritmos /* * Pre: El valor de <n> ha de ser mayor o igual que 0 * Post: Devuelve el factorial de <n>, es decir, devuelve * el producto 1 x 2 x x n */ int factorial (const int n) { int i = 0; int r = 1; // r = i! while (i!= n) { i = i + 1; r = i * r; // r = i! } return r; // r = n! } 3
4 /* * Pre: El valor de <n> ha de ser mayor o igual que 0 * Post: El valor de <r> es igual al factorial de <n>, * es decir, es igual al producto 1 x 2 x x n */ void factorial (const int n, int& r) { int i = 0; r = 1; // r = i! while (i!= n) { i = i + 1; r = i * r; // r = i! } // r = n! } 4
5 2. Especificación formal de algoritmos // Pre: n 0 // Post: factorial(n) = ( [1,n]. ) int factorial (const int n) { int i = 0; int r = 1; // Aserción: r = ( [1,i]. ) while (i!= n) { // Aserción: r = ( [1,i]. ) i = i + 1; r = i * r; // Aserción: r = ( [1,i]. ) } // Aserción: r = ( [1,n]. ) return r; } 5
6 // Pre: n 0 // Post: r = ( [1,n]. ) void factorial (const int n, int& r) { int i = 0; r = 1; // Aserción: r = ( [1,i]. ) while (i!= n) { // Aserción: r = ( [1,i]. ) i = i + 1; r = i * r; } // Aserción: r = ( [1,i]. ) } // Aserción: r = ( [1,n]. ) 6
7 3. Escritura de predicados PREDICADOS ATÓMICOS Valores definidos en un programa por: una constante de tipo bool una variable de tipo bool una expresión de relación una expresión de tipo bool una invocación a una función que devuelve un valor de tipo bool Ejemplos: true false encontrado vectorbooleano[i] x >= min x == y x >= min && x <= max x >= 0.0 y <= 0.0!(x < min) estaordenado(v,i,j) esprimo(n) 7
8 PREDICADOS Es un predicado: cualquier predicado atómico la negación lógica de un predicado P la conjunción lógica de dos predicados P y Q la disyunción lógica de dos predicados P y Q la composición condicional de dos predicados P y Q la composición bicondicional o equivalencia de dos predicados P y Q una cuantificación universal de un predicado P sobre un domino D una cuantificación existencial de un predicado P sobre un domino D Ejemplos: x >= min P P Q P Q P Q P = Q [ P Q ] ( D. P( )) ( D. P( )) 8
9 TABLAS DE VERDAD DE PREDICADOS COMPUESTOS P P cierto falso falso cierto P Q P Q P Q P Q P Q cierto cierto cierto cierto cierto cierto cierto falso falso cierto falso falso falso cierto falso cierto cierto falso falso falso falso falso cierto cierto Cuantificación universal y existencial ( {d 1,d 2,,d k }.P( )) = P(d 1 ) P(d 2 ) P(d k ) ( {d 1,d 2,,d k }.P( )) = P(d 1 ) P(d 2 ) P(d k ) 9
10 CUANTIFICADORES LÓGICOS (PREDICADOS ) Cuantificador Formulación Definición: valor del predicado Universal ( D.P( )) P(d 1 ) P(d 2 )... P(d K 1 ) P(d K ) (.P( )) cierto [true] Existencial ( D.P( )) P(d 1 ) P(d 2 )... P(d K 1 ) P(d K ) (.P( )) falso [false] P( ) es un predicado D = {d 1, d 2,, d K } es un dominio de valores 10
11 CUANTIFICADORES ARITMÉTICOS (EXPRESIONES NUMÉRICAS) Cuantificador Formulación Definición: valor de la expresión Sumatorio ( D.E( )) E(d 1 ) + E(d 2 )+... +E(d K 1 )+E(d K ) (.E( )) 0 Producto ( D.E( )) E(d 1 ) E(d 2 )... E(d K 1 ) E(d K ) (.E( )) 1 Conteo (Núm D.P( )) Núm(P(d 1 ), P(d 2 ),..., P(d K 1 ), P(d K )) (Núm.P( )) 0 Máximo (Máx D.E( )) Máx(E(d 1 ), E(d 2 ),..., E(d K 1 ), E(d K )) (Máx.E( )) indefinido Mínimo (Mín D.E( )) Mín(E(d 1 ), E(d 2 ),..., E(d K 1 ), E(d K )) (Mín.E( )) indefinido P( ) es un predicado E( ) es una expresión aritmética D = {d 1, d 2,, d K } es un dominio de valores 11
12 4. Variables de un predicado: del programa (ejs: uno, otro) libres variables iniciales (ejs: X, Y) ligadas a un cuantificador (ej: ) /* * Pre: uno = X otro = Y * Post: uno = (Máx {X,Y}. ) otro = (Mín {X,Y}. ) */ void ordenardosenteros (int& uno, int& otro); 12
13 5. Ejemplos de especificación de algoritmos // Pre: n 0 // Post: factorial(n) = ( [1,n]. ) int factorial (const int n); // Pre: n 0 // Post: r = ( [1,n]. ) void factorial (const int n, int& r); // Pre: uno = X otro = Y // Post: uno = Y otro = X void permutardosenteros (int& uno, int& otro); 13
14 // Pre: a 0 b > 0 // Post: a % mcd(a,b) = 0 b % mcd(a,b) = 0 mcd(a,b) > 0 // (.a % > 0 b % > 0 mcd(a,b)) int mcd (const int a, const int b); // Pre: cierto // Post: elevar(x,n) = x^n double elevar (const double x, const int n); // Pre: a > 0 b > 0 // Post: sonprimosentresi(a,b) // = ( N. > 1 (a % > 0 b % > 0) ) bool sonprimosentresi (const int a, const int b); 14
15 6. Escritura textual de especificaciones // Pre: n >= 0 // Post: resultado = (PROD alfa EN [1,n].alfa) int factorial (const int n); // Pre: n >= 0 // Post: r = (PROD alfa EN [1,n].alfa) void factorial (const int n, int& r); // Pre: uno = X AND otro = Y // Post: uno = Y AND otro = X void permutardosenteros (int& uno, int& otro); 15
16 // Pre: a >= 0 AND b > 0 // Post: a % mcd(a,b) = 0 AND b % mcd(a,b) = 0 AND // mcd(a,b) > 0 AND // (PT alfa EN N. a % alfa > 0 OR b % alfa > 0 OR // alfa <= mcd(a,b)) int mcd (const int a, const int b); // Pre: cierto // Post: elevar(x,n) = x^n double elevar (const double x, const int n); // Pre: a > 0 AND b > 0 // Post: sonprimosentresi(a,b) = (PT alfa EN N. // alfa > 1 -> (a % alfa > 0 OR b % alfa > 0) ) bool sonprimosentresi (const int a, const int b); 16
17
Programación II Sesión 2: Especificación de problemas
Programación II Sesión 2: Especificación de problemas Diego R. Llanos Ferraris UNED, Centro Asociado de Palencia Nota: Estos apuntes son la guía utilizada por el Profesor Tutor para impartir el seminario
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 detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesProgramación 1. Tema II. Diseño de programas elementales. Lección 7. Diseño modular y descendente de programas
Programación 1 Tema II. Diseño de programas elementales Lección 7. Diseño modular y descendente de programas 1 Objetivos de la lección : Aprender qué es un diseño modular de un programa Aprender a diseñar
Más detallesDonde Condicion es una expresión booleana, es decir, que puede tomar el valor verdadero (true) o falso (false).
SETECIA REPETITIVA (SETECIA WHILE) Condicion while do Sentencia Donde Condicion es una expresión booleana, es decir, que puede tomar el valor verdadero (true) o falso (false). Valores
Más detallesAxiomas y Teoremas APÉNDICE A. Teoremas del Cálculo Proposicional. Índice del Capítulo
APÉNDICE A Axiomas y Teoremas Índice del Capítulo A.1. Teoremas del Cálculo Proposicional..................... 217 A.2. Teoremas del Cálculo de Predicados..................... 220 A.3. Cuantificación Existencial...........................
Más detallesProgramación 2. Pruebas para la evaluación voluntaria de la asignatura. Grado en Ingeniería Informática. Curso 2014-15
Pruebas para la evaluación voluntaria de la asignatura Programación 2 Grado en Ingeniería Informática Departamento de Informática e Ingeniería de Sistemas Curso 2014-15 PROGRAMACIÓN 2. Curso 2014-15. 1
Más detalles: UN SEMESTRE ACADÉMICO : PRIMER AÑO, PRIMER SEMESTRE
ALGEBRA A. ANTECEDENTES GENERALES CÓDIGO : IIM116A DURACIÓN : UN SEMESTRE ACADÉMICO PRE-REQUISITO : NO TIENE CO-REQUISITO : NO TIENE UBICACIÓN : PRIMER AÑO, PRIMER SEMESTRE CARÁCTER : OBLIGATORIO HRS.DIRECTAS
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesProgramación 1 Problemas del Composición condicional
Programación 1 Problemas del 6-10-2016 Composición condicional Un problema Programa que indique si un año es o no bisiesto Escriba un año: 2016 El año 2016 es bisiesto Escriba un año: 2017 El año 2017
Más detallesEscuela Normal Superior N 40 Mariano Moreno. Cuadernillo Propedéutico 2017 Nivel Superior
Escuela Normal Superior N 40 Mariano Moreno Cuadernillo Propedéutico 2017 Nivel Superior INDICE Página Datos 1 Tipos de Datos 2 Variables 3 Constantes 4 Operadores y Expresiones 5 Algoritmos - Algoritmos
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 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 detallesProgramación 1 Tema 3. Información, datos, operaciones y expresiones
Programación 1 Tema 3 Información, datos, operaciones y expresiones Índice Datos y tipos de datos Datos primitivos en C++ Expresiones e instrucción de asignación Datos y tipos de datos Problema información
Más detallesINDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones
Más detallesProgramación 1 Desarrollo de proyectos de programación. Desarrollo de un módulo C++ de biblioteca para trabajar con conjuntos de letras
Programación 1 Desarrollo de proyectos de programación Desarrollo de un módulo C++ de biblioteca para trabajar con conjuntos de letras Objetivo del proyecto Desarrollo de un módulo C++ de biblioteca para
Más detallesGuía 1: Funciones, precedencia y tipado
Introducción a los Algoritmos - do. cuatrimestre 014 Guía 1: Funciones, precedencia y tipado Docentes: Walter Alini, Luciana Benotti El objetivo de los siguientes ejercicios es introducirnos en la programación
Más detallesCentro Asociado Palma de Mallorca. Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Antonio Rivero Cuesta La Sintaxis de Java I... 5 Tipos de datos... 6 Tipos de datos simples... 7 Operadores... 11 Operadores Aritméticos... 12 Operadores relacionales...
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 detallesPráctica 5. Contenido: Subprogramas (funciones y procedimientos). Parámetros por valor y por referencia.
CI-2125 Computación I Práctica 5 Contenido: Subprogramas (funciones y procedimientos). Parámetros por valor y por referencia. 1. Especifique y escriba el diagrama de flujo de una función de nombre mcd,
Más detallesAPÉNDICE A. Axiomas y Teoremas. Índice del Capítulo
APÉNDICE A Axiomas y Teoremas Índice del Capítulo A.1. Teoremas del Cálculo Proposicional..................... 219 A.2. Leyes Generales de la Cuantificación.................... 222 A.3. Teoremas del Cálculo
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
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 detallesMATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Más detallesSignificado 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 detallesIntroducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali
Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción
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 detallesJava. Introducción a la Programación Orientada a Objetos
Java Java es un lenguaje de programación presentado en 1995 enfocado a: soportar los fundamentos de la programación orientada a objetos. generar código independiente de la arquitectura de la computadora
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 detallesVARIABLES, CONSTANTES Y EXPRESIONES ASIGNACIÓN. TIPOS ELEMENTALES. PRECEDENCIA DE LOS ESTRUCTURAS DE CONTROL. CONDICIONAL E
Java Java es un lenguaje de programación presentado en 1995 enfocado a: soportar los fundamentos de la programación orientada a objetos. generar código independiente de la arquitectura de la computadora
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesCodificación en C. Como pasar de Pseudocódigo a C (con pequeños trucos de C++)
Codificación en C Como pasar de Pseudocódigo a C (con pequeños trucos de C++) Plantilla Librerias Constantes Algoritmo #include #include #define PI 3.1416 int main(void){ /*Variables*/
Más detallesOperadores y reglas de precedencia
Capítulo 5 1 Operadores y reglas de precedencia MIA Ricardo González Lozano 2 Categoría de Operadores Los operadores son los elementos del lenguaje que nos permiten asignar, calcular y comparar expresiones,
Más detallesSILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL]
SILABO POR ASIGNATURA 1. INFORMACION GENERAL Coordinador: CORONEL ALVARADO RUTH MARIELA (ruth.coronel@ucuenca.edu.ec) Facultad(es): [FACULTAD DE FILOSOFÍA, LETRAS Y CIENCIAS DE LA EDUCACIÓN] Escuela: [CARRERA
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 detallesExamen de Fundamentos de la Programación (Modelo 1)
Examen de Fundamentos de la Programación (Modelo 1) 27 de noviembre de 2007 1. Qué escribe el siguiente programa si se teclea 5? int num, resultado; for (resultado=0; num; resultado++) num -= 2; printf
Más detallesSintaxis de PSeInt Tutorial
Sintaxis de Tutorial Introducción a la Programación (T.U.M - T.U.G. - T.U.E. - T.U.T. - Prof) Introducción a la Computación (T.U.R. - T.U.W.) Fundamentos de la Informática (Ing. en Minas - Ing. Electr.)
Más detallesCapítulo V: Programación Lógica. 5.1 Breve Introducción al Cálculo de Predicados
Capítulo V: Programación Lógica 5.1 Breve Introducción al Cálculo de Predicados 1 Definiciones Básicas Proposición: sentencia lógica que puede ser verdadera o falsa. Se construye de objetos y relaciones.
Más detallesCapítulo V: Programación Lógica
Capítulo V: Programación Lógica 5.1 Breve Introducción al Cálculo de Predicados Definiciones Básicas Proposición: sentencia lógica que puede ser verdadera o falsa. Se construye de objetos y relaciones.
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 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 detallesCarta al estudiante MAT030 Matemática para Informática
Carta al estudiante MAT030 Matemática para Informática 1. Aspectos generales del curso Unidad: Escuela de Matemática Nombre: Matemática para Informática Código: MAT030 Nivel: Bachillerato Periodo lectivo:
Más detallesDemostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática
Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural
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 detallesRESUMEN DE CONCEPTOS BASICOS DE PROGRAMACION JAVA
UNED Centro Asociado de Cádiz RESUMEN DE CONCEPTOS BASICOS DE PROGRAMACION JAVA 1. OBJETOS Cualquier elemento del programa es un objeto. Un programa es un conjunto de objetos que se comunican entre sí
Más detallesProgramación 1 Desarrollo de proyectos de programación. Desarrollo de un módulo C++ de biblioteca para trabajar con conjuntos de letras
Programación 1 Desarrollo de proyectos de programación Desarrollo de un módulo C++ de biblioteca para trabajar con conjuntos de letras Objetivo del proyecto Desarrollo de un módulo C++ de biblioteca para
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 detallesEs toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:
Tipos de datos. Dato: Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: I Numéricos: Almacenan números y con
Más detallesProgramación 1 Tema 3. Información, datos, operaciones y expresiones
Programación 1 Tema 3 Información, datos, operaciones y expresiones Índice Datos y tipos de datos Datos primitivos en C++ Expresiones e instrucción de asignación Datos y tipos de datos Problema información
Más detallesAxiomas del Cálculo de Predicados
Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la
Más detallesProgramación estructurada (Tipos, operadores y expresiones)
Programación estructurada (Tipos, operadores y expresiones) M. en C. Sergio Luis Pérez Pérez UAM CUAJIMALPA, MÉXICO, D. F. Trimestre 15-I Sergio Luis Pérez (UAM CUAJIMALPA) Curso de programación estructurada
Más detallesUnidad Didáctica 2. Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones
Unidad Didáctica 2 Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión 1.0.3 Índice
Más detallesLenguajes de programación. Algoritmos y Estructuras de Datos I. Lenguajes compilados. Lenguajes compilados
Lenguajes de programación Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2014 Departamento de Computación - FCEyN - UBA Teórica - clase 3 Introducción a la programación imperativa Las computadoras
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 detallesModularización en lenguaje C. Funciones
Modularización en lenguaje C Funciones Segundo Cuatrimestre 2016 F. de la Informática- Int.a la Computación - Int.a la Programación 1 Ejercicio: Dado el siguiente algoritmo incompleto codificado en Lenguaje
Más detallesPráctica de constantes, expresiones y operadores. Programación en C 1
Práctica de constantes, expresiones y operadores Programación en C 1 Definición de variables (II) Las variables (automáticas) no inicializadas tienen cualquier valor. Una variable (automática) se inicializa
Más detallesProgramación 1. Tema I. Conceptos y elementos básicos de Programación. Lección 2. Lenguaje de programación y ejecución de un programa
Programación 1 Tema I. Conceptos y elementos básicos de Programación Lección 2. Lenguaje de programación y ejecución de un programa 1 Léxico, sintaxis y semántica de un lenguaje #include #include
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesEscuela Politécnica Superior de Ingeniería Departamento de Ingeniería Informática
Escuela Politécnica Superior de Ingeniería Departamento de Ingeniería Informática Fundamentos de la informática 2. Algoritmos, diagramas de flujo y pseudocódigo Contenido Algoritmos Diagramas de flujo
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 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 detallesInformática General 2016 Cátedra: Valeria Drelichman, Pedro Paleo, Leonardo Nadel, Norma Morales
UNA / AREA TRANSDEPARTAMENTAL DE ARTES MULTIMEDIALES Licenciatura en Artes Multimediales Informática General 2016 Cátedra: Valeria Drelichman, Pedro Paleo, Leonardo Nadel, Norma Morales JavaScript Algoritmo
Más detallesLección 2 Introducción al lenguaje C
Lección Introducción al lenguaje C Decimal Binario Hexadecimal A B C D E F Octal Equivalencia entre decimal, binario, hexadecimal y octal. Código ASCII (American Standard Code for Information Interchange)
Más detallesPRE-INSCRIPCIONES POR ALUMNO MERIDA
02528526K 07008676R 07049076J 07254711M 07865165Q Total de Inscripciones del Alumno: 5 08826281P 1 / 33 08841485D 08849356Z 08854029H 08865096E 08865348K 08867463C 08869548N 2 / 33 08869695K 08870652N
Más detallesTema 3. Tipos de datos simples
Tema 3. Tipos de datos simples Contenido del tema: Concepto de tipo. Tipos simples. Operadores. Expresiones. Semántica. Tipos y expresiones en lenguaje C++ Francisco J. Veredas Dpto. Lenguajes y Ciencias
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detalles1.1 Define un operador ( ) que devuelva True si y solo si tan solo uno de sus argumentos es True. Por ejemplo:? (3 > 2) (2 > 5)
1 Informática Haskell Matemáticas Curso 2004-2005 Pepe Gallardo Universidad de Málaga Práctica 1 1.1 Define un operador ( ) que devuelva True si y solo si tan solo uno de sus argumentos es True. Por ejemplo:?
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 detallesBloque 1. Conceptos y técnicas básicas en programación
Bloque 1. Conceptos y técnicas básicas en programación 1. Introducción 2. Datos y expresiones. Especificación de algoritmos 3. Estructuras algorítmicas básicas 4. Iteración y recursión 5. Iteración y recursión
Más detallesMATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA
Más detallesPlanificación con FastForward
Planificación con FastForward Javier Béjar Intel ligència Artificial 2016/2017 Facultat d Informàtica de Barcelona Fastforward FastForward Fast Forward es un planificador que permite ejecutar planes definidos
Más detallesNúmeros enteros (cortos, largos y sin signo) Números reales (precisión simple y doble) Carácter y cadenas de caracteres. Lógicos.
Universidad Rafael Urdaneta Escuela de Ingeniería de Computación Números enteros (cortos, largos y sin signo) Números reales (precisión simple y doble) Carácter y cadenas de caracteres. Lógicos. Asignación
Más detallesIsabelle como un lenguaje funcional
Capítulo 1 Isabelle como un lenguaje funcional 1.1 Introducción Nota 1.1.1. Esta notas son una introducción a la demostración asistida utilizando el sistema Isabelle/HOL/Isar. La versión de Isabelle utilizada
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesFunciones: Pasos por Referencia Recursividad
Funciones: Pasos por Referencia Recursividad Fundamentos de Programación Fundamentos de Programación I Parámetros por referencia Con la instrucción return sólo se puede devolver un valor calculado. A veces
Más detallesPalabras reservadas de C++ y C. Una palabra reservada no puede declararse como un identificador, esto haría un conflicto entre conectores y funciones.
Palabras reservadas de C++ y C Una palabra reservada no puede declararse como un identificador, esto haría un conflicto entre conectores y funciones. A continuación se muestra el link del listado de palabras
Más detallesFACULTAD DE INGENIERÍA
NOMBRE DEL PROFESOR: Ing. Héctor Manuel Quej Cosgaya NOMBRE DE LA PRÁCTICA: Operadores y Expresiones PRÁCTICA NÚM. [ 3 ] LABORATORIO: MATERIA: UNIDAD: TIEMPO: Centro de Ingeniería Computacional Lenguaje
Más detalles1. Ejemplo de clase : La clase Cuenta 2. Uso de la clase Cuenta. 3. Métodos y objetos receptores de mensajes (Importante)
1. : La clase Cuenta. Uso de la clase Cuenta 3. Métodos y objetos receptores de mensajes (Importante) 1 Una clase para cuentas de un banco Vamos a modelar con una clase, un nuevo tipo de datos, donde los
Más detallesUNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I
UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO EN COMPUTACIÓN E INFORMÁTICA GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I CÓDIGO 50287 Elaborada por
Más detallesOperaciones aritméticas
Operaciones aritméticas Operador aritmético Operación Ejemplo Resultado Potencia 4 3 64 Multiplicación 8.25 7 57.75 / División 15 / 4 3.75 Suma 125.78 62.50 188.28 Resta 65.30 32.33 32.97 mod Módulo (residuo)
Más detallesUnidad I Elementos de lógica y de Teoría de Conjuntos
INSTITUTO SUPERIOR DE FORMACION DOCENTE Nº 813 SEDE LAGO PUELO PROFESORADO EN MATEMÁTICA PROGRAMA DE ALGEBRA I AÑO 2008 Prof. Ricardo J. Tamer Unidad I Elementos de lógica y de Teoría de Conjuntos Introducción
Más detallesTema 3.- Predicados y sentencias condicionales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER
Más detallesPrograma Java. El lenguaje de programación Java. Comentarios. Programa Java. Palabras reservadas. Identificadores
El lenguaje de programación Java Programa Java Un programa Java está formado por un conjunto de clases que interactúan entre sí La clase es la unidad básica de programación La ejecución depende de la clase
Más detallesDesarrollo Formal de Software Construir Modelos
Desarrollo Formal de Software Construir Modelos Profesor: Camilo Rueda 1 1 Universidad Javeriana-Cali PUJ 2012 ( ) PUJ 2012 1 / 16 Obligaciones de prueba La especificación consta de: El contexto, o parte
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
Más detallesPseudolenguaje. (1 byte) 0.. 255 (valores códigos ASCII) [CHAR_MIN.. CHAR_MAX] (Definida en <limits.h>) No hay. Dominio 0.. 2 n 1 [MIN(C)..
Tipo C Dominio 0.. 2 n -1 [MIN(C).. MAX(C)] Operadores Aritméticos Otras funciones No hay CHR(...) CAP(...) ORD(...) E/S No Formateada: Leer (...) Escribir (...) char (1 byte) 0.. 255 (valores códigos
Más detallesProgramación Funcional en LISP Lógica para Ciencias de la Computación
Programación Funcional en LISP Lógica para Ciencias de la Computación Primer Cuatrimestre de 2009 Material Adicional Introducción A lo largo de la carrera estudiaremos diversos paradigmas de programación:
Más detallesIntroducción a la computación. Primer Cuatrimestre de 2013
Introducción a la computación Primer Cuatrimestre de 2013 Programa Un programa es una secuencia de instrucciones. Programa Un programa es una secuencia de instrucciones. Ejemplo: 1.- Moje el cabello, 2.-
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 detallesTema 4: Definición de funciones
Tema 4: Definición de funciones Informática (2010 11) José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla 2 / 30 Tema 4: Definición
Más detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesTema 4: Definición de funciones
Programación declarativa (2009 10) José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla Constantes como patrones Variables como
Más detallesCapí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 detallesProgramación I Instrucciones de control - condicionales
Contenidos 1 Instrucciones de control - condicionales Iván Cantador Operadores relacionales (I) Operadores relacionales en C Operador < Menor que Significado Mayor que >= Mayor o
Más detallesPROGRAMACIÓN ORIENTADA A OBJETOS (L40629) Sabino Miranda-Jiménez
PROGRAMACIÓN ORIENTADA A OBJETOS (L40629) Sabino Miranda-Jiménez Elementos de lenguaje: Identificadores Tipos de datos 2 Tipos de datos primitivos 3 Tipos de datos referenciados Clases Interfaces Arrays
Más detalles