16
Las Ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos. Ciencias de la computación De Wikipedia, la enciclopedia libre Las ciencias de la computación o ciencias computacionales son aquellas que abarcan las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales. 123 El cuerpo de conocimiento de las ciencias de la computación es frecuentemente descrito como el estudio sistemático de los procesos algorítmicos que describen y transforman información: su teoría, análisis, diseño, eficiencia, implementación y aplicación. 4 Es el estudio sistemático de la factibilidad, estructura, expresión y mecanización de procedimientos metódicos (o algoritmos) que subyacen en la adquisición, representación, procesamiento, almacenamiento, comunicación y acceso a la información si dicha información está codificada en forma de bits enuna memoria de computadora o especificada en una estructura de genes y proteínas en una célula biológica. 5 Existen diversos campos o disciplinas dentro de las ciencias de la computación o ciencias computacionales; algunos resaltan los resultados específicos del cómputo (como los gráficos por computadora), mientras que otros (como la teoría de la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cómputo y otros se enfocan en los problemas que requieren la implementación de sistemas computacionales. Por ejemplo, los estudios de la teoría de lenguajes de programación describen un cómputo, mientras que la programación de computadoras aplica lenguajes de programación específicos para desarrollar una solución a un problema computacional específico. Un científico de la computación o computólogo se especializa en teoría de la computación y en el diseño e implementación de sistemas de computacionales. 6 Según Peter J. Denning, la cuestión fundamental en que se basa la ciencia de la computación es: «¿Qué puede ser (eficientemente) automatizado?». 7 Índice 1 Historia 1.1 Mayores logros 2 Filosofía 2.1 Desambiguación 3 Campos de las ciencias de la computación 3.1 Ciencias de la computación teóricas 3.2 Teoría de la computación 3.3 Teoría de la información y códigos 3.4 Algoritmos y estructuras de datos 3.5 Teoría de lenguajes de programación

Ciencias y La Computacion

Embed Size (px)

DESCRIPTION

leamos un poco de ciencia

Citation preview

  • LasCienciasdelacomputacinestudianlosfundamentostericosdelainformacinyelcmputo,juntocontcnicasprcticasparalaimplementacinyaplicacindeestosfundamentostericos.

    CienciasdelacomputacinDeWikipedia,laenciclopedialibre

    Las ciencias de la computacin o cienciascomputacionales son aquellas que abarcan las basestericas de la informacin y la computacin, as como suaplicacinensistemas computacionales.1 2 3El cuerpodeconocimiento de las ciencias de la computacin esfrecuentementedescritocomoelestudiosistemticodelosprocesos algortmicos que describen y transformaninformacin: su teora, anlisis, diseo, eficiencia,implementacinyaplicacin.4

    Es el estudio sistemtico de la factibilidad, estructura,expresinymecanizacindeprocedimientosmetdicos (oalgoritmos)quesubyacenenlaadquisicin,representacin,procesamiento, almacenamiento, comunicacin y acceso alainformacinsidichainformacinestcodificadaenformadebitsenunamemoriadecomputadoraoespecificadaenunaestructuradegenesyprotenasenunaclulabiolgica.5

    Existendiversoscamposodisciplinasdentrodelascienciasde la computacin o ciencias computacionales algunosresaltan los resultados especficos del cmputo (como losgrficos por computadora), mientras que otros (como lateora de la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizarcmputoyotrosseenfocanenlosproblemasquerequierenlaimplementacindesistemascomputacionales.Porejemplo, los estudios de la teora de lenguajes de programacin describen un cmputo, mientras que laprogramacindecomputadorasaplica lenguajesdeprogramacinespecficosparadesarrollarunasolucinaunproblemacomputacionalespecfico.Uncientficodelacomputacinocomputlogoseespecializaenteoradelacomputacinyeneldiseoeimplementacindesistemasdecomputacionales.6

    SegnPeterJ.Denning,lacuestinfundamentalenquesebasalacienciadelacomputacines:Qupuedeser(eficientemente)automatizado?.7

    ndice

    1Historia1.1Mayoreslogros

    2Filosofa2.1Desambiguacin

    3Camposdelascienciasdelacomputacin3.1Cienciasdelacomputacintericas3.2Teoradelacomputacin3.3Teoradelainformacinycdigos3.4Algoritmosyestructurasdedatos3.5Teoradelenguajesdeprogramacin

  • CharlesBabbageesreconocidoporinventarlaprimeracomputadoramecnica.

    3.5Teoradelenguajesdeprogramacin3.6Mtodosformales3.7Cienciasdelacomputacinaplicadas3.8Inteligenciaartificial3.9Arquitecturadecomputadoras3.10Anlisisderendimientodecomputadoras3.11Cmputocientfico3.12Redesdecomputadoras3.13Sistemasconcurrentes,paralelosydistribuidos3.14Basesdedatos3.15Informticaensalud3.16Cienciadelainformacin3.17Ingenieradesoftware

    4Relacinconotroscampos5Vasetambin6Referencias7Bibliografa8Enlacesexternos

    Historia

    La historia de la ciencia de la computacin antecede a la invencin delcomputador digital moderno. Antes de la dcada de 1920, el trminocomputador se refera a un ser humanoque realizaba clculos.8Losprimeroscimientosdeloqueseconvertiraencienciasdelacomputacinsonanterioresalainvencindelacomputadoradigitalmoderna.Setratabademquinasparaelclculo de las tareas numricas fijas, como el baco han existido desde laantigedad, ayudando en clculos tales como la multiplicacin y la divisin.Adems, losalgoritmospara realizarclculoshanexistidodesde laantigedad,incluso antes de que se crearan equipos de computacin sofisticados. LosantiguossnscritostratadistasShulbaSutras,o"Reglasdelacuerda",esunlibrodealgoritmosescritosen800a.C.paralaconstruccindeobjetosgeomtricoscomoaltaresutilizandounaclavijaycuerda,unprecursor tempranodelcampomodernodelageometracomputacional.

    BlaisePascaldiseyconstruyolaprimeracalculadoramecnicadetrabajo,laPascalina, en 1642.9 En 1673 Gottfried Leibniz cre una calculadora mecnica digital, llamada el 'SteppedReckoner'.10lpuede ser consideradoelprimercomputlogoy tericode la informacin, entre otras razones,porquefueelprimeroendocumentarelsistemanumricobinario.En1820,CharlesXavierThomasdeColmarlanzlacalculadoramecnicaindustrial11cuandolanzsusimplificadoaritmmetro,quefuelaprimeramquinadecalcular lo suficientemente fuerte y lo suficientemente confiable para ser usada a diario enun entorno industrial.CharlesBabbage inici el diseo de la primera calculadoraautomticamecnica, sumquinadiferencial, en1822,quefinalmentelediolaideadelaprimeracalculadoramecnicaprogramable,sumquinaanaltica.12lcomenz a desarrollar esta mquina en 1834 y "en menos de dos aos que haba esbozado muchas de lascaractersticasmsdestacadasdelmodernoequipo.Unpasofundamentalfuelaadopcindeunsistemadetarjetasperforadas derivado del telar de Jacquard"13 hacindolo infinitamente programable.14 En 1843, durante latraduccindeunartculofrancssobrelamquinaanaltica,AdaLovelaceescribi,enunadelasmuchasnotas

  • AdaLovelaceesreconocidaporescribirelprimeralgoritmoprocesadoporunacomputadora.

    que incluyeelartculo,unalgoritmoparacalcular losnmerosdeBernoulli, queesconsideradocomoelprimerprograma de ordenador.15 Al rededor de 1885, Herman Hollerith invent la mquina tabuladora, que usabatarjetasperforadasparaprocesarinformacinestadsticafinalmente,sucompaaseconvirtienpartedeIBM.En1937,cienaosdespusdelsueoimposibledeBabbage,HowardAikenconvencidosporIBM,queestabanmanufacturando todo tipo de equipos de tarjetas perforadas y as como la calculadora de negocio 16 paradesarrollarsucalculadoraprogramablegigante,elASCC/HarvardMarkI,sebasenlamquinaanaltica deBabbage, que a su vez utiliza las tarjetas perforadas y una unidad central de clculo. Cuando se termin deconstruirlamquina,algunaspersonasloaclamaroncomo"elsueodeBabbagehechorealidad".17

    Durante la dcada de 1940, conforme se desarrollaban nuevas y ms poderosas mquinas para computar, eltrminocomputador se comenz a utilizar para referirse a lasmquinas y yano a sus antecesores humanos.18Cuando sehizoevidenteque las computadorasno solamentepodranutilizarsepararealizarclculosmatemticos,elcampodelascienciasdelacomputacinseampli para estudiar cmputo en general. Las ciencias de la computacinempezaronaestablecersecomounadisciplinaacadmicadistintade lasdemsen la dcada de 1950 y principios de 1960.7 19 Entonces surgi el primerprograma de grado universitario mundo, el Cambridge Diploma in ComputerScience, se inicien laUniversidaddeCambridge en elCambridgeComputerLab(departamentodecienciasdelacomputacin)en1953.Elprimerprogramadegradouniversitarioencienciasde la computacinen losEstadosUnidos seformenUniversidaddePurdueen1962.20Desdequesedisponeordenadoresprcticos,muchasaplicacioneslacomputacinsehanconvertidoenlasdistintasreasdeestudioensuspropiostrminos.

    Ladisciplina cientfica de las ciencias de la computacin nace a principios de1940 con la confluencia de la teora de algoritmos, lgica matemtica y lainvencindelprogramaalmacenadoenunacomputadoraelectrnica.4EjemplosdeestosonlostrabajosdeAlanTuring,AlonzoChurchyKurtGdelen1930acerca de los algoritmos y su trabajo en sistemas de reglas (vase ClculoLambda,MquinadeTuringyProblemas Indecidibles), los algoritmos creadosporAugustaAda sesenta aos antes, la computadora analgica construida por VannevarBush en 1920 y lascomputadoras elctricas construidas por Howard Aiken y Konrad Zuse en 1930. Los escritos de John VonNeumanndieronunaprofundidadintelectualconsiderableaestadisciplinaemergenteamediadosdeladcadade1940.

    En1960,habasuficientementecuerpodeconocimientoqueameritabalacreacindedepartamentosacadmicosyprogramasdegradouniversitarioparaestadisciplina.4IBMesreconocidacomolamarcaqueformpartedelarevolucin de las ciencias de la computacin durante ese tiempo. IBM (abreviacin de International BusinessMachines) lanz la IBM 70421 y ms tarde la IBM 70922 computadoras, que fueron ampliamente utilizadasduranteelperododeexploracindeestetipodedispositivos."Sinembargo,eltrabajoconlaIBM[equipo]erafrustrante...siteequivocasenunaletradealgunainstruccin,elprogramasearruinara,ysetendraqueempezartodoelprocesootravez".23Duranteladcadade1950,ladisciplinadelascienciasdelacomputacinestabaensu etapa de desarrollo, y estos problemas eran algo comn. El tiempo ha dado mejoras significativas en lacapacidaddeusoylaeficaciadelatecnologadelacomputacin.Lasociedadmodernahapresenciadouncambiosignificativoenlosusuariosdelatecnologaencmputo,deserutilizadanicamenteporexpertos,profesionalesycientficos,aunabasedeusuariosqueescasiomnipresentealateoraconlacualsedesarrollyfuncionaestetipo

  • ElejrcitoalemnusolamquinaenigmadurantelaSegundaGuerraMundialsusistemadecifradofuefinalmentedescubiertoylalecturadelainformacinquecontenanlosmensajessupuestamenteencriptadosesconsiderado,aveces,comolacausadehaberpodidoconcluirlaSegundaGuerraMundialalmenosdosaosantesdeloquehubieraacaecidosinsudescifrado.EldescifradoagranescaladeltrficodeEnigmaenBletchleyParkfueunodelosfactoresmsimportantesquecontribuyeronalavictoriaAliada.24

    de tecnologa. Inicialmente, lascomputadoraseranbastantecostosas,yeranecesariounciertogradodeayudahumanaparaelusoeficienteenpartedeoperadoresdecomputadorasprofesionales.Comolaadopcinequiposehizomsgeneralizadoyasequible,senecesitabamenosasistenciahumanaenelusocomn.

    Mayoreslogros

    Apesar de su corto tiempo de ser una disciplina cientfica formal, lascienciasdelacomputacinhanhechoungrannmerodecontribucionesimportantes a la ciencia y la sociedad de hecho, junto con laelectrnica,esunaciencia fundacionalde lapocaactualde lahistoriahumanallamadaEradelainformacinylaRevolucindelaInformacin,visto como el tercer gran salto en el progreso tecnolgico humanodespusdelaRevolucinIndustrial(17501850)ylarevolucinneoltica(80005000a.C.).

    Estascontribucionesalahumanidadincluyen:

    Elcomienzodela"Revolucindigital",lacualincluyelaactualEradelainformacinyelInternet.25Una definicin formal de computacin y computabilidad, y unademostracin formal de que existen problemas que soncomputacionalementeirresolubleseintratables.26Elconceptodelenguajedeprogramacin,unaherramientaparalaexpresinprecisadeinformacinmetodolgicaavariosnivelesdeabstraccin.27Encriptologa,elcriptoanlisisdeEnigmafueunfactorimportante,el cual contribuy a la victoria Aliada en la Segunda GuerraMundial.24Cmputo Cientfico permiti la evaluacin de procesos ysituaciones de gran complejidad, as como la experimentacinmediantesoftware.Tambinpermitielavanceeninvestigacindela mente humana y el mapeo del genoma humano junto elProyectoGenomaHumano.25proyectosdeCmputoDistribuidotales como Folding@home que estudiaron el plegamiento deprotenas.ElComercioalgortmicohaincrementadolaeficienciaylaliquidezde los mercados financieros mediante tcnicas de inteligenciaartificial, aprendizaje automtico, y otrosmtodos estadsticos ynumricos a gran escala.28 Alta frecuencia de comercioalgortmicotambinpuedeexacerbarlavolatilidadfinanciera.29Computacingrfica e imgenesgeneradaspor computadora se han convertido omnipresentes en la eramoderna del entretenimiento, sobre todo en televisin, cine, publicidad, animacin y videojuegos.[citarequerida]

    Simulacindevariosprocesos,incluyendodinmicadefluidoscomputacionales,sistemasfsicos,elctricos,electrnicosydecircuitos,ascomolassociedadesylassituacionessociales(sobretodojuegosdeguerra),juntoconsushbitats,entremuchosotros.Lascomputadorasmodernaspermitenlaoptimizacindediseostalescomoavionescompletos.SedestacaeldiseodecircuitoselctricosyelectrnicosconSPICE, ascomosoftwareparalarealizacinfsicadenuevosdiseos.Esteltimoincluyesoftwaredediseoesencial

  • paracircuitointegrados.LaInteligenciaartificial(IA)escadavezmsimportante,yaquesehacemseficienteycompleja.ExistenmuchasaplicacionesdelaIA,algunassepuedenverenelhogar,talescomoaspiradoresrobticos.Tambinest presente en los videojuegos y en el campo de batalla moderno en aviones no tripulados, sistemasantimisiles,yrobotsdeapoyoparaescuadrones.

    Filosofa

    Ungran nmero de cientficos de la computacin han argumentado a favor de la distincin de tres paradigmasdiferentesencienciasde lacomputacin.PeterWegnerha argumentadoqueesosparadigmas son la ciencia, latecnologa y las matemticas.30 El grupo de investigacin de PeterDenning argument que son la abstraccin(modelado),ydiseo.AmnonH.Edenlodescribecomoelparadigmaracionalista(elcualtrataalascienciasdela computacin comouna ramade lasmatemticas, la cual prevalence en ciencias de la computacin terica yprincipalmente emplea el razonamiento deductivo), el paradigma tecnocrtico (que podra ser encontrado enenfoques ingenieriles, ms prominente en la ingeniera de software) y el paradigma cientfico (que se enfoca aobjetos relacionadoscon lacomputacindesde laperspectivaempricade lasciencias naturales identificable enalgunasramasdelainteligenciaartificial.

    Desambiguacin

    El trmino ciencias de la computacin aparece en1959 enun artculode la revistaCommunications of theACM (prestigiada publicacin cientfica destinada a lectores con experiencia en todos los mbitos de lacomputacinylossistemasdeinformacin),31enelcualLouisFeindiscutesobrelacreacindeunaEscueladeEstudiosdePosgradoenCienciasComputacionalesanlogaalacreacindeHarvardBusinessSchoolen1921,32justificandoelnombreconelargumentodeque:Comolacienciaadministrativa,eltemaoreadeconocimientopuedeseraplicado,esdecarcter interdisciplinarioyquecuentacon lascaractersticas tpicasdeunadisciplinaacadmica.33Susesfuerzosylosdeotros,comoelanalistanumricoGeorgeForsythe, fueron recompensados :universidades pasaron a crear este tipo de programas de estudio, a partir de 1962 en Purdue.34 A pesar delnombre de esta disciplina acadmica, una cantidad significativa de tpicos en ciencias de la computacin noinvolucranelestudiodelascomputadoras,porestaraznmuchosnombresalternativoshansidopropuestos.35

    Algunosdepartamentosdeuniversidadesprefierenel trminocienciasdelacomputacinparahacernfasisenestadiferencia.ElcientficodansPeterNaur sugiriel trminodatologa,36 para reflejar elhechodequeestadisciplinacientficagiraentornoalosdatosyaaltratamientodeestos,mientrasquenonecesariamenteinvolucraalas computadoras. La primer institucin cientfica en usar el trmino fue el Departamento de Datologa de laUniversidaddeCopenhague,fundadoen1969,conPeterNaurcomoprofesordedatologa.Eltrminoesusadoenpasesescandinavos.Enlosprimerosaosdelacomputacin,unnmerodeterminusparalospracticantesdelcampo de la computacin fueron propuestos en la revista Communications of the ACM turingeniero,turologo,hombredelosdiagramasdeflujo,matemticometaaplicado,andepistemologoaplicado.37Tresmesesdespusenesamismapublicacincientfica,el trminocomputlogo fuesugerido.El siguienteaoen lamismapublicacinsurgiel trminohypologo.38El trminocomputica tambinhasidosugerido.39EnEuropa,trminos derivados de traducciones de la expresin "automatic information" (e.g. "informazione automatica" enItaliano) or "informacin y matemticas son frecuentemente usados, e.g. informatique (francs), Informatik(alemn),Informatica (Italia,PasesBajos), Informtica (EspaayPortugal), informatika (lenguas eslavas) opliroforiki(,quesignificainformtica)enGriego.Palabrassimilareshansidoadoptadasenalgunos

  • lugaresdelReinoUnido,porejemploenlaUniversidaddeEdimburgo.40Peroestasnoreflejanelaspectodelacomputabilidad,porestaraznenuncontextodeinvestigacincientficatantoacadmicacomoindustrialeltrminocienciasdelacomputacinesmayormenteusadoenpublicacionesyconferenciascientficas.

    Camposdelascienciasdelacomputacin

    Comodisciplinacientfica,lascienciasdelacomputacinabarcanunagamadetemas,desdelosestudiostericosde los algoritmos y los lmites de la computacin a los problemas prcticos de la implementacin de sistemascomputacionalesenhardwareysoftware.4142ComputingSciencesAcreditationBoardolaJuntadeAcreditacinen Ciencias de la Computacin. Compuesta por representantes de la Association for Computing Machinery(ACM),ylaSociedaddeComputacinIEEE(IEEECS)43identificacuatroreasqueconsideracrucialesparala disciplina de ciencias de la computacin: teora de la computacin, algoritmos y estructuras de datos,metodologaylenguajesdeprogramacin,arquitecturadecomputadoras.Ademsdeestascuatroreas,C.S.A.B.tambin identifica mbitos como la ingeniera de software, inteligencia artificial, redes de computadoras y detelecomunicaciones, sistemas de bases de datos, computacin paralela, computacin distribuida, la interaccinpersonacomputador, grficos por ordenador, sistemas operativos, clculo numrico y simblico siendoimportantesreasdelascienciasdelacomputacin.41

    Cienciasdelacomputacintericas

    Elcampomsampliodelacienciadelacomputacintericaabarcatantolateoraclsicadelacomputacinyunaamplia gama de otros temas que se centran en los aspectos ms abstractos, lgicos y matemticos de lacomputacin.

    Teoradelacomputacin

    De acuerdo a Peter J. Denning, la pregunta fundamental en ciencias de la computacin es, Que puede sereficientementeautomatizado?7Elestudiode la teorade lacomputacinestaenfocadoen responderpreguntasfundamentalesacercadequepuedesercomputadoyquecantidadderecursossonrequeridosparaejecutartalescmputos. En un esfuerzo por resolver esta pregunta, la teora de la computabilidad examina que problemascomputacionalessepuedenresolverenvariosmodelostericosdecmputo.Lasegundapreguntaestdirigidaporla teora de la complejidad computacional, que estudia los costos de tiempo y espacio asociados a diferentesenfoquespararesolverunamultituddeproblemascomputacionales.

    Elfamosoproblema"P=NP?"esunodelosProblemasdelmilenio,44esunproblemaabiertoencienciasde lacomputacin.

    P=NP? GNITIRWTERCES

    Teoriadeautomatas

    Teoriadelacomputabilidad

    Teoriadelacomplejidadcomputacional Criptografa

    Computacincuntica

  • Teoradelainformacinycdigos

    Lateoradelainformacinestarelacionadaalacuantificacindelainformacin.FuedesarrolladaporClaudeE.Shannonparadesarrollarloslmitesfundamentalesdelprocesamientodesealesascomosusoperaciones,talescomocompresinyalmacenamientodedatosascomolacomunicacindelosdatosdemanerafiable.45Lateoradecdigoseselestudiodelaspropiedadesdeloscdigos(sistemasparaconversindeinformacindeunlugaraotro) y su ajuste para una aplicacin especfica. Los cdigos son usados para comprimir datos, criptografa,deteccinycorreccindeerroresymsrecientementeparalacodificacinderedes.Loscdigossonestudiadosparaelpropsitodedisearmtodoseficientesysegurosparalatransmisindedatos.

    Algoritmosyestructurasdedatos

    Los algoritmos y las estructuras de datos son el estudio demtodos computacionales comnmente usados ascomosueficienciacomputacional.

    Anlisisdealgoritmos Algoritmos

    Estructurasdedatos

    Optimizacincombinatoria

    Geometracomputacional

    Teoradelenguajesdeprogramacin

    Lateoradellenguajedeprogramacinesunaramadelascienciasdelacomputacinqueseocupadeldiseo,implementacin, anlisis, caracterizacin y clasificacin de los lenguaje de programacin y sus caractersticasindividuales,caedentrodeladisciplinadelascienciasdelacomputacin,tantoendependenciadelasmatemticasylalingstica.Esunreadeinvestigacinactiva,connumerosasrevistasacadmicasyconferenciasespecializadaseneltema.

    Teoradetipos Compiladores Lenguajesdeprogramacin

    Mtodosformales

  • Losmtodosformalessonuntipoparticulardelatcnicabasadaenlasmatemticasparalaespecificacinformal,desarrolloyverificacinformaldelossistemasdesoftwareyhardware.Elusodemtodosformalesparaeldiseodesoftwareyhardwareestmotivadoporlaexpectativadeque,comoenotrasdisciplinasdelaingeniera,comoenotrasdisciplinascomoenlasingenieras,larealizacindeunanlisismatemticoadecuadopuedecontribuiralafiabilidad y robustez de un diseo. Estos forman una importante base terica para la ingeniera de software,especialmentecuandoest involucrado la seguridado robustez.Losmtodos formales sonuncomplementotilparalaspruebasdesoftware,yaqueayudanaevitarerroresytambinpuedendarunmarcoparahacerpruebas.Parasuusoindustrial,serequiereelapoyodeherramientas.Sinembargo,elaltocostodelautilizacindemtodosformalessignificaqueporlogeneralsloseutilizaneneldesarrollodesistemascrticosdealtaintegridaddondelavidaolaseguridadesdemuyaltaimportancia.Losmtodosformalessedescribenmejorcomolaaplicacindeunbastante amplia variedad de tericos fundamentales de la informtica, en particular, los clculos lgica, loslenguajes formales, la teoradeautmatas,y lasemnticade losprogramas, sino tambinde tipodesistemasytiposdedatosalgebraicosalosproblemasenelsoftwareyhardwaredeespecificacinyverificacin.

    Losmtodosformalessedescribenmejorcomolaaplicacindeunaampliavariedaddefundamentostericosdelas ciencias de la computacin, enparticular la lgica computacinal, lenguajes formales, teora de autmatas ySemnticadelenguajesdeprogramacinperotambinreascomosistemasdetiposytiposdedatosalgebraicosaproblemasenlaespecificacinyverificacindesoftwareyhardware.

    Cienciasdelacomputacinaplicadas

    Las ciencias de la computacin aplicadas tratan de identificar ciertos aspectos conceptuales y tericos de lascienciasdelacomputacinquepuedenseraplicadosdirectamentepararesolverproblemasdelmundoreal.

    Inteligenciaartificial

    Estaramadelascienciasdelacomputacinpretendeoesrequeridaparalasntesisdeprocesosmetaorientadostalescomolaresolucindeproblemas,tomadedecisiones,laadaptacindelmedioambiente,elaprendizajeylacomunicacinqueseencuentranenlossereshumanosylosanimales.DesdesusorgenesenlacibernticayenlaConferencia de Dartmouth (1956), la investigacin en inteligencia artificial (IA) ha sido necesariamentemultidisciplinaria, aprovechando reas de especializacin, tales como las matemticas, la lgica simblica, lasemitica, la ingeniera elctrica, la filosofa de la mente, la neurofisiologa, y la inteligencia social. La IAerrneamenteesasociadaenlamentepopularconeldesarrollorobtico,peroelprincipalcampodeaplicacinprctica ha sido como un componente integrado en las reas de desarrollo de software que requieren lacomprensinymodelacincomputacional,talescomolasfinanzasylaeconoma,lamineradedatosylascienciasfsicas.EltrminofueacuadoporelcientficodelacomputacinymatemticoJohnMcCarthyen1955.

    Aprendizajeautomtico Visinartificial Procesamientodeimgenes Reconocimientodepatrones

  • Cienciacognitiva Mineradedatos ComputacinevolutivaBsquedayrecuperacinde

    informacin

    Representacindelconocimiento

    Procesamientodelenguajenatural Robtica

    Cmputodeimgenesmedicas

    Arquitecturadecomputadoras

    Arquitecturadecomputadoresuorganizacindecomputadorasdigitales,eseldiseoconceptualy laestructuraoperacionalfundamentaldeunsistemacmputo.Secentraengranmedidadelamaneraenquelaunidadcentraldeprocesamientorealizainternamenteyaccedealasdireccionesenlamemoria.46Elcampoinvolucradisciplinasde la ingeniera en computacin y la ingeniera elctrica, la seleccin y la interconexin de los componentes dehardwareparacrearlosequiposquecumplenfunciones,derendimiento,ycostes.

    Lgicadigital Microarquitecturas Multiprocesamiento

    Sistemasoperativos

    Redesdecomputadoras

    Sistemasdegestindebasesdedatos

    Seguridaddelainformacin

  • Computacinubicua

    Arquitecturadesoftware Diseodecompiladores

    Lenguajesdeprogramacin

    Anlisisderendimientodecomputadoras

    Anlisisderendimientodelequipoeselestudiodeltrabajoquefluyeatravsdelosequiposconelobjetivogeneralde mejora de rendimiento y control de tiempo de respuesta, utilizando los recursos de manera eficiente, laeliminacindeloscuellosdebotella,ylaprediccinderendimientobajocargasmximasprevistas.47

    Cmputocientfico

    La ciencia computacional (o computacin cientfica) es el campo de estudio que trata con la construccin demodelosmatemticosytcnicasdeanlisiscuantitativosascomoelusodecomputadorasparaanalizaryresolverproblemascientficos.Enelusoprctico,estpicamentelaaplicacindesimulacinporordenadoryotrasformasdeclculoalosproblemasendiversasdisciplinascientficas.

    Anlisisnumrico Fsicacomputacional Qumicacomputacional Bioinformtica

    Redesdecomputadoras

    Estaramadelascienciasdelacomputacinquetienecomoobjetivogestionarlasredesentrecomputadorasentodoelmundo.

    Sistemasconcurrentes,paralelosydistribuidos

    Concurrenciaesunapropiedaddelossistemasenlosquevariosclculosestnejecutandodeformasimultnea,y,potencialmente, que interactan entre s. Un nmero de modelos matemticos han sido desarrollados para elclculoconcurrentegeneral,incluyendolasredesdePetri,clculosdeprocesoydelmodelodemquinadeaccesoaleatorio en paralelo. Un sistema distribuido se extiende la idea de la simultaneidad en varios ordenadoresconectados a travsdeuna red.Computadorasdentrodelmismo sistemadistribuido tienen supropiamemoriaprivada,ylainformacinesamenudointercambianentresparalograrunobjetivocomn.

  • Basesdedatos

    Unabasededatostienelaintencindeorganizar,almacenaryrecuperargrandescantidadesdedatosdeformasencilla. Bases de datos digitales se gestionanmediante sistemas de gestin de base de datos para almacenar,crear,manteneryconsultarlosdatos,atravsdemodelosdebasesdedatosylenguajesdeconsulta.Unabasededatosesunconjuntodedatosinterrelacionadosentresimismos.

    Informticaensalud

    InformticadelaSaludseocupadelastcnicascomputacionalesparalasolucindeproblemasenelcuidadodelasalud.

    Cienciadelainformacin

    Elcampoestudialaestructura,algoritmos,comportamientoeinteraccionesdelossistemasnaturalesyartificialesque guardan, procesan, acceden a y comunican informacin. Tambin desarrolla sus propios fundamentosconceptualesytericosyempleafundamentosdesarrolladosenotroscampos.

    Bsquedayrecuperacindeinformacin

    Representacindelconocimiento

    Procesamientodelenguajenatural

    Interaccinpersonacomputador

    Ingenieradesoftware

    Laingenieradesoftwareeselestudiodetodoslosaspectosinvolucradosenlaproduccindesoftware.Cubredesdeladeduccinderequerimientoshastafasesposterioresdelapuestaenservicio.Incluyediseo,codificacin,pruebas e implantacin.Normalmente el foco de la calidad se centra en lamantenibilidad del producto, pero,dependiendo del proyecto, el foco de la calidad podra estar enms de un requerimiento no funcional (NFR),como por ejemplo escalabilidad, robustez, eficiencia, seguridad, o interoperabilidad. Se trata de un enfoquesistemtico para la construccin de software, que implica la aplicacin de buenas prcticas y trazabilidad delproceso.PorsuampliacoberturamuchasvecesseentiendecomounadisciplinadeIngenieradonde,unadesusCienciasdebase,sonlasCienciasdeComputacin.

    Relacinconotroscampos

    Porserunadisciplinareciente,existenvariasdefinicionesalternativasparalacienciadelacomputacin.Estapuedeservistacomounaformadeciencia,matemticasounanuevadisciplinaquenopuedesercategorizadasiguiendolosmodelosactuales.

  • Lascienciasdelacomputacinfrecuentementesecruzanconotrasreasdeinvestigacin,talescomolafsicaylalingstica.Peroescon lasmatemticascon lasqueseconsideraque tieneungradomayorde relacin.EsoesevidenciadoporelhechodequelosprimerostrabajosenelreafueranfuertementeinfluenciadospormatemticoscomoKurtGdelyAlanTuring.Enlaactualidadsiguehabiendounintercambiodeideastilentreamboscamposenreascomolalgicamatemtica,lateoradecategoras,lateoradedominios,ellgebraylageometra.

    Otropuntoadestacaresque,apesardesunombre,lascienciasdelacomputacinraramenteinvolucranelestudiomismode lasmquinas conocidas comocomputadoras.Dehecho, el renombrado cientficoEdsgerDijkstra esmuycitadoporlafraseLascienciasdelacomputacinestntanpocorelacionadasconlascomputadorascomolaastronomaconlostelescopios.Lainvestigacinencienciasdelacomputacintambinsuelerelacionarseconotrasdisciplinas,comolacienciacognitiva,lafsica(vasecomputacincuntica),lalingstica,etctera.

    Larelacinentrelascienciasdelacomputacinylaingenieradesoftwareesuntemamuydiscutido,pordisputassobre loque realmente significael trmino ingenieradesoftware y sobre cmo sedefine a las ciencias de lacomputacin. Algunas personas creen que la ingeniera de software sera un subconjunto de las ciencias de lacomputacin.Otras,tomandoencuentalarelacinentreotrasdisciplinascientficasydelaingeniera,creenqueelprincipalobjetivodelascienciasdelacomputacinseraestudiarlaspropiedadesdelcmputoengeneral,mientrasqueelobjetivodelaingenieradesoftwareseradisearcmputosespecficosparalograrobjetivosprcticos,conloqueseconvertiraendisciplinasdiferentes.Estepuntodevistaeselquesostiene,porejemplo,Parnas(1998).Inclusohayotrosquesostienenquenopodraexistirunaingenieradesoftware.

    Losaspectosacadmicos,polticosydefinanciamientoenlasreasdecienciasdelacomputacintiendenaverseinfluidos drsticamente por el criterio del departamento encargado de la investigacin y la educacin en cadauniversidad, que puede estar orientado a lamatemtica o a la ingeniera. Los departamentos de ciencias de lacomputacin orientados a la matemticas tericas suelen alinearse del lado de la computacin cientfica y lasaplicacionesdeclculonumrico.

    El trmino computacin cientfica, que no debe confundirse con ciencia de la computacin, designa a todasaquellasprcticasdestinadasamodelar,plantearexperimentosyvalidarteorascientficassirvindosedemedioscomputacionales.Enestoscasoslacomputacinesunameraherramientayelesfuerzosedirigeaavanzarenloscampos objetivo (fsica, biologa,mecnica de fluidos, radiotransmisin,...),ms que en la propia ciencia de lacomputacin.

    Finalmente,elpblicoengeneralalgunasvecesconfundelacienciadelacomputacinconreasvocacionalesquetrabajan con computadoras o piensanque trata acercade supropia experiencia con las computadoras, lo cualsueleincluiractividadescomolosjuegos,lanavegacinwebyelprocesamientodetexto.Sinembargo,elpuntocentraldelacienciadelacomputacinvamsalldeentenderlaspropiedadesdelosprogramasqueseempleanparaimplementaraplicacionesdesoftwarecomojuegosynavegadoresweb,yutilizaeseentendimientoparacrearnuevosprogramasomejorarlosexistentes.48

    Vasetambin

    InformticotericoMatemticasIngenieraencomputacinProgramacinTeoradelacomputacinTeoradelacomplejidadcomputacional

  • ProblemasnoresueltosdelasCienciasdelaComputacinAnexo:Informticostericos

    Referencias

    1. "Computer science is the study of information" Department of Computer and Information Science(http://www.njit.edu/v2/archivecatalog/undergraduate/91/19und.html),GuttenbergInformationTechnologies

    2. "Computer science is the study of computation." Computer Science Department, College of Saint Benedict(http://www.csbsju.edu/computerscience/curriculum),SaintJohn'sUniversity

    3. "Computer Science is the study of all aspects of computer systems, from the theoretical foundations to the verypractical aspects of managing large software projects." Massey University(http://web.archive.org/web/http://study.massey.ac.nz/major.asp?major_code=2010&prog_code=93068)

    4. AnthonyRalston,EdwinD.Reilly,DavidHemmendinger(2000).EncyclopediaofComputerScience.Wiley.9780470864128.

    5. http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf.6. WordNet Search 3.1 (http://wordnetweb.princeton.edu/perl/webwn?s=computer%20scientist).

    Wordnetweb.princeton.edu.Consultadoel20120514.7. Denning, P.J. (2000). Computer Science: The Discipline

    (http://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916/denning.pdf) (PDF).EncyclopediaofComputerScience.

    8. DavidAlanGrier(2005).Whencomputerswerehuman.PrincetonUniversityPress.ISBN848966000X.9. Blaise Pascal (http://wwwhistory.mcs.standrews.ac.uk/Biographies/Pascal.html). School ofMathematics and

    StatisticsUniversityofStAndrews,Scotland.10. A Brief History of Computing (http://blogs.royalsociety.org/historyofscience/2012/06/25/historyof

    computing/).11. En185112. Science Museum Introduction to Babbage

    (https://web.archive.org/web/20060908054017/http://www.sciencemuseum.org.uk/online/babbage/index.asp).Archivado desde el original (http://www.sciencemuseum.org.uk/online/babbage/index.asp) el 20060908.Consultadoel20060924.

    13. AnthonyHyman(1982).CharlesBabbage,pioneerofthecomputer.14. "Laintroduccindetarjetasperforadasenelnuevomotoreraimportantenoslocomounaformamsconveniente

    decontrolquelostambores,sinoporquesepodraprogramardeformailimitada,yestosprogramaspodranseralmacenados y repetidos sin el peligro de introducir errores en la configuracion a mano de la mquina eraimportantetambinporquesirviparacristalizarsensacindeBabbagequehabainventadoalgorealmentenuevo,algomuchomsqueunamquinacalculadorasofisticada."BruceCollier,1970

    15. ASelectionandAdaptationFromAda'sNotesfoundinAda,TheEnchantressofNumbers,"byBettyAlexandraToole Ed.D. Strawberry Press, Mill Valley, CA (http://www.scottlan.edu/Lriddle/women/adalove.htm).Consultado el 20060504.Uso incorrecto de la plantilla enlace roto (enlaceroto disponible en Internet Archive vase elhistorial(http://web.archive.org/web/*/{{{1}}})ylaltimaversin(http://web.archive.org/web/2/{{{1}}})).

    16. "EnestesentidoAikennecesitabadeIBM,cuyatecnologaincluidaelusodetarjetasperforadas,laacumulacindedatosnumricos,ylatransferenciadelosdatosnumricosdeunregistroaotro",BernardCohen,p.44(2000)

    17. BrianRandell,p.187,197518. LaAssociationforComputingMachinery(ACM)fuefundadaen1947.19. Some EDSAC statistics (http://www.cl.cam.ac.uk/conference/EDSAC99/statistics.html). Cl.cam.ac.uk.

    Consultadoel20111119.20. Computer science pioneer Samuel D. Conte dies at 85 (http://www.cs.purdue.edu/about/conte.html). Purdue

    ComputerScience.July1,2002.ConsultadoelDecember12,2014.21. IBM 704 Electronic Data Processing System CHM Revolution

    (http://www.computerhistory.org/revolution/computergraphicsmusicandart/15/222/633). Computerhistory.org.Consultadoel20130707.

    22. IBM 709: a powerful new data processing system

  • (http://archive.computerhistory.org/resources/text/IBM/IBM.709.1957.102646304.pdf). Computer HistoryMuseum.ConsultadoelDecember12,2014.

    23. Error en la cita: Etiqueta invlida no se ha definido el contenido de las referencias llamadasLevy1984

    24. DavidKahn,TheCodebreakers,1967,ISBN0684831309.25. http://www.cis.cornell.edu/Dean/Presentations/Slides/bgu.pdf26. Constable, R.L. (March 2000). Computer Science: Achievements and Challenges circa 2000

    (http://www.cs.cornell.edu/cisdean/bgu.pdf)(PDF).27. Abelson, H. G.J. Sussman with J. Sussman (1996). Structure and Interpretation of Computer Programs (2nd

    edicin).MIT Press. ISBN 0262011530. La revolucin de la computadora es una revolucin en la manera depensar y en la forma en que expresamos lo que pensamos.La esencia de este cambio es la aparicin de lo quepodra llamarsemejorepistemologaprocedimentalelestudiode laestructuradelconocimientodesdeunpuntodevistaimperativo,enoposicinalpuntodevistamsdeclarativotomadaportemasmatemticosclsicos.

    28. Black box traders are on the march. (http://www.telegraph.co.uk/money/main.jhtml?xml=/money/2006/08/27/ccsoft27.xml)TheTelegraph,August26,2006.

    29. The Impact of High Frequency Trading on an Electronic Market (http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1686004).Papers.ssrn.com.doi:10.2139/ssrn.1686004(http://dx.doi.org/10.2139%2Fssrn.1686004).Consultadoel20120514.

    30. Wegner, P. (October 1315, 1976). Research paradigms in computer science. Proceedings of the 2ndinternational Conference on Software Engineering. San Francisco, California, United States: IEEE ComputerSocietyPress,LosAlamitos,CA.

    31. Louis Fine (1959). The Role of the University in Computers, Data Processing, and Related Fields.CommunicationsoftheACM2(9):714.doi:10.1145/368424.368427(http://dx.doi.org/10.1145%2F368424.368427).

    32. Stanford University Oral History (http://library.stanford.edu/guides/stanforduniversityoralhistory). StanfordUniversity.Consultadoel30May2013.

    33. id.,p.1134. Donald Knuth (1972). "George Forsythe and the Development of Computer Science"

    (http://www.stanford.edu/dept/ICME/docs/history/forsythe_knuth.pdf).Comms.ACM.35. Matti Tedre (2006). The Development of Computer Science: A Sociocultural Perspective

    (http://epublications.uef.fi/pub/urn_isbn_9524588676/urn_isbn_9524588676.pdf),p.26036. PeterNaur (1966).Thescienceofdatalogy.Communicationsof theACM9 (7): 485. doi:10.1145/365719.366510

    (http://dx.doi.org/10.1145%2F365719.366510).37. CommunicationsoftheACM1(4):p.638. CommunicationsoftheACM2(1):p.439. IEEEComputer28(12):p.13640. P.MounierKuhn,LInformatiqueenFrance,de lasecondeguerremondialeauPlanCalcul.Lmergencedune

    science,Paris,PUPS,2010,ch.3&4.41. Computing Sciences Accreditation Board (28 May 1997). Computer Science as a Profession

    (https://web.archive.org/web/20080617030847/http://www.csab.org/comp_sci_profession.html).Archivado desdeeloriginal(http://www.csab.org/comp_sci_profession.html)el20080617.Consultadoel20100523.

    42. Committee on the Fundamentals ofComputer Science:Challenges andOpportunities,NationalResearchCouncil(2004).ComputerScience:ReflectionsontheField,ReflectionsfromtheField (http://www.nap.edu/catalog.php?record_id=11106#toc).NationalAcademiesPress.ISBN9780309093019.

    43. Csab,Inc(http://www.csab.org/).Csab.org.20110803.Consultadoel20111119.44. ClayMathematicsInstitute(http://www.claymath.org/millennium/P_vs_NP/)P=NP45. P. Collins, Graham. Claude E. Shannon: Founder of Information Theory

    (http://www.scientificamerican.com/article.cfm?id=claudeeshannonfounder).ScientificAmerican,Inc.46. A. Thisted, Ronald. COMPUTER ARCHITECTURE

    (http://galton.uchicago.edu/~thisted/Distribute/comparch.pdf). The University of Chicago. Consultado el 7 April1997.

    47. Wescott, Bob (2013). The Every Computer Performance Book, Chapter 3: Useful laws(http://www.amazon.com/EveryComputerPerformanceBookComputers/dp/1482657759/). CreateSpace.ISBN1482657759.

  • Bibliografa

    Abelson, H. y Sussman, G.J. con Sussman, J. (1996). Structure and Interpretation of ComputerPrograms,2ndEd.EUA:MITPress.ISBN0262011530.Constable, R. L. (1997). "Nature of the Information Sciences"(http://web.archive.org/web/http://www.cs.cornell.edu/cisdean/Nature.pdf).Constable, R. L. (2000, marzo). "Computer Science: Achievements and Challenges circa 2000"(http://web.archive.org/web/http://www.cs.cornell.edu/cisdean/bgu.pdf).Parnas, D. L. (1998). Software Engineering Programmes are not Computer Science Programmes.TextoAnnalsofSoftwareEngineering,vol.6,pp.1937

    ignorado(ayuda)

    Enlacesexternos

    WikimediaCommonsalbergacontenidomultimediasobreCienciasdelacomputacin.WikiversidadalbergaproyectosdeaprendizajesobreCienciasdelacomputacin.

    Cienciasdelacomputacin(http://dmoz.org/Computers/Computer_Science/)enOpenDirectoryProject.ScholarlySocietiesinComputerScience(http://www.lib.uwaterloo.ca/society/compsci_soc.html)BestPapersAwardsinComputerSciencesince1996(http://jeffhuang.com/best_paper_awards.html)Photographsofcomputerscientists(http://se.ethz.ch/~meyer/gallery/)byBertrandMeyerEECS.berkeley.edu(http://www.eecs.berkeley.edu/department/history.shtml)

    Fuentesbibliogrficasymotoresdebsquedaacadmicosenfocadosacienciasdelacomputacin

    CiteSeerx (http://citeseerx.ist.psu.edu/) (artculo): motor de bsqueda, biblioteca digital y repositorio deartculoscientficosyacadmicosenfocadosalascienciasdelacompuacionydelainformacin.DBLPComputerScienceBibliography(http://dblp.unitrier.de/)(artculo): bibliografa sobre ciencias de lacomputacinalojadaenUniversittTrier,enAlemania.ColeccindeCienciasdelaComputacinBibliografas(http://liinwww.ira.uka.de/bibliography/)(artculo)

    OrganizacionesProfesionales

    AssociationforComputingMachinery(http://www.acm.org/)IEEEComputerSociety(http://www.computer.org/)InformaticsEurope(http://www.informaticseurope.org/)

    Otros

    ComputerScienceStackExchange(http://cs.stackexchange.com/)comunidaddepreguntasy respuestassobrecienciasdelacomputacinQuesonlascienciasdelacomputacin?(http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf)DepartamentodecienciasdelacomputacindelMIT(http://www.eecs.mit.edu/)DepartamentodeCienciasdelaComputacindelauniversidaddeCambridge(http://www.cl.cam.ac.uk/)

    48. "Common myths and preconceptions about Cambridge Computer Science" Computer Science Department(http://web.archive.org/web/http://www.cl.cam.ac.uk/admissions/undergraduate/myths/),UniversityofCambridge.

  • Obtenidodehttp://es.wikipedia.org/w/index.php?title=Ciencias_de_la_computacin&oldid=80661463

    Categora: Informticaterica

    Estapginafuemodificadaporltimavezel17mar2015alas23:30.EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulasadicionales.Lanselostrminosdeusoparamsinformacin.WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.