tohle je prý computer science https://ncatlab.org/nlab/show/homotopy+type+theory
Computer Science je slovensky (poodobne česky) INFORmačná mateMATIKA= INFORMATIKA, ted je to podmnožina matermtiky
Problém je, že pod pojmem informatika se skrývá práce s excellem...
To platilo v minulosti
Existuje "svetová reforma školstva" zvcaná ISCED- INTERNATIONAL STANDA RD
CLASSIFICATION OF EDUCATION
Do ISCED97 z roku 1997 existovala len Computer Science. V roku 1997 resp. v zozname odborov k nej z roku 1998 pridali aj Computer use. A práve toto presadila u nás histerická historička na poste ministerkz školstva ešte v roku 1998.
o roku 2011 je ale nový ISCED2011(po 14 rokoch od ISCED97lebo ZŠ A SŠ sú väčšinou K12- teda 12 ročné a po roku prípravy na nový ISCED boli po 13-ich rokoch prvé reálne výsledky ISCED97) a zoznam odborov od roku 2013
to už má inak. ))Prvá dve čísla sú skupina odborov, každé ďalšie je podskupinou a informatika je 0613 a čiastočne 0612, a tabuľkové kalkulátory to je v 0612. Aj keď vrátioť to späť predf ISCED97 je veľmi ťažké aj u nás.
06 Information and Communication Technologies (ICTs)
061 Information and Communication Technologies (ICTs)
0610 Information and Communication Technologies (ICTs) not further defined
0611 Computer use
obsahuje:
Computer software use
Computer use
Internet use
Use of software for calculating (spreadsheets)
Use of software for data processing
Use of software for desktop publishing
Use of software for word processing
0612
Database and network design and administration
obsahuje
Computer administration and management
Computer media applications
Computer network installation and maintenance
Computer support
Database administrator studies
Information technology administration
Information technology security
Network administration
Network design
Web design
0613 Software and applications development and analysis
obsahuje
Computer programming
Computer science
Computer systems analysis
Computer systems design
Informatics (computer science)
Operating systems
Programming (computer)
Programming languages
development
Software development
Software localisation
Software programming
Software testing
0619
Information and Communication Technologies (ICTs) not elsewhere classified
obsahuje
Artificial intelligence
http://unesdoc.unesco.org/images/0023/002350/235049e.pdf