000			nam a22 7a 4500
999			_c47155 _d47155
005			20220127071541.0
008			220126e2021 ck a|||fsm||| 00| 0 spa d
040			_aCO-NeUS _bspa _erda
041			_aspa
100	1		_9148205 _aGonzález Esquivel, Luis Ángel _eaut
245	1	0	_aProblemas P y NP en la complejidad computacional / _cLuis Ángel González Esquivel; Director Mauro Montealegre Cárdenas
256			_aDatos electrónicos (1 archivos:2011 MG)
264	1		_aNeiva: _bUniversidad Surcolombiana, _c2021
300			_a1 CD-ROM (118 páginas); _bdiagramas, ilustraciones en general, tablas o cuadros; _c12 cm.
336			_2rdacontent _atxt _btxt
337			_2rdamedia _ac _bcd
338			_2rdacarrier _acd _bcd
347			_2rda _atexto _bpdf
502			_aTesis _bMagíster en Estudios Interdisciplinarios de la Complejidad _cUniversidad Surcolombiana. Facultad de Ciencias Exactas y Naturales. Maestría en Estudios Interdisciplinarios de la Complejidad _d2021
505			_aIntroducción -- Planteamiento del problema de investigación, descripción del problema, sistematización del problema, enunciación del problema -- Antecedentes y justificación -- Objetivos de la investigación, general específicos – Metodología -- Didáctica de los problemas P vs NP 28, matrioshka (muñecas rusas), torres de Hanoi -- Máquinas de Turing, máquinas de turing deterministas, máquinas de turing multicintas, máquinas de turing no deterministas -- Computación clásica, compuestas de la lógica clásica -- Complejidad, ¿Qué es la complejidad?, Ciencias de la complejidad -- Teoría matemática de la información, probabilidad frecuentista, probabilidad condicional, teorema de Bayes, problema de Monty Hall, teoría de la información, entropía de Shannon -- Complejidad computacional, problemas de Clase P, problemas de clase Np, Problemas de clase NP completos, teoría matemática de la complejidad, complejidad de un algoritmo, computación cuántica, mecánica cuántica, espacio vectorial de Hilbert de Dimensión finita en un campo escalar complejo, los Qubits, El qubit y sus características, compuertas cuánticas sobre un qubits, reversibilidad de la compuertas cuánticas, paralelismo cuántico, algoritmos cuánticos -- Análisis y discusión de resultados -- Conclusiones
520			_a"Este documento de tesis tiene el objetivo de sustentar por qué un problema de tipo no polinomial (NP), dentro de la lógica de la computación clásica, se puede convertir en un problema de tipo polinomial (P) dentro de la lógica de la computación cuántica. Para ello, se busca relacionar la complejidad computacional con la lógica cuántica. La complejidad computacional está diseñada dentro de la lógica clásica, pero no hay todavía un diseño de la complejidad computacional dentro de la lógica cuántica, debido a que la lógica cuántica es una ciencia en pleno desarrollo, todavía no hay computadores cuánticos capaces de superar a los computadores clásicos, la supremacía cuántica por ahora es algorítmica y teórica. Se desarrolla la complejidad computacional desde las Máquinas de Turing, con la lógica de la computación clásica, los algoritmos computacionales clásicos, el determinismo y la secuencialidad de los computadores clásicos. Las Máquinas de Turing son máquinas secuenciales, deterministas, y en la práctica son modelos teóricos de los computadores clásicos. Aunque existen Máquinas de Turing no deterministas a nivel teórico, en la práctica los computadores clásicos son deterministas. Se desarrolla la lógica cuántica dentro de la computación cuántica, con algoritmos cuánticos, el no determinismo y la no secuencialidad. Por último, se comparan las características de la lógica clásica frente a la lógica cuántica, encontrándose que la supremacía cuántica se da por las características no deterministas que tiene la computación cuántica, especialmente el paralelismo, la superposición y el entrelazamiento cuántico."
700	1		_967976 _aMontealegre Cárdenas, Mauro, _edrt
082	0	4	_221 _aTh MEIC 066
650		0	_9150555 _aLógica Matemática _xComplejidad Computacional
650		0	_9150556 _aMatemáticas - Algoritmo _xMáquina de Turing
942			_2Local _cCD _hTh MEIC 066 _kTh