Repositorio TEC: Recent submissions
Now showing items 1-20 of 7070
-
Simplificación de conjuntos, ejemplo 1
(2018-12-19)En este vídeo se presenta un ejemplo de simplificación de conjuntos utilizando las leyes de conjuntos. En este se explica al estrategia y el uso correcto de la tabla de leyes de conjuntos para obtener un conjunto, igual a ... -
Diagrama de Venn, ejemplo
(2019-08-07)En este vídeo se presenta un ejemplo del uso de los diagramas de Venn para representar operaciones de conjuntos en general mediante el sombreo de regiones. -
Tablas de verdad, tautología, falacias y eventualidades
(2018-05-21)En este vídeo se muestra la teoría sobre tablas de verdad, en él se explican lo que significa que una proposición compuesta sea una tautología, una falacia o una eventualidad. Finalmente, en dicho vídeo se presenta un ... -
Proposiciones y conectivas lógicas
(2018-06-25)En este vídeo se presentan la teoría inicial de la lógica, iniciando con la definición proposición lógica así como la definición de las conectivas lógicas: conjunción, disyunción, implicación, negación y doble implicación ... -
Ejemplo Tablas de Verdad
(2018-07-22)En este vídeo se presenta un ejemplo de tabla de verdad. En él se demuestra que una proposición dada es tautológicamente equivalente a otra, por medio de tablas de verdad. Este es un ejemplo típico del uso de las tablas ... -
Leyes de la Lógica, introducción
(2018-07-14)En este vídeo se presenta una introducción a las leyes de la lógica, ¿qué son?, ¿cómo se demuestran? y ¿para qué se usan? Para ejemplificar la demostración de las leyes de la lógica, en el vídeo se demuestran tres de ellas ... -
Leyes de la lógica, ejemplo 2
(2018-06-01)Es vídeo presenta el segundo ejemplo de la aplicación de las leyes de la lógica a la simplificación de proposiciones compuesta. Se hace una aplicación gráfica de la tabla con las leyes de la lógica para mostrar su uso ... -
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 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”. -
Operaciones con conjuntos, ejemplo 2
(2018-02-15)En este vídeo se muestra un ejemplo de operaciones con conjuntos en los que se involucran diferentes operaciones entre conjuntos tales como: diferencia, diferencia simétrica, conjunto partes y el producto cartesiano. -
Operaciones con conjuntos, ejemplo 1
(2019-07-30)En este vídeo se muestra un ejemplo de operaciones con conjuntos en los que se involucran diferentes operaciones entre conjuntos tales como: unión, intersección, diferencia, complementos, conjunto partes y el producto cartesiano. -
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 ... -
Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 1
(2019-06-01)En este vídeo se presenta un ejemplo de cuantificadores para proposiciones en prosa. En esta primera parte del ejercicio se presenta el análisis de la argumentación dadas y la posterior confección de la tabla de asignación ... -
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. -
Diseño de un sistema de respaldo energético con celdas fotovoltaicas para la reducción de la huella de carbono en la Planta Hidroeléctrica Platanar, San Carlos - Costa Rica
(Instituto Tecnológico de Costa Rica, 2019)The project was carried out at Central Hidroeléctrica Platanar, built in 1994 and in operation since 1995, which belongs to COOPELESCA R.L. company from 2016 to the present. The company COOPELESCA is committed to the ... -
Sistema para la gestión de hornos del proceso de curado en Tico Electronics
(Instituto Tecnológico de Costa Rica, 2019)This report shows the development and results of an improvement system for furnace management during the curing process at Tico Electronics, which provides greater security when the process is carried out at night ... -
Diseño de Biblioteca Pública de San Pedro de Poás
(Instituto Tecnológico de Costa Rica., 2009)La Biblioteca Pública de San Pedro de Poás en un Centro de información bibliográfica y de extensión cultural, que pone a disposición de los ciudadanos obras más representativas del conocimiento universal y desarrollan una ... -
Plan especial de regeneración urbana para Barrio Cuba
(Instituto Tecnológico de Costa Rica., 2009)Currently, the four major quadrants that make up the Gran Area Metropolitana (GAM) in the Central Valley of Costa Rica (San José, Alajuela, Heredia and Cartago), are in a stage of “deterioration and obsolescence” in the ... -
Sistema específico de valoración de riesgo institucional (Sevri) y sus aplicaciones en el sector público costarricense
(Instituto Tecnológico de Costa Rica., 2009)El SEVRI nace como una medida de la Contraloría General de la República para la fiscalización y control de los objetivos institucionales de las empresas públicas y está basado en la filosofía de la administración por ... -
Perfil de proyecto Centro de Cuido y Educación Preescolar en el Campus Tecnológico local San Carlos
(Instituto Tecnológico de Costa Rica, 2019)This document shows the study carried out to establish the necessary elements for the installation of a preschool care and stimulation center in the Technological of Costa Rica Local Technological Campus San Carlos, for ...