tratta i fondamenti scientifici dell'informatica (ad es. la Teoria della complessità computazionale) e la loro applicazione per lo studio e la realizzazione di algoritmi, linguaggi (ad es. per la programmazione), sistemi per la gestione di basi di dati, compilatori, sistemi operativi, ecc. Quindi, si occupa maggiormente dell'informatica come scienza.
trˈatːa i fondamˈentɪ ʃentˈifitʃɪ dellinformˈatika ad ˈeːs. la teorˈia dˌella komplessitˈa kompʊtatsionˈale e la lˌɔro apːlikatsiˈone per lo stˈudio e la realidzːatsiˈone dɪ alɡorˈitmɪ, liŋɡwˈadʒːɪ ad ˈeːs. per la proɡrammatsiˈone, sistˈɛmɪ per la dʒestjˈone dɪ bˈazɪ dɪ dˈatɪ, kompilatˈorɪ, sistˈɛmɪ operatˈivɪ, ˈekː. kwˈindɪ, sɪ ˈokːʊpa madʒːormˈente dellinformˈatika kˌome ʃˈɛntsa.