SALARIO 5,015,000 SALARIO

PRIMA LEGAL 5,015,000 PRIMA LEGAL

PRIMA EXTRA 5,015,000 PRIMA EXTRA
PRIMA EXTRA 5,015,000 PRIMA EXTRA
CESANTIAS 5,015,000 CESANTIAS
15% 9,027,000 15%
TOTAL AÑO 89,267,000 TOTAL AÑO

BRUTO MENSUAL 7,438,917 BRUTO MENSUAL

NETO MENSUAL 2,709,406 NETO MENSUAL

DEDUCCIONES DEDUCCIONES
SALUD 200,600 SALUD
PENSIONES 200,600 PENSIONES
FONDO MUTUO 50,150 FONDO MUTUO
FONDO SOLIDARIDAD 50,150 FONDO SOLIDARIDAD
RETEFUENTE 299,396 RETEFUENTE
PRESTAMO BBVA 999,999 PRESTAMO BBVA
PRESTAMO OCSA 504,700 PRESTAMO OCSA

2,305,595
 6,500,000
26,000,000
6,500,000
6,500,000
6,500,000
6,500,000
11,700,000
115,700,000

9,641,667
3,942,301 - 2,392,301.0 317,105

260,000 TIQUETES 320,000.0

260,000 HABITACION 500,000.0
65,000 COMIDA 600,000.0
65,000 TRANSPORTE 130,000.0
403,000
999,999
504,700 1,550,000.0

2,557,699
 Alan Mathison Turing (1912 – 1954) Alonzo Church (1903 – 1995)

• Estudia en Cambridge y en Princeton (con A. Church)

Profesor en Cambridge y U. Manchester • Profesor en Princeton
• Participa en la ruptura del cifrado de la máquina Enigma • Desarrolla el cálculo
Publica en 1936 el artículo Los números computables, con lambda, basado en funciones
una aplicación al Entscheidungsproblem. Nacimiento de recursivas. (Base de los
la Informática Teórica lenguajes funcionales)
• Inventa las máquinas de Turing

1936

Demuestra la existencia de
problemas indecidibles para
el cálculo lambda
Alonzo Church (1903 – 1995) Stephen Kleene (1909 - 1994) Claude Elwood Shannon (1916 – 20

• Profesor de la U. Wisconsin
• Discípulo de A. Church. Estudia la
teoría de funciones recursivas. • Estudia en la U. Michigan. Profesor en el
• Desarrolla las expresiones regulares – Instituto de Tecnología de Massachusetts
Numerosos estudios en Teoría de (MIT)
Autómatas

1938-1939 1938

Trabaja con A. Turing – Tesis de Publica A Symbolic

Church-Turing: cualquier modelo Analysis of Relay and
computacional existente tiene las Switching Circuits.
mismas capacidades algorítmicas, o Aplicación de la lógica
un subconjunto, de las que tiene matemática a los
una máquina de Turing. circuitos electrónicos
 Claude Elwood Shannon (1916 – 2001) D. A. Huffman G. H. Mealy E.F. Moore

n la U. Michigan. Profesor en el
e Tecnología de Massachusetts
(MIT)

1948 1956 1954 1955 1956

Publica Una Teoría Edita, junto a The synthesis of A method for Gedanken
Matemática de la McCarthy, Automata sequential synthesizing experiments on
Comunicación. Studies, sobre switching sequential sequential
Nacimiento de la máquinas circuits, J. circuits, Bell machines, en
Teoría de la secuenciales y Franklin Inst., vol. System Technical Automata
Información autómatas finitos. 257 Journal vol. 34 Studies
 M.P.
Noam Chomsky (1928 - ) M.O. Rabin y D. Scot A. G. Oettinger Schutzenberger

Profesor del Massachusetts Institute of

Technology (MIT)

1957 1959 1961 1963

Publica Estructuras Automatic On context-free

sintácticas en el que Finite automata and syntactic analysis languages and
their decision
aparece la and the pushdown
problems, IBM J. pushdown store,
clasificación de automata,
Research and
gramáticas (Jerarquía Development, vol. 3 on Applied Math Control, vol.and
Proc. Symposia Information
de Chomsky) 6
 P.C. Fisher, D.E. Knuth Stephen Arthur Cook (1939 - )

* Estudiante en U.
Michigan y U.
Harvard
* Profesor en U.
Berkeley y U.
Toronto

1963 1965 1971

On computability by
certain classes of
restricted Turing On the translation Publica The Complexity of Theorem
machines, Proc. 4th of languages from Proving Procedures, donde define las
left to right,
Annl. Symposium on Information and clases de problemas P, NP, y NP
Switching Circuit completos
Control, vol. 8
Theory and Logical
Design
 APLICACIONES

• Teoría de la Comunicación
• Teoría de Control
• Lógica de los circuitos secuenciales
• Ordenadores
• Teoría lógica de los sistemas evolutivos y
auto-reproductivos
• Reconocimiento de patrones
• Fisiología del sistema nervioso
• Traducción automática de lenguajes
• etc