Professional Documents
Culture Documents
FINALIDAD
BASES LEGALES
ORIENTACION
Articular acciones conjuntas con el sistema educativo diversificado y
profesional, con
el fin de proporcionar orientacin vocacional e informacin detallada de
los programas
de formacin ofertados por las Universidad en correspondencia con las
necesidades
regionales.
Establecer un diagnstico de exploracin vocacional actitudinal y de
Consejos estudiantiles
Centros de estudiantes
Ley de evaluacin estudiantil
Asociaciones nacionales, regionales y locales
Ministerio del Poder popular para la educacin Universitaria
Internet
Robtica
Computadoras de propsito especfico
Dinero electrnico
BASES LEGALES
El objetivo primordial de las bases legales de las TIC es acoger un
marco normativo que garantice todo lo relacionado con las
innovaciones tecnolgicas en los aspectos; social, econmico,
educativo entre otros. Con el avasallante avance de las TIC el Estado
Venezolano ha venido profundizando en la promocin de polticas
pblicas y en el establecimiento de una base legal para motivar y
fortalecer la infraestructura de las mismas, facilitar su acceso y uso en
todos los niveles de la poblacin, a travs de los gobierno regionales y
municipales, que a su vez invierten recursos en la capacitacin del
talento humano necesario para multiplicar ticamente el proceso de
alfabetizacin tecnolgica.
Destacando
que el proceso regulatorio va a la retaguardia del
vertiginoso desarrollo tecnolgico, debido a que el primero es efecto de
los cambios acelerados y de los imaginados alcances que ocurren a
diario en el rea tecnolgica.
El ordenamiento jurdico del pas, no estaba en condiciones de absorber
la tendencia tecnolgica que recorra el mundo entero. Es a partir del
ao 1999 con la aprobacin de la Constitucin actual y con la creacin
del Ministerio de Ciencia y Tecnologa, que se fundamentan las bases
para llevar a cabo todas las actividades referentes a la incorporacin
de Venezuela a la nueva Era Tecnolgica.
En primer lugar para especificar el punto de partida en el aspecto legal
de las TIC, podemos citar los artculos 108 y 110 de la
Constitucin de la Repblica Bolivariana de Venezuela, en donde se
establece que el estado garantizar los servicios de radio, televisin,
redes de biblioteca y de informtica reconociendo as el acceso
universal de la informacin en todos los sectores como factor clave
para
el
desarrollo
econmico
del
pas.
Por
otro lado
la
Ley
Orgnica de
Educacin
ampara
las
TIC, agregando en el artculo 9 "La incorporacin y aplicacin de las
nuevas tecnologas en todas las etapas del sistema educativo. Del
mismo modo existe la Ley Orgnica de Ciencia, Tecnologa e
Innovacin, que orienta, organiza y establece los proyectos que se
llevarn a cabo en materia de tecnologa, fomentando la correcta
implementacin
de
los
mecanismos
establecidos
en la
ley.
1.
2.
3.
4.
5.
MATEMATICA
1. HISTORIA DE LA LOGICA COMO AREA DE LA MATEMATICA
La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican o definen nociones intuitivas de objetos
matemticos como conjuntos, nmeros, demostraciones, y algoritmos,
utilizando un lenguaje formal. La lgica matemtica suele dividirse en
cuatro subcampos: teora de modelos, teora de la demostracin, teora de
conjuntos y teora de la recursin. La investigacin en lgica matemtica
ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las
expresiones: lgica simblica (o logstica), lgica matemtica, lgica
teortica y lgica formal.
Siglo XIX: Previamente ya se hicieron algunos intentos de tratar las
operaciones lgicas formales de una manera simblica por parte de
algunos filsofos matemticos como Leibniz y Lambert, pero su labor
permaneci desconocida y aislada. A partir de la segunda mitad del siglo
XIX, la lgica sera revolucionada profundamente. En 1847, George Boole
public un breve tratado titulado El anlisis matemtico de la lgica, y en
1854 otro ms importante titulado Las leyes del pensamiento. La idea de
Boole fue construir a la lgica como un clculo en el que los valores de
verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que
se les aplican operaciones matemticas como la suma y la multiplicacin.
Siglo XX: El siglo XX sera uno de enormes desarrollos en lgica. A partir
del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo
por sus virtudes como propedutica, por lo que se estudi a niveles mucho
ms abstractos. En 1910, Bertrand Russell y Alfred North Whitehead
publican Principia mathematica, un trabajo monumental en el que logran
gran parte de la matemtica a partir de la lgica, evitando caer en las
paradojas en las que cay Frege. Los autores reconocen el mrito de Frege
en el prefacio. Si bien a la luz de los sistemas contemporneos la lgica
aristotlica puede parecer equivocada e incompleta, Jan ukasiewicz
mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era
consistente, si bien haba que interpretarse como lgica de clases, lo cual
no es pequea modificacin. Por ello la silogstica prcticamente no tiene
uso actualmente.
Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio
el desarrollo de muchos otros sistemas lgicos; entre los que destacan las
muchas lgicas modales.
OPERACIONES VERITATIVAS
Las operaciones veritativas son aquellas que se forman uniendo
varias proposiciones mediante el uso de operadores lgicos,
permitindonos crear nuevas proposiciones llamadas moleculares. La
forma general de la funcin veritativa es una variable que expresa el
miembro general de una serie de formas. Las funciones veritativas pueden
ordenarse en una serie de formas debido a que todas son resultado de la
aplicacin sucesiva de una operacin veritativa. La expresin del miembro
general de la serie de formas veritativas nos permite expresar la
proposicin general q es un sucesor de p. Cualquier funcin veritativa es
un sucesor de las proposiciones elementales. La notacin de la forma
general de la funcin veritativa puede leerse segn esta convencin.
CONSTRUCCION Y RESOLUCION DE TABLA DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que
muestra el valor de verdad de una proposicin compuesta, para cada
combinacin de verdad que se pueda asignar. Fue desarrollada por Charles
Sanders Peirce por los aos 1880, pero el formato ms popular es el que
introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
En realidad toda la lgica est contenida en las tablas de verdad, en ellas
se nos manifesta todo lo que implican las relaciones sintcticas entre las
diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
esquema
de
todas
las