Professional Documents
Culture Documents
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
Ingeniera
en Computacin
en informtica
de software
de sistemas
en sistemas de informacin
estadstica
en telecomunicaciones
en conectividad y redes
en telecomunicaciones, conectividad y redes
en Sistemas Computacionales
la ingeniera tiene varios campos de aplicacin dcomo lo son las ciencias de la comp
utacin esto implica que la ingeniera es un subconjunto de las ciencias de la compu
tacin, es decir: las ciencias de la computacin estn por en sima de las ingenieras ya
que en estas solo se preocupan por la "tcnica" y no por entender de una manera p
rofunda lo que de verdad es la computacin es por eso que varios ingenieros termin
an haciendo cosas administrativas porque no estn preparados para desarrollarse co
mo verdaderos cientficos ya que un verdadero cientfico estudia las bases tericas y
practicas de un rea de la ciencia como lo son las ciencias de la computacin, la li
cenciatura en ciencias de la computacion te van a preparar para que te desarroll
es como un verdadero cientifico.
Hay muchos tipos de ciencia pero aqui solo te voy a hablar de las ciencias forma
les que son aquellas ciencias que establecen el razonamiento lgico y trabajan con
ideas creadas por la mente. Esta crea su propio objeto de estudio; su mtodo de t
rabajo es el lgico inductivo, con todas sus variantes. Las ciencias formales estu
dian el saber en contraposicin a las ciencias factuales que estudian el ser.
Algunos ejemplos de las ciencias formales son: matemticas, la lgica, ciencias de l
a computacin terica, fisica, etc.....
Las ciencias formales estudian el razonamiento y no el contenido de los saberes
osea la tecnica, aqui esta la diferencia entre la ingenieria y la licenciatura e
n ciencias de la computacion. Los dos modos de demostracin ms frecuentes usados po
r las ciencias son la induccin y la deduccin, este ltimo es el modo que usan de man
era casi exclusiva las ciencias formales, la deduccin es un proceso de razonamien
to que va de unas premisas generales a una conclusin particular.
El ideal metodolgico de las ciencias formales se basa en constituirse en un siste
ma axiomtico, que est compuesto de los siguientes elementos:
* Axiomas: verdades que aceptamos como verdaderas pero que no podemos razonar. E
jemplo: el todo es mayor que la parte.
* Reglas de formacin: Reglas que nos indican la manera vlida de relacin entre los e
lementos lingsticos. Todo sistema formal tiene smbolos, los elementos y los operado
res.
* Reglas de transformacin: transforman expresiones bien formadas del lenguaje en
otras bien formadas.
* Teoremas: Verdades que se derivan de los axiomas.
La estructura y el alcance de un sistema aximtico estn determinados por sus axioma
s. aqui es donde un licenciado en ciencias de la computacion se diferencia de un
simple ingeniero, un licenciado DEMUESTRA, SABE HACER DEMOSTRACIONES MATEMATICA
S por otro lado un ingeniero solo sabe hacer calculos "matematicos" muy basicos.
Que