Académique Documents
Professionnel Documents
Culture Documents
ORGANIZACIN Y ARQUITECTURA DE
COMPUTADORAS
QUINTO NIVEL A
DOCENTE:
Ing. Oscar Armando Gonzales Lpez
TAREA:
Lgica Clsica y Extensiones.
INTEGRANTES:
Pincay Espinoza Erick Alexander
Mera Rivera Jhon Jonathan
Parrales Giler Franklin Esa
FECHA:
04/12/2017
ndice
Contenido
1. ndice ..................................................................................................................................... 2
2. Introduccin .......................................................................................................................... 3
3. Objetivos ............................................................................................................................... 4
4. Marco Terico ....................................................................................................................... 5
4.1 Escalas De Integracin En PBC ........................................Error! Bookmark not defined.
4.2 WS vs Laptop ...................................................................Error! Bookmark not defined.
4.2.1 WS ..................................................................................Error! Bookmark not defined.
4.2.2 Laptop.............................................................................Error! Bookmark not defined.
4.2.3 Diferencias entre WS y Laptop .......................................Error! Bookmark not defined.
4.3 Clasificacin de los registros del computador. Variables de entorno de Windows
Error! Bookmark not defined.
4.3.1 Clasificacin de los registros del computador................Error! Bookmark not defined.
4.3.2 Variables de entorno del computador ...........................Error! Bookmark not defined.
4.4 CISC vs RISC .....................................................................Error! Bookmark not defined.
4.4.1 CISC .................................................................................Error! Bookmark not defined.
4.4.2 RISC.................................................................................Error! Bookmark not defined.
4.4.3 Diferencias entre CISC y RISC .........................................Error! Bookmark not defined.
4.5 Cuadro Sinptico Con Clasificacin y Caractersticas De Los Diferentes Tipos De Buses
Error! Bookmark not defined.
4.6 SMP vs Procesadores Vectoriales....................................Error! Bookmark not defined.
4.6.1 SMP ................................................................................Error! Bookmark not defined.
4.4.2 Procesadores vectoriales ...............................................Error! Bookmark not defined.
4.4.3 Diferencias entre SMP y Procesadores vectoriales ........Error! Bookmark not defined.
4.7 Servidores CRAY ..............................................................Error! Bookmark not defined.
5. Conclusiones.......................................................................................................................... 6
6. Recomendaciones ................................................................................................................. 7
7. Bibliografa ............................................................................................................................ 8
8. Anexos .....................................................................................Error! Bookmark not defined.
1. Introduccin
2. Objetivos
3. Marco Terico.
Lgica Clsica.
Expresin que se utiliza para referirse al conjunto de clculos lgicos como los
desarrollados en los Principia Matemtica de Russell y Whitehead.
La lgica clsica reconoce solamente dos valores de verdad a
sus frmulas (verdadero o falso), por lo que tambin se la denomina lgica
bivalente o lgica estandarizada, e incluye a la lgica proposicional, a la lgica
de predicados, a la lgica de clases y a la lgica de relaciones.
A veces tambin se llama lgica clsica o lgica tradicional a la lgica aristotlica
junto con sus desarrollos medievales, una lgica que no dispone del aparato
matemtico de la moderna lgica simblica.
Caractersticas.
La denominada Lgica Clsica (tambin llamada Lgica Tradicional o Lgica
Estndar)
Es bivalente (es decir, admite dos y solo dos valores de verdad).
Es asertrica (es decir, no permite modular la verdad de los enunciados
mediante consideraciones contextuales).
Es extensional (es decir, satisface el principio de composicionalidad).
Es montona (es decir, el aumento de informacin no implica la necesidad de
revisar los resultados previos).
No admite para consistencias (de hecho, contiene principios explosivos tales
como ex contradicciones cuodlibeto y ex falso cuodlibeto).
No introduce criterios de relevancia (por tanto, dado que usa el implicado material
y el disyuntor estndar, pueden aparecer resultados poco razonables).
4. Conclusiones
5. Recomendaciones
6. Bibliografa