Tratamiento de datos

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

"2000 Ejercicios Aritméticos" es una lista de 2000 ejercicios para aprender operaciones aritméticas básicas. Cada ejercicio es una ecuación con cerca de 4 operaciones aritméticas básicas (Suma, Resta, Multiplicación y División) y 5 resultados opcionales de donde escoger.

"Neutrosophic Computing and Machine Learning" (NCML) es una revista académica que ha sido creada para publicaciones de estudios avanzados en neutrosofía, conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, enfoques neutro-sóficos para el aprendizaje automático, etc. y sus aplicaciones en cualquier campo.

Exactament en el minut sis del primer episodi de la sèrie animada més duradora de la televisió, Els Simpson, la ciència ja hi fa acte de presència. El fotograma que ho anuncia és una garlanda nadalenca que diu: «Bon Nadal de part de la central nuclear de Springfield». Açò és només l'inici de les contínues referències científiques presents en la sèrie, tantes com per a fer un assaig i descobrir que la majoria d'autors dels capítols tenen una formació científica considerable, o que el guionista és llicenciat en física i màster en informàtica teòrica per Berkeley.Quanta...