Listar por título
Mostrando ítems 6552-6571 de 10582
-
Low back pain among office workers in three Spanish-speaking countries: Findings from the CUPID study
(Instituto Tecnológico de Costa Rica. Escuela de Ingeniería en Seguridad Laboral, 2017)Objectives—To assess differences in the prevalence and incidence of low back pain (LBP) and associated disability among office workers in Costa Rica, Nicaragua and Spain. Methods—Data were collected at baseline (n=947, ... -
Low power embedded software optimization for the NuttX RTOS
(Instituto Tecnológico de Costa Rica, 2013)This paper presents the study of the implementation for a new feature that allows the NuttX RTOS, handling the power consumption in order to optimize it. The project was focused on controlling different power states, ... -
Lógica 1 - Proposiciones
(2022-07)Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas. -
Lógica 2 - Tautología - Falacia - Eventualidad
(2022-07)Se presentan las definiciones de tautología, falacia (contradicción) y eventualidad (contingencia). Y a partir de estas, las definiciones de tautológicamente equivalente, e implicar tautológicamente. -
Lógica 3 - Leyes de la lógica
(2022-07)Se presenta una lista de las equivalencias lógicas y sus nombres. -
Lógica 4 - Reglas de inferencias lógicas
(2022-07)Se presenta una lista de las reglas de inferencias lógicas y sus nombres. -
Lógica 5 - Cuantificadores
(2022-07)Se presenta la definición de proposición abierta y los cuantificadores existencial y universal. -
Lógica 6 - Equivalencias y cuantificadores
(2022-07)Se presenta algunas equivalencia de proposiciones con cuantificadores y las condiciones para que proposiciones abiertas de dos variables sean verdaderas -
Lógica 7 - Métodos de demostración
(2022-07)Se presentan diferentes métodos de demostración y una explicación de como abordarlos.