Blog

Sutil Web Lógica de primer orden

Logica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.​ Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.

La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.

Sutil Web Base de datos relacional

Base de datos relacional

La base de datos relacional (BDR) es un tipo de base de datos (BD) que cumple con el modelo relacional (el modelo más utilizado actualmente para implementar las BD ya planificadas).

Tras ser postuladas sus bases en 1970 por Edgar Frank Codd,​ de los laboratorios IBM en San José (California), no tardó en consolidarse como un nuevo paradigma en los modelos de base de datos.

Read More

Sutil Web Hola Mundo

Hola Mundo

En informática, un programa Hola mundo es el que imprime el texto «¡Hola, mundo!» en un dispositivo de visualización, en la mayoría de los casos una pantalla de monitor. Este programa suele ser usado como introducción al estudio de un lenguaje de programación, siendo un primer ejercicio típico, y se considera fundamental desde el punto de vista didáctico.

Read More

Social Media Marketing

Social Media Marketing

Social Media Marketing, SMM  ( Mercadotecnia en medios sociales ) combina los objetivos de mercadotecnia en Internet con medios sociales como foros web, blogs, revistas, agregadores de contenidos, sitios de intercambio de contenidos social y muchos otros.

Los objetivos de la mercadotecnia de medios sociales serán diferentes para cada empresa y organización, sin embargo la mayoría abarca de alguna manera la forma de mercadotecnia viral para crear una idea, posicionar una marca, incrementar la visibilidad e incluso vender un producto.

Read More