Importancia de la enseñanza de la Lógica Matemática

La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemática; lo que convierte a la lógica en una especie de metamatemática; Una teoría matemática considera objetos definidos enteros, por ejemplo. Y define leyes que relacionan a estos objetos entre sí, lo...

詳細記述

保存先:
書誌詳細
第一著者: Súarez Vera, Arsenio Albino (author)
フォーマット: bachelorThesis
言語:spa
出版事項: 2012
主題:
オンライン・アクセス:http://repositorio.ug.edu.ec/handle/redug/14599
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
その他の書誌記述
要約:La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemática; lo que convierte a la lógica en una especie de metamatemática; Una teoría matemática considera objetos definidos enteros, por ejemplo. Y define leyes que relacionan a estos objetos entre sí, los axiomas de la teoría. De los axiomas se deducen nuevas proposiciones: los teoremas, y a veces, nuevos objetos. La construcción de sistemas formales: formalización, piedra angular de la lógica matemática, permite eliminar la arbitrariedad en la elección de los axiomas y definir explícita y exhaustivamente las reglas de la deducción matemática. La lógica matemática es parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencia de la computación y la lógica filosófica. La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como los conjuntos, números, demostraciones y computación. L a lógica matemática suele dividirse en cuatro sub-campos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursiòn. La investigación en lógica matemática a jugado un papel fundamental en el estudio de los fundamentos de la matemática. El proyecto aportará al mejoramiento del rendimiento académico de los estudiantes del tercer año de bachillerato, quienes estarán en capacidad de resolver problemas matemáticos en forma precisa y rápida. XVI RAZONAMIENTO LÒGICO MATEMÀTICO EDUCACIÒN ABSTRACCIÒN