Entradas etiquetadas con asignación

Semántica Modelo-Teórica en Lenguajes de Primer Orden: Conceptos y Funcionamiento

7 enero, 2025
en

Semántica Modelo-Teórica en Lenguajes de Primer Orden

¿Qué es la semántica modelo-teórica?

La semántica modelo-teórica es la semántica propia de los lenguajes de primer orden (LPO). La semántica característica de un lenguaje de enunciados es veritativo-funcional, es decir, una semántica que se construye a partir de funciones veritativas, los valores semánticos posibles de las expresiones lógicas, y de valores de verdad, los valores posibles de las sentencias o enunciados.

Decir que la (más…)

Guía de Subcontratación y Supervisión de Obras

11 septiembre, 2024
en

Subcontratación

Sin importar el tipo de subcontrato, se tendrá que establecer (estos subcontratos no tienen ninguna responsabilidad la residencia). La secuencia para el subcontrato es la siguiente:

Etapas de Subcontratación

  1. Licitación:

    Se buscan en el mercado las mejores opciones.

  2. Planeación:

    Se monitorea el alcance y los tiempos de ejecución del subcontrato con el objetivo de no alterar el programa de obra.

  3. Cotización:

    Una vez definido el alcance y tiempo, se procede a buscar alternativas de necesidad. (más…)
Ir arriba