Listar por palabras clave "Validation"
Mostrando ítems 1-12 de 12
-
Certificaciones de legalidad de productos maderables en Costa Rica: una propuesta de servicios profesionales
(Instituto Tecnológico de Costa Rica, 2019)Este trabajo tuvo como objetivo proponer un servicio profesional forestal para certificar la legalidad de los productos maderables en Costa Rica. Para esto se diagramaron los procesos de comercialización de los principales ... -
Cuantificadores, ejemplo 2
(2018-03-21)En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera. -
Cuantificadores, ejemplo 3
(2018-02-03)En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “existe” “para todo” . En él se da una argumentación que verifica que dicha proposición es falsa. -
Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 2
(2018-06-01)Este vídeo corresponde a la segunda parte de un ejercicio de validación de proposiciones mediante la construcción y análisis de una tabla de asignación de predicados. En éste, dada la tabla construida en la parte 1 se ... -
Diseño de un sistema de llenado automático para fluidos líquidos y viscosos para la empresa Cosmético Yambal S.A.
(Instituto Tecnológico de Costa Rica, 2021)En años recientes la empresa Cosméticos Yambal S.A. ha empezado a realizar cambios en la estrategia de negocios con el fin de mejorar su competitividad, de manera que se logren reducir los gastos y que se mejore la ... -
Diseño, ensamblaje y validación de una mesa sísmica para el análisis estructural de modelos a escala reducida
(Instituto Tecnológico de Costa Rica, 2020)El presente proyecto nace ante la necesidad de estudiar los efectos provocados por movimientos sísmicos en estructuras. De esa manera se planteó como objetivo principal el desarrollo de una mesa sísmica que permita el ... -
Modelación hidrológica de la subcuenca del Rio Balsar en el distrito de Ciudad Cortés.
(Instituto Tecnológico de Costa Rica, 2021)El proyecto fue enfocado en un análisis hidrológico en la cuenca de río Balsar debido a que su respuesta hidrológica ha afectado el distrito de Ciudad Cortés dando como resultado el desbordamiento del río Balsar, el cual ... -
Propuesta de una metodología de aseguramiento y control de calidad para los proyectos de software de Inclutec
(Instituto Tecnológico de Costa Rica, 2020)El presente proyecto es una investigación enfocada en el tema de aseguramiento de la calidad del software. La investigación se realiza en una pequeña organización dedicada al desarrollo de software que presenta una ... -
Validación de proposiciones cuantificadas, ejemplo 3 parte b
(2019-08-07)En este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “existe” - “para todo”. -
Validación de proposiciones cuantificadas, ejemplo 3, parte a
(2019-08-03)Este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “para todo” - “existe”. -
Validación del sistema de detección molecular 3mtm para listeria sp y Salmonella sp en muestras alimenticias y ambientales de la empresa Paradise Ingredients
(Instituto Tecnológico de Costa Rica, 2019)La seguridad alimentaria garantiza que los alimentos no causen daños al consumidor. Los microorganismos como Salmonella y Listeria pueden causar enfermedades, es importante que las industrias alimentarias tengan planes de ...