-
operaciones logicas formales
se realizaron algunos intentos para tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Lambert, pero su labor permaneció desconocida y aislada. También por parte de Leibniz que desarrolló la idea de un calculus ratiocinator, un sistema de reglas para simplificar oraciones compuestas. -
El análisis matemático de la lógica y las leyes del pensamiento
La idea de Boole creador de estos 2 libros tuvo la idea de construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. -
logica profunda
se encontró su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos, -
La paradoja de Rusell
Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema y su aplicación a la teoría de conjuntos, sin embargo, contenía una contradicción (la paradoja de Russell). -
Principios matemáticos
fue un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Se suponía que las teorías matemáticas eran tautologías lógicas, y el programa debía mostrar esto por medio de una reducción de la matemática a la lógica. -
matemáticas lógicas y solidas
David Hilbert propuso de forma explícita un proyecto de investigación (en metamatemática, como se llamó entonces) que acabó siendo conocido como programa de Hilbert. Quería que la matemática fuese formulada sobre unas bases sólidas y completamente lógicas. -
Bell Telephone Laboratories
La necesidad de identificar y manipular las propiedades de un sistema como un todo, que en proyectos de ingeniería complejos puede diferir enormemente de la suma de las propiedades de las partes, motivó a varias industrias, especialmente aquellas que desarrollaban sistemas para el Ejército de los Estados Unidos, a aplicar la disciplina -
melvin J. kelly
la ingeniería de sistemas fue publicado por melvin J.kelly y se inicio el primer curso de posgrado de ingeniería de sistemas en el M.I.T -
IBM
IBM da origen a los ingenieros en sistemas computacionales -
carreras computacionales
se comienza a impartir las carreras de sistemas computacionales en la programación en mexico -
Reconocimiento empresarial
Las empresas comenzaron a tener una creciente aceptación de que dicha ingeniería, podía gestionar el comportamiento impredecible y la aparición de características imprevistas de los equipos y proyectos con niveles de complejidad cada vez mayores
