Vikipediya

Информатика

Информатика — (немисча: Информатик , франсузча: Информатиқуэ, инглизча: cомпутер сcиэнcе - компутер фани (АҚШда), cомпутинг сcиэнcе - ҳисоблаш фани (Буюк Британияда))

Информатика ҳисоблаш, автоматлаштириш ва ахборотни ўрганади.[1] Компютер фанлари назарий фанларни (масалан, алгоритмлар, ҳисоблаш назарияси, ахборот назарияси ва автоматлаштириш) амалий фанларга (жумладан, аппарат ва [[Дастурлаш|дастурий таъминотни] ва жорий этиш) қамраб олади.[2][3][4] Компютер фанлари одатда академик тадқиқот соҳаси ҳисобланади ва компютер дастурлашдан фарқ қилади.[5]

Алгоритмлар ва маълумотлар тузилмалари компютер фанида марказий ўринни эгаллайди.[6] Ҳисоблаш назарияси ҳисоблашнинг мавҳум моделлари ва улар ёрдамида ҳал қилинадиган масалаларнинг умумий синфларига тегишли. Криптография ва компютер хавфсизлиги соҳалари хавфсиз алоқа ва хавфсизлик заифликларининг олдини олиш воситаларини ўрганишни ўз ичига олади. Компютер графикаси ва ҳисоблаш геометрияси тасвирларни яратишга қаратилган. Дастурлаш тили назарияси ҳисоблаш жараёнларини тавсифлашнинг турли усулларини кўриб чиқади ва маълумотлар базаси назарияси маълумотлар омборини бошқариш билан боғлиқ. Инсон ва компютернинг о'заро та'сири одамлар ва компютерлар ўзаро таъсир қиладиган интерфейсларни ўрганади ва дастурий таъминот муҳандислиги дастурий таъминотни ишлаб чиқиш ортидаги дизайн ва тамойилларга эътибор беради. Операцион тизимлар, тармоқлар ва ўрнатилган тизимлар каби соҳалар мураккаб тизимлар ортидаги принциплар ва дизайнни ўрганади. Компютер архитектураси компютер компонентлари ва компютерда бошқариладиган ускуналарнинг тузилишини тавсифлайди. Сунъий интеллект ва машинани о'рганиш одамлар ва ҳайвонларда мавжуд муаммоларни ҳал қилиш, қарор қабул қилиш, ��троф-муҳитга мослашиш, режалаштириш ва ўрганиш каби мақсадга йўналтирилган жараёнларни синтез қилишга қаратилган. Сунъий интеллект доирасида компютерни кўриш тасвир ва видео маълумотларини тушуниш ва қайта ишлашга қаратилган бўлса, табиий тилни қайта ишлаш матн ва лингвистик маълумотларни тушуниш ва қайта ишлашга қаратилган.

Информатика фанининг асосий вазифаси нимани автоматлаштириш мумкин ва нима мумкин эмаслигини аниқлашдир.[7][8][9][10][11] Туринг мукофоти одатда информатика соҳасидаги энг юқори табақа сифатида тан олинади.[12][13]

Тарихи

edit
 
Ада Ловелаcе компютерда қайта ишлаш учун мўлжалланган биринчи алгоритмни нашр этди.[14]
 
Чарлз Беббиж, баъзан „ҳисоблашнинг отаси“ деб аталади.[15]

Информатика фанининг энг дастлабки асослари замонавий рақамли компютер ихтиросидан олдин пайдо бўлган. Абак каби собит рақамли вазифаларни ҳисоблаш учун машиналар антик даврдан бери мавжуд бўлиб, кўпайтириш ва бўлиш каби ҳисоб-китобларга ёрдам беради. Ҳисоблашларни амалга ошириш алгоритмлари қадимги даврлардан, ҳатто мураккаб ҳисоблаш техникаси яратилгунга қадар ҳам мавжуд бўлган.[16]

Вилгелм Счиcкард 1623-йилда биринчи ишлайдиган механик калкуляторни лойиҳалаштирган ва қурган[17] 1673-йилда Готфрид Лейбниц қадамли ҳисоблагич деб номланган рақамли механик калкуляторни намойиш этди.[18] Турли сабабларга кўра, жумладан, иккилик саноқ тизимини ҳужжатлаштиргани учун Лейбницни биринчи компютер олими ва ахборот назариётчиси деб ҳисоблаш мумкин. 1820-йилда Томас де Колмар ўзининг соддалаштирилган[ноте 1] ихтиро қилганда механик калкулятор саноатини ишга туширди, бу биринчи ҳисоблаш машинаси офис муҳитида кундалик фойдаланиш учун этарлича кучли ва ишончли. Чарлз Беббиж 1822-йилда ўзининг " Дифференcе Энгине " нинг биринчи автоматик механик калкуляторини лойиҳалашни бошлади, бу эса охир-оқибат унга дастурлаштириладиган биринчи механик калкулятор — ўзининг Аналитик двигатели ғоясини берди.[19] У 1834-йилда ушбу машинани ишлаб чиқишни бошлади ва „икки йилдан камроқ вақт ичида у замонавий компютернинг кўплаб муҳим хусусиятларини аниқлади“.[20] „ Жаcқуард тўқув дастгоҳидан олинган перфокарта тизимини қабул қилиш муҳим қадам бўлди“[20] уни чексиз дастурлаш имконини беради.[ноте 2] 1843-йилда Аналитик двигател ҳақидаги франсуз мақоласини таржима қилиш пайтида, Ада Ловелаcе ўзи киритган кўплаб эслатмалардан бирида Берноулли рақамларини ҳисоблаш алгоритмини ёзган, бу эса амалга ошириш учун махсус мўлжалланган биринчи нашр этилган алгоритм ҳисобланади. компютерда.[21] Тахминан 1885-йилда Ҳерман Холлерит статистик маълумотларни қайта ишлаш учун перфокарталардан фойдаланган табулаторни ихтиро қилди; охир-оқибат унинг компанияси ИБМнинг бир қисмига айланди. Беббиждан кейин, гарчи ўзининг олдинги ишларидан бехабар бўлса ҳам, Перси Лудгейт 1909-йилда[22] тарихдаги механик аналитик двигателлар учун иккита дизайндан иккинчисини нашр этди. 1937-йилда, Беббижнинг амалга ошириб бўлмайдиган орзусидан 100 йил ўтгач, Говард Эйкен барча турдаги перфокарта ускуналарини ишлаб чиқарувчи ва калкулятор бизнеси[23] шуғулланувчи ИБМ компаниясини ўзининг улкан дастурлаштириладиган калкулятори АСCC/Гарвард Марк И ни яратишга ишонтирди. Баббагеъс Аналйтиcал Энгине-да, унинг ўзи карталар ва марказий ҳисоблаш блокидан фойдаланган. Машина тугагач, баъзилар буни „Беббижнинг орзуси амалга ошди“ деб олқишлади.[24]

1940-йилларда, Атанасофф-Беррй компютери ва ЭНИАC каби янги ва кучлироқ ҳисоблаш машиналарининг ривожланиши билан компютер атамаси уларнинг инсоний ўтмишдошларига эмас, балки машиналарга нисбатан қўлланила бошланди.[25] Компютерлардан фақат математик ҳисоб-китоблар учун эмас, балки кўпроқ фойдаланиш мумкинлиги маълум бўлганлиги сабабли, информатика соҳаси умуман ҳисоблашни ўрганиш учун кенгайди. 1945-йилда ИБМ Ню-Ёрк шаҳридаги Колумбия университетида Уоцон илмий ҳисоблаш лабораториясига асос солди. Манхеттеннинг ғарбий томонидаги янгиланган биродарлик уйи ИБМнинг соф фанга бағишланган биринчи лабораторияси эди. Лаборатория бугунги кунда бутун дунё бўйлаб тадқиқот об’эктларини бошқарадиган ИБМ тадқиқот бўлимининг асосчиси ҳисобланади.[26] Охир оқибат, ИБМ ва Колумбия университети ўртасидаги яқин алоқалар янги илмий фаннинг пайдо бўлишида муҳим рол ўйнади, Колумбия 1946-йилда компютер фанлари бўйича биринчи академик-кредит курсларидан бирини таклиф қилди[27] Информатика 1950-йиллар ва 1960-йилларнинг бошларида алоҳида академик фан сифатида шакллана бошлади.[28][29] 1953-йилда Кембриж университети компютер лабораториясида дунёдаги биринчи компютер фанлари бўйича диплом дастури, Кембриж дипломи компютер фанлари бўйича бошланган. Қўшма Штатлардаги биринчи компютер фанлари бўлими 1962-йилда Пурдуэ университетида ташкил этилган[30] Амалий компютерлар мавжуд бўлганидан бери, ҳисоблашнинг кўплаб иловалари ўз ҳуқуқларида алоҳида ўрганиш соҳаларига айланди.

Этимология

edit

Гарчи биринчи марта 1956-йилда таклиф қилинган бўлса-да,[31] „информатика“ атамаси 1959-йилда АCМнинг Cоммуниcатионс журналидаги[32] мақоласида пайдо бўлади, унда Луи Фейн Гарвард университетининг яратилишига ўхшаш компютер фанлари бўйича Олий мактабни яратиш ҳақида баҳс юритади. 1921-йилда бизнес мактаби[33] Луи бу номни менежмент фани каби фан амалий ва фанлараро хусусиятга эга бўлиб, шу билан бирга академик интизомга хос хусусиятларга эга эканлигини таъкидлаб оқлайди.[32] Унинг саъй-ҳаракатлари ва рақамли таҳлилчи Жорж Форсит каби бошқаларнинг саъй-ҳаракатлари тақдирланди: университетлар 1962-йилда Пурдуэдан бошлаб бундай бўлимларни яратишга киришдилар[34] Номига қарамай, компютер фанининг катта қисми компютерларнинг ўзини ўрганишни ўз ичига олмайди. Шу сабабли, бир нечта муқобил номлар таклиф қилинди.[35] Йирик университетларнинг баъзи бўлимлари бу фарқни аниқ таъкидлаш учун ҳисоблаш фанлари атамасини афзал кўришади. Даниялик олим Питер Наур даталогй атамасини таклиф қилди[36] илмий интизом маълумотлар ва маълумотларни қайта ишлаш атрофида айланади, деб ҳақиқатни акс эттириш учун, албатта, компютерлар жалб эмас. Ушбу атамани ишлатган биринчи илмий муассаса 1969-йилда ташкил этилган Копенгаген университетининг Даталогия кафедраси бўлиб, Петер Наур даталогия бўйича биринчи профессор бўлган. Бу атама асосан Скандинавия мамлакатларида қўлланилади. Наур томонидан ҳам таклиф қилинган муқобил атама маълумотлар фанидир; Бу энди маълумотларни таҳлил қилишнинг ко'п тармоқли соҳаси, жумладан, статистика ва маълумотлар базалари учун ишлатилади.

Ҳисоблашнинг дастлабки кунларида АCМ коммуникацияларида ҳисоблаш соҳаси амалиётчилари учун бир қатор атамалар таклиф қилинган — турингинеэр, туролог, оқим жадваллари-одам, амалий мета-математик ва амалий эпистемо��ог .[37] Уч ой ўтгач, худди шу журналда комптолог, кейинги йил эса гиполог таклиф қилинди.[38] Ҳисоблаш атамаси ҳам таклиф қилинган.[39] Европада „автоматик маълумот“ (масалан, италянча „информазионе аутоматиcа“) ёки „ахборот ва математика“ ибораларининг шартномавий таржималаридан олинган атамалар тез-тез ишлатилади, масалан информатиқуэ (франсуз), Информатик (немис), информатиcа (италян, голланд.), информáтиcа (испан, португал), информатика (славян тиллари ва венгер) ёки плирофорики (плирофорикк, бу информатика деган маънони англатади) юнонча . Шунга ўхшаш сўзлар Буюк Британияда ҳам қабул қилинган (Эдинбург университети Информатика мактабида бўлгани каби).[40] „Бироқ АҚШда информатика амалий ҳисоблаш ёки бошқа домен контекстида ҳисоблаш билан боғлиқ.“[41]

Кўпинча Эдсгер Дейкстрага тегишли бўлган — лекин деярли биринчи бўлиб шакллантирилмаган — фолклор иқтибосида „Компютер фанлари астрономия телескоплар ҳақида бўлгани каби компютерлар ҳақида эмас“ деб таъкидлайди.[ноте 3] Компютерлар ва компютер тизимларини лойиҳалаш ва жойлаштириш одатда информатикадан бошқа фанлар вилояти ҳисобланади. Масалан, компютер техникасини ўрганиш одатда компютер инжинирингининг бир қисми ҳисобланади, тижорат компютер тизимлари ва уларни жойлаштиришни ўрганиш эса кўпинча ахборот технологиялари ёки ахборот тизимлари деб аталади. Бироқ, компютер билан боғлиқ турли фанлар ўртасида фикр алмашилди. Компютер фанлари тадқиқотлари кўпинча когнитив фан, тилшунослик, математика, физика, биология, Ер фани, статистика, фалсафа ва мантиқ каби бошқа фанлар билан кесишади.

Баъзилар компютер фанини кўплаб илмий фанларга қараганда математика билан яқинроқ боғлиқ деб ҳисоблашади, баъзи кузатувчилар эса ҳисоблашни математика фанидир, дейишади.[42] Илк компютер фанига Курт Гöдел, Алан Тюринг, Жон фон Нейман, Розса Петер ва Алонзо черков каби математикларнинг ишлари кучли таъсир кўрсатган ва математик мантиқ, категория каби соҳаларда икки соҳа ўртасида фойдали фикр алмашуви давом этмоқда. назария, домен назарияси ва алгебра .[43]

Компютер фанлари ва дастурий таъминот муҳандислиги ўртасидаги муносабатлар мунозарали масала бўлиб, у „Дастурий таъминот муҳандислиги“ атамаси нимани англатишини ва компютер фанининг қандай таърифланишини низолар билан янада мураккаблаштиради.[44] Девид Парнас, бошқа муҳандислик ва фан фанлари ўртасидаги муносабатлардан намуна олиб, компютер фанининг асосий йўналиши умуман ҳисоблаш хусусиятларини ўрганиш эканлигини таъкидлади, дастурий таъминот муҳандислигининг асосий йўналиши эса амалий натижаларга эришиш учун махсус ҳисоб-китобларни лойиҳалашдир. иккита алоҳида, аммо бир-бирини тўлдирувчи интизомга айлантирувчи мақсадлар.[45]

Информатика фанининг академик, сиёсий ва молиявий жиҳатлари, одатда, кафедранинг математик урғу ёки муҳандислик урғуси билан тузилганлигига боғлиқ. Математикага урғу берилган ва рақамли йўналишга эга бўлган компютер фанлари бўлимлари ҳисоблаш фанлари билан мослашишни кўриб чиқади. Иккала турдаги бўлимлар, агар барча тадқиқотлар бўлмаса ҳам, таълим соҳасини кўприк қилишга ҳаракат қилишади.

Фалсафа

edit

Компютер фанининг эпистемологияси

edit

Номида „фан“ сўзи бўлишига қарамай, информатика фан, математика ёки муҳандислик фанидирми ёки йўқми деган баҳслар мавжуд.[46] Аллен Нюэлл ва Герберт А. Симон 1975-йилда баҳслашдилар.

Компютер фанлари эмпирик фандир. Биз уни экспериментал фан деб атаган бо'лардик, лекин астрономия, иқтисод ва геология сингари, унинг ба'зи ноёб кузатиш ва тажриба шакллари экспериментал усулнинг тор стереотипига то'г'ри келмайди. Шунга қарамай, улар тажрибалардир. Қурилган ҳар бир янги машина тажрибадир. Аслида машинани қуриш табиатга савол туг'диради; ва биз жавобни машинанинг ишлаётганлигини кузатиш ва мавжуд барча аналитик ва о'лчов воситалари ёрдамида таҳлил қилиш орқали тинглаймиз.[46]

Ўшандан бери компютер фанини эмпирик фан сифатида таснифлаш мумкинлиги таъкидланган, чунки у дастурларнинг тўғрилигини баҳолаш учун эмпирик тестлардан фойдаланади, аммо компютер фанининг қонунлари ва теоремаларини (агар мавжуд бўлса) аниқлашда муаммо қолмоқда. информатика фанидаги экспериментларнинг табиати.[47] Информатика фанини муҳандислик интизоми сифатида таснифлаш тарафдорлари, ҳисоблаш тизимларининг ишончлилиги қурилиш муҳандислигидаги кўприклар ва аэрокосмик муҳандисликдаги самолётлар билан бир хил тарзда текширилади, деб таъкидлайдилар.[47] Улар, шунингдек, эмпирик фанлар ҳозирги вақтда мавжуд бўлган нарсаларни кузатар экан, информатика мавжуд бўлиши мумкин бўлган нарсаларни кузатади ва олимлар кузатиш натижасида қонунларни кашф этар эканлар, информатикада тегишли қонунлар топилмаган ва бунинг ўрнига ҳодисалар яратиш билан шуғулланади.[47]

Информатикани математик интизом сифатида таснифлаш тарафдорлари, компютер дастурлари математик об’эктларнинг жисмоний амалга оширилиши ва дастурларни математик расмий усуллар билан дедуктив асосда асослаш мумкинлигини таъкидлайдилар.[48] Компютер олимлари Эдсгер W. Дижкстра ва Тони Ҳоаре компютер дастурлари учун кўрсатмаларни математик жумлалар деб ҳисоблашади ва дастурлаш тиллари учун расмий семантикани математик аксиоматик тизимлар сифатида изоҳлайдилар.[48]

Информатика фанининг парадигмалари

edit

Бир қатор компютер олимлари информатика фанида учта алоҳида парадигмани ажратиш ҳақида баҳслашдилар.инфарматика ахпаритларни о'рганади Питер Вегнер бу парадигмалар фан, технология ва математика эканлигини таъкидлади.[49] Питер Деннингнинг ишчи гуруҳи улар назария, абстраксия (моделлаштириш) ва дизайн эканлигини таъкидлади.[50] Амнон Х. Эден уларни „рационалистик парадигма“ (информатикани назарий информатикада кенг тарқалган ва асосан дедуктив фикрлашни қўллайдиган математиканинг бир тармоғи сифатида кўриб чиқади), „технократик парадигма“ (уни муҳандислик соҳасида топиш мумкин) деб таърифлаган. ёндашувлар, асосан дастурий инжинирингда) ва „илмий парадигма“ (компютер билан боғлиқ артефактларга табиий фанларнинг эмпирик нуқтаи назаридан ёндашади,[51] сунъий интеллектнинг баъзи тармоқларида аниқланиши мумкин).[52] Информатика фани инсон томонидан яратилган ҳисоблаш тизимларини лойиҳалаш, спецификация қилиш, дастурлаш, текшириш, амалга ошириш ва синовдан ўтказиш билан боғлиқ усулларга қаратилган.[53]

Майдонлар

edit

Астрономия телескоплар ҳақида бо'лгани каби, компютер фанлари ҳам компютерлар ҳақида эмас.

— Эдсгер Дижкстра, ( Гсгедсгер Дижкстра

Информатика фан сифатида алгоритмларни назарий ўрганиш ва ҳисоблаш чегараларидан тортиб, аппарат ва дастурий таъминотда ҳисоблаш тизимларини амалга оширишнинг амалий масалаларигача бўлган бир қатор мавзуларни ўз ичига олади.[54][55] CСАБ, илгари Ҳисоблаш фанлари аккредитация кенгаши (АCМ) ва ИЭЭЭ Компютер жамияти (ИЭЭЭ CС)[56] вакилларидан иборат бўлиб, компютер интизоми учун муҳим деб ҳисоблайдиган тўртта соҳани аниқлайди. фан: ҳисоблаш назарияси, алгоритмлар ва маълумотлар тузилмалари, дастурлаш методологияси ва тиллари, компютер элементлари ва архитектураси . Ушбу тўртта соҳага қўшимча равишда, CСАБ дастурий таъминот муҳандислиги, сунъий интеллект, компютер тармоқлари ва алоқаси, маълумотлар базаси тизимлари, параллел ҳисоблаш, тақсимланган ҳисоблаш, инсон ва компютер ўзаро таъсири, компютер графикаси, операцион тизимлар ва рақамли ва рамзий ҳисоблаш каби соҳаларни ҳам аниқлайди. компютер фанининг муҳим соҳалари ҳисобланади.[54]

Назарий информатика

edit

Назарий компютер фанлари математик ва мавҳум руҳдадир, лекин у ўз мотивациясини амалий ва кундалик ҳисоблашдан олади. Унинг мақсади ҳисоблашнинг моҳиятини тушуниш ва бу тушуниш натижасида янада самарали методологияларни тақдим этишдир.

Ҳисоблаш назарияси

edit

Питер Деннингнинг сўзларига кўра, компютер фанининг асосий саволи: „Нимани автоматлаштириш мумкин?“[57] Ҳисоблаш назарияси нимани ҳисоблаш мумкинлиги ва бу ҳисоб-китобларни бажариш учун қанча ресурслар талаб қилиниши ҳақидаги асосий саволларга жавоб беришга қаратилган. Биринчи саволга жавоб беришга ҳаракат қилиб, ҳисоблаш қобилияти назарияси ҳисоблашнинг турли назарий моделларида қайси ҳисоблаш муаммоларини эчиш мумкинлигини текширади. Иккинчи савол кўплаб ҳисоблаш муаммоларини ҳал қилишда турли ёндашувлар билан боғлиқ вақт ва макон харажатларини ўрганадиган ҳисоблаш мураккаблиги назарияси томонидан кўриб чиқилади.

Машҳур П = НП? Мингйиллик мукофоти муаммоларидан бири[58] муаммоси ҳисоблаш назариясидаги очиқ муаммодир.

 </имг>  </имг>    </имг>
Автоматлар назарияси Расмий тиллар Ҳисоблаш назарияси Ҳисоблаш мураккаблиги назарияси
 </имг>  </имг>  </имг>  </имг>
Ҳисоблаш моделлари Квант ҳисоблаш назарияси Мантиқий схемалар назарияси Уяли автоматлар

Ахборот ва кодлаш назарияси

edit

Ахборот назарияси, эҳтимоллик ва статистика билан чамбарчас боғлиқ бўлиб, маълумот миқдорини аниқлаш билан боғлиқ. Бу Клод Шеннон томонидан маълумотларни сиқиш ва маълумотларни ишончли сақлаш ва узатиш каби сигналларни қайта ишлаш операцияларида асосий чекловларни топиш учун ишлаб чиқилган.[59] Кодлаш назарияси — кодларнинг хоссалари (ахборотни бир шаклдан иккинчисига ўтказиш тизимлари) ва уларнинг маълум бир дастур учун мослигини ўрганиш. Кодлар ма'лумотларни сиқиш, криптография, хатоларни аниқлаш ва тузатиш учун ва яқинда тармоқ кодлаш учун ҳам қўлланилади. Кодлар самарали ва ишончли маълумотларни узатиш усулларини лойиҳалаш мақсадида ўрганилади.[60]

 </имг>  </имг>  </имг>  </имг>  </имг>
Кодлаш назарияси Канал сиг'ими Алгоритмик ахборот назарияси Сигнални аниқлаш назарияси Колмогоров мураккаблиги

Маълумотлар тузилмалари ва алгоритмлари

edit

Маълумотлар тузилмалари ва алгоритмлари кенг тарқалган ишлатиладиган ҳисоблаш усуллари ва уларнинг ҳисоблаш самарадорлигини ўрганишдир.

О (н2)          
Аналйсис оф алгоритҳмс Алгоритҳм десигн Дата струcтурес Cомбинаториал оптимизатион Cомпутатионал геометрй Рандомизед алгоритҳмс

Дастурлаш тили назарияси ва расмий усуллари

edit

Дастурлаш тили назарияси — бу компютер фанининг дастурлаш тиллари ва уларнинг индивидуал хусусиятларини лойиҳалаш, амалга ошириш, таҳлил қилиш, тавсифлаш ва таснифлаш билан шуғулланадиган бўлими. У математика, дастурий таъминот муҳандислиги ва тилшуносликка боғлиқ ва унга таъсир қилувчи информатика фанига киради. Бу фаол тадқиқот йўналиши бўлиб, кўплаб махсус академик журналлар мавжуд.

Расмий усуллар — бу дастурий ва аппарат тизимларини спецификация қилиш, ишлаб чиқиш ва текшириш учун математик асосланган техниканинг ўзига хос тури.[61] Дастурий таъминот ва аппаратни лойиҳалаш учун расмий усуллардан фойдаланиш, бошқа муҳандислик фанларида бўлгани каби, тегишли математик таҳлилни амалга ошириш дизайннинг ишончлилиги ва мустаҳкамлигига ҳисса қўшиши мумкин деган умид билан асосланади. Улар дастурий таъминот муҳандислиги учун муҳим назарий асосни ташкил қилади, айниқса хавфсизлик ёки хавфсизлик билан боғлиқ бўлган жойларда. Расмий усуллар дастурий таъминотни синовдан ўтказиш учун фойдали қўшимча ҳисобланади, чунки улар хатолардан қочишга ёрдам беради ва синов учун асос яратиши мумкин. Саноатда фойдаланиш учун асбобларни қўллаб-қувватлаш талаб қилинади. Бироқ, расмий усуллардан фойдаланишнинг юқори харажати шуни англатадики, улар одатда фақат хавфсизлик ёки хавфсизлик жуда муҳим бўлган юқори яхлитлик ва ҳаёт учун муҳим тизимларни ишлаб чиқишда қўлланилади. Расмий усуллар энг кўп турли хил назарий информатика асосларини, хусусан, мантиқий ҳисоблар, расмий тиллар, автоматлар назарияси ва дастур семантикасини, шунингдек, тизимлар ва алгебраик маълумотлар турларини дастурий таъминот ва аппарат спецификациясидаги муаммоларга қўллаш сифатида тасвирланган. текшириш.

 </имг>    </имг>  </имг>  </имг>  </имг>
Формал семантика Тип назарияси Компилятор дизайни Дастурлаш тиллари Расмий текшириш Автоматлаштирилган теоремани исботлаш

Компютер тизимлари ва ҳисоблаш жараёнлари

edit

Сунъий интеллект

edit

Сунъий интеллект (АИ) одамлар ва ҳайвонларда мавжуд муаммоларни ҳал қилиш, қарор қабул қилиш, атроф-муҳитга мослашиш, ўрганиш ва алоқа каби мақсадга йўналтирилган жараёнларни синтез қилишга қаратилган ёки талаб қилинади. Кибернетика ва Дартмут конференсиясида (1956) сунъий интеллект бўйича тадқиқотлар ўзининг келиб чиқишидан бошлаб амалий математика, рамзий мантиқ, семиотика, электротехника, ақл фалсафаси, нейрофизиология каби тажриба соҳаларига асосланган ҳолда, албатта, фанлараро бўлган. разведка . Оммабоп онгда АИ роботларни ишлаб чиқиш билан боғлиқ, аммо амалий қўллашнинг асосий соҳаси ҳисоблаш тушунишни талаб қиладиган дастурий та'минотни ишлаб чиқиш соҳаларида ўрнатилган компонент сифатида бўлган. 1940-йилларнинг охирида Алан Тюрингнинг „Компютерлар ўйлай оладими?“ Деган саволи бошланғич нуқтаси бўлди ва бу савол ҳали ҳам жавобсиз қолмоқда, гарчи Тюринг тести ҳали ҳам инсон ақли миқёсидаги компютер натижаларини баҳолаш учун ишлатилади. Аммо баҳолаш ва башорат қилиш вазифаларини автоматлаштириш мураккаб реал дунё маълумотларини ўз ичига олган компютер дастурлари соҳаларида инсон мониторинги ва аралашуви ўрнини босувчи сифатида тобора муваффақиятли бўлди.

 </имг>  </имг>  </имг>  </имг>
Ҳисоблаш та'лими назарияси Компютер ко'риш Нейрон тармоқлар Режалаштириш ва режалаштириш
 </имг>  </имг>  </имг>  </имг>
Табиий тилни қайта ишлаш Ҳисоблаш ўйинлари назарияси Эволюцион ҳисоблаш Автоном ҳисоблаш
 </имг>  </имг>  </имг>  </имг>
Тақдим этиш ва фикрлаш Шаклни аниқлаш Робототехника То'дали разведка

Компютер архитектураси ва ташкил этилиши

edit

Компютер архитектураси ёки рақамли компютер ташкилоти — бу компютер тизимининг концептуал дизайни ва асосий операцион тузилиши. У асосан марказий процессорнинг ички ишлаши ва хотирадаги манзилларга кириш усулига эътибор қаратади.[62] Компютер муҳандислари алоҳида процессор компонентлари, микроконтроллерлар, шахсий компютерлардан суперкомпютерлар ва ўрнатилган тизимларгача бўлган компютер техникасининг ҳисоблаш мантиғи ва дизайнини ўрганадилар. Компютер адабиётидаги „архитектура“ атамасини 1959-йилда ИБМ’нинг асосий тадқиқот марказидаги Машиналарни ташкил этиш бўлими аъзолари Лайл Р. Жонсон ва Фредерик П. Броокс, Жр.

 </имг>  </имг>  </имг>  </имг>
Қайта ишлаш бирлиги Микроархитектура Ко'п ишлов бериш Процессор дизайни
 </имг>  </имг>  </имг>  </имг>
Ҳамма жойда ҳисоблаш Тизимлар архитектураси Операцион тизимлар Кириш/чиқиш
 </имг>  </имг>  </имг>  </имг>
О'рнатилган тизим Ҳақиқий вақтда ҳисоблаш Ишончлилик Таржимон

Бир вақтнинг ўзида, параллел ва тақсимланган ҳисоблаш

edit

Бир вақтнинг ўзида бир нечта ҳисоблашлар бир вақтнинг ўзида бажариладиган ва бир-бири билан потенциал ўзаро таъсир қиладиган тизимларнинг хоссаси.[63] Умумий бир вақтда ҳисоблаш учун бир қатор математик моделлар ишлаб чиқилган, жумладан Петри тармоқлари, жараён ҳисоблари ва Параллел Тасодифий Кириш Машина модели.[64] Бир вақтнинг ўзида бир нечта компютерлар тармоққа уланган бўлса, бу тақсимланган тизим деб номланади. Ушбу тақсимланган тизимдаги компютерлар ўзларининг шахсий хотирасига эга ва умумий мақсадларга эришиш учун маълумотлар алмашинуви мумкин.[65]

Компютер тармоқлари

edit

Компютер фанининг ушбу соҳаси бутун дунё бўйлаб компютерлар ўртасидаги тармоқларни бошқаришга қаратилган.

Компютер хавфсизлиги ва криптография

edit

Компютер хавфсизлиги — бу маълумотни рухсациз кириш, бузилиш ёки ўзгартиришдан ҳимоя қилиш ва тизимнинг мўлжалланган фойдаланувчилари учун фойдаланиш имкониятини сақлаб қолиш мақсадида компютер технологиясининг бир тармоғидир.

Тарихий криптография — бу махфий хабарларни ёзиш ва шифрлаш санъати. Замонавий криптография — бу ҳужумга учраган тақсимланган ҳисоб-китоблар билан боғлиқ муаммоларни илмий ўрганиш.[66] Замонавий криптографияда ўрганиладиган технологиялар орасида симметрик ва ассиметрик шифрлаш, рақамли имзолар, криптографик хеш -функсиялар, калит келишув протоколлари, блокчейн, нол билимларни исботлаш ва бузилган схемалар мавжуд.

Маълумотлар базалари ва маълумотларни қазиб олиш

edit

Маълумотлар базаси катта ҳажмдаги маълумотларни осонгина тартибга солиш, сақлаш ва олиш учун мўлжалланган. Рақамли маълумотлар базалари маълумотлар базаси моделлари ва сўровлар тиллари орқали маълумотларни сақлаш, яратиш, сақлаш ва қидириш учун маълумотлар базасини бошқариш тизимлари ёрдамида бошқарилади. Маълумотни қазиб олиш — бу катта маълумотлар тўпламларида нақшларни аниқлаш жараёни.

Компютер графикаси ва визуализация

edit

Компютер графикаси рақамли визуал таркибни ўрганади ва тасвир маълумотларини синтез қилиш ва манипуляция қилишни ўз ичига олади. Тадқиқот компютер фанининг бошқа кўплаб соҳалари, жумладан, компютерни кўриш, тасвирни қайта ишлаш ва ҳисоблаш геометрияси билан боғлиқ бўлиб, махсус эффектлар ва видеоўйинлар соҳаларида кенг қўлланилади.

 </имг>  </имг>  </имг>  </имг>  </имг>  </имг>
2Д компютер графикаси Компютер анимацияси Рендерлаш Аралаш ҳақиқат Виртуал реаллик Қаттиқ моделлаштириш

Тасвир ва овозни қайта ишлаш

edit

Ахборот тасвир, овоз, видео ёки бошқа мултимедиа кўринишида бўлиши мумкин. Битта маълумот сигналлар орқали узатилиши мумкин. Уни қайта ишлаш информатиканинг марказий тушунчаси бўлиб, ахборотни қайта ишлаш алгоритмларини ахборот ташувчиси туридан — электр, механик ёки биологик бўлишидан қатъий назар ўрганадиган ҳисоблаш бўйича Европа нуқтаи назаридир. Бу соҳа ахборот назарияси, телекоммуникация, ахборот инжинирингида муҳим рол ўйнайди ва тиббий тасвирларни ҳисоблаш ва нутқ синтезида ва бошқаларда қўлланилади. Тез Фуре ўзгартириш алгоритмларининг мураккаблигининг пастки чегараси нима? назарий информатика фанининг ҳал қилинмаган муаммоларидан биридир .

 </имг>  </имг>  </имг>  </имг>  </имг>  </имг>
ФФТ алгоритмлари Тасвирни қайта ишлаш Нутқни аниқлаш Ма'лумотларни сиқиш Тиббий тасвирни ҳисоблаш Нутқ синтези

Амалий информатика

edit

Ҳисоблаш фанлари, молия ва муҳандислик

edit

Илмий ҳисоблаш (ёки ҳисоблаш фанлари) — бу математик моделлар ва миқдорий таҳлил усулларини яратиш ва илмий муаммоларни таҳлил қилиш ва ҳал қилиш учун компютерлардан фойдаланиш билан боғлиқ бўлган тадқиқот соҳаси. Илмий ҳисоблашнинг асосий қўлланилиши турли жараёнларни, жумладан, ҳисоблаш суюқлик динамикаси, физик, электр ва электрон тизимлар ва схемаларни, шунингдек, жамиятлар ва ижтимоий вазиятларни (айниқса, уруш ўйинлари) уларнинг яшаш жойлари билан бир қаторда симуляция қилишдир. Замонавий компютерлар самолёт каби дизайнларни оптималлаштириш имконини беради. Электр ва электрон схемалар дизайнида СПИCЕ,[67], шунингдек, янги (ёки ўзгартирилган) дизайнларни жисмоний амалга ошириш учун дастурий таъминот диққатга сазовордир. Иккинчиси интеграл микросхемалар учун муҳим дизайн дастурларини ўз ичига олади.[68]

 </имг>  </имг>  </имг>  </имг>  </имг>  </имг>  </имг>  </имг>  </имг>
Рақамли таҳлил Ҳисоблаш физикаси Ҳисоблаш кимёси Биоинформатика Нейроинформатика Психоинформатика Тиббий информатика Ҳисоблаш муҳандислиги Ҳисоблаш мусиқаологияси

Ижтимоий ҳисоблаш ва инсон ва компютернинг ўзаро таъсири

edit

Ижтимоий ҳисоблаш — бу ижтимоий хатти-ҳаракатлар ва ҳисоблаш тизимларининг кесишиши билан боғлиқ бўлган соҳа. Инсон ва компютернинг ўзаро таъсирини тадқиқ қилиш фойдаланувчи интерфейси дизайнерлари учун назариялар, тамойиллар ва кўрсатмаларни ишлаб чиқади.

Дастурий таъминот муҳандислиги

edit

Дастурий таъминот муҳандислиги — бу дастурий таъминотни юқори сифатли, арзон, техник хизмат кўрсатиш ва қуриш тезлигини таъминлаш учун уни лойиҳалаш, жорий этиш ва ўзгартиришни ўрганишдир. Бу дастурий таъминотни лойиҳалашда муҳандислик амалиётларини ��ўллашни ўз ичига олган тизимли ёндашув. Дастурий таъминот муҳандислиги дастурий таъминотни ташкил қилиш ва таҳлил қилиш билан шуғулланади — у нафақат янги дастурий таъминотни яратиш ёки ишлаб чиқариш билан шуғулланади, балки уни ички тартибга солиш ва техник хизмат кўрсатиш билан шуғулланади. Мисол учун, дастурий та'минот синови, тизим муҳандислиги, техник қарз ва дастурий таъминотни ишлаб чиқиш жараёнлари .

Кашфиётлар

edit

Компютер файласуфи Билл Рапапорт компютер фанининг учта буюк тушунчасини қайд этди:[69]

Ҳисоблаш мумкин бўлган ҳар қандай муаммо ҳақидаги барча маълумотлар фақат 0 ва 1 (ёки „ёқиш/ўчириш“, „магнитланган/магницизланган“, „юқори“ каби осонлик билан ажралиб турадиган ҳолатлар ўртасида ўзгариши мумкин бўлган бошқа бистабле жуфтлик ёрдамида ифодаланиши мумкин. -кучланиш/паст кучланиш" ва бошқалар.).
  • Алан Турингнинг тушунчаси: компютер „бирор нарса“ қилиш учун бажариши керак бўлган атиги бешта ҳаракат мавжуд.
Ҳар бир алгоритм фақат бешта асосий кўрсатмалардан иборат компютер учун тилда ифодаланиши мумкин:[70]
  • бир жойдан чапга силжитиш;
  • бир жойга ўнгга силжитиш;
  • жорий жойлашувдаги белгини ўқиш;
  • жорий жойда 0 ни чоп этиш;
  • жорий манзилда 1-ни чоп этинг.
  • Cоррадо Бöҳм ва Жузеппе Жаcопини тушунчаси: компютер „ҳар қандай нарсани“ қилиш учун зарур бўлган бу ҳаракатларни (мураккаброқ бўлганларга) бирлаштиришнинг фақат учта усули мавжуд .[71]
Ҳар қандай асосий кўрсатмалар тўпламини янада мураккаброқларга бирлаштириш учун фақат учта қоида керак:
  • кетма-кетлик : аввал буни, кейин буни бажаринг;
  • танлаш : АГАР фалончи ҳолат бўлса, ТҲЕН буни, ЭЛСЕ буни бажаринг;
  • такрорлаш : фалон ҳолат бўлса, буни бажаринг.
Эътибор беринг, Боэм ва Жаcопини тушунчасининг учта қоидаси гото дан фойдаланиш билан янада соддалаштирилиши мумкин (яъни бу тизимли дастурлашдан кўра оддийроқдир).

Дастурлаш парадигмалари

edit

Дастурлаш тиллари турли вазифаларни турли усулларда бажариш учун ишлатилиши мумкин. Умумий дастурлаш парадигмаларига қуйидагилар киради:

  • Функционал дастурлаш — бу компютер дастурлари тузилмаси ва элементларини қуриш услуби бўлиб, у ҳисоблашни математик функсияларни баҳолаш сифатида кўриб чиқади ва ҳолат ва ўзгарувчан маълумотлардан қочади. Бу декларатив дастурлаш парадигмаси бўлиб, дастурлаш баёнотлар ўрнига ифодалар ёки декларациялар билан амалга оширилади.[72]
  • Императив дастурлаш — бу дастур ҳолатини ўзгартирувчи баёнотлардан фойдаланадиган дастурлаш парадигмаси.[73] Табиий тиллардаги императив кайфият буйруқларни ифодалаганидек, императив дастур ҳам компютер бажариши керак бўлган буйруқлардан иборат. Императив дастурлаш асосан дастур қандай ишлашини тавсифлашга қаратилган.
  • Об'эктга ё'налтирилган дастурлаш, „об’эктлар“ концепциясига асосланган дастурлаш парадигмаси бўлиб, у маълумотларни ўз ичига олиши мумкин, кўпинча атрибутлар сифатида танилган майдонлар кўринишида; ва код, кўпинча усуллар сифатида танилган процедуралар шаклида. Об’эктларнинг хусусияти шундаки, об’экт процедуралари улар билан боғланган об’эктнинг маълумотлар майдонларига кириши ва кўпинча уларни ўзгартириши мумкин. Шундай қилиб, об’эктга йўналтирилган компютер дастурлари бир-бири билан ўзаро таъсир қилувчи об’эктлардан иборат.[74]
  • Хизматга ё'налтирилган дастурлаш, интеграциялашган бизнес иловалари ва муҳим дастурий таъминот дастурларини лойиҳалаш ва амалга ошириш учун „хизматлар“ дан компютер ишининг бирлиги сифатида фойдаланадиган дастурлаш парадигмаси.

Кўпгина тиллар бир нечта парадигмаларни қўллаб-қувватлайди, бу фарқни техник имкониятлардан кўра кўпроқ услуб масаласига айлантиради.[75]

Тадқиқот

edit

Конференсиялар информатика тадқиқотлари учун муҳим тадбирлардир. Ушбу конференсиялар давомида давлат ва хусусий сектор тадқиқотчилари ўзларининг сўнгги ишларини тақдим этадилар ва учрашадилар. Кўпгина бошқа академик соҳалардан фарқли ўлароқ, компютер фанида конференсия маърузаларининг нуфузи журнал нашрларига қараганда каттароқдир.[76][77] Бунинг таклиф қилинган тушунтиришларидан бири шундаки, бу нисбатан янги соҳанинг тез ривожланиши натижаларни тез кўриб чиқиш ва тарқатишни талаб қилади, бу вазифани журналлардан кўра конференсиялар яхшироқ ҳал қилади.[78]

Таълим

edit

Компютер фанлари, ўзининг яқин синонимлари, Ҳисоблаш, Компютер тадқиқотлари билан машҳур бўлиб, Буюк Британия мактабларида партияларни қайта ишлаш, сезгир карталар ва қоғоз ленталарни белгилаш кунларидан бери ўқитилиб келинмоқда, лекин одатда танланган бир нечта талабаларга.[79] 1981-йилда Би-би-си микро-компютер ва синфлар тармоғини ишлаб чиқарди ва Компютер фанлари ГCЕ О даражасидаги талабалар (11-16 ёшлилар) ва компютер фанидан А даражасигача бўлган талабалар учун одатий ҳолга айланди. Унинг аҳамияти эътироф этилди ва 3 ва 4 асосий босқичлар учун Миллий ўқув дастурининг мажбурий қисмига айланди. 2014-йил сентабр ойида у 4 ёшдан ошган барча ўқувчилар учун ҳуқуқ бўлди[80]

АҚСҲда 14000 та мактаб округи ўқув режасини ҳал қилади, таъминот бузилган.[81] Ҳисоблаш машиналари ассоциацияси (АCМ) ва Компютер фанлари ўқитувчилари ассоциацияси (CСТА) томонидан 2010-йил ҳисоботига кўра, 50 штатдан фақат 14 тасида ўрта мактаб информатика учун муҳим таълим стандартлари қабул қилинган.[82] 2021-йилги ҳисоботга кўра, АҚШдаги ўрта мактабларнинг атиги 51 фоизи компютер фанини таклиф қилади.[83]

Исроил, Янги Зеландия ва Жанубий Корея ўзларининг миллий ўрта таълим ўқув дастурларига информатика фанини киритдилар,[84][85] ва яна бир қанча бошқа давлатлар қуйидаги дастурларга амал қилмоқда.[86]

Қўшимча ўқиш учун

edit

Эслатмалар

edit
  1. ↑ Ин 1851
  2. ↑ "Тҳе интродуcтион оф пунчед cардс инто тҳе неw энгине wас импортант нот онлй ас а море cонвениэнт форм оф cонтрол тҳан тҳе друмс, ор беcаусе програмс cоулд ноw бе оф унлимитед эхтент, анд cоулд бе сторед анд репеатед wитҳоут тҳе дангер оф интродуcинг эррорс ин сеттинг тҳе мачине бй ҳанд; ит wас импортант алсо беcаусе ит сервед то cрйсталлизе Баббагеъс феэлинг тҳат ҳе ҳад инвентед сометҳинг реаллй неw, сометҳинг муч море тҳан а сопҳистиcатед cалcулатинг мачине." Бруcе Cоллиэр, 1970
  3. ↑ Сеэ тҳе энтрй „Cомпутер сcиэнcе“ он Wикиқуоте фор тҳе ҳисторй оф тҳис қуотатион.
  4. ↑ Тҳе wорд "анйтҳинг" ис wриттен ин қуотатион маркс беcаусе тҳере аре тҳингс тҳат cомпутерс cаннот до. Оне эхампле ис: то ансwер тҳе қуэстион иф ан арбитрарй гивен cомпутер програм wилл эвентуаллй финиш ор рун форевер (тҳе Ҳалтинг проблем).

Адабиётлар

edit

Овервиэw

edit
  • Туcкер, Аллен Б.. Cомпутер Сcиэнcе Ҳандбоок, 2нд, Чапман анд Ҳалл/CРC, 2004. ИСБН 978-1-58488-360-9. 
    • „Wитҳин море тҳан 70 чаптерс, эверй оне неw ор сигнифиcантлй ревисед, оне cан финд анй кинд оф информатион анд референcес абоут cомпутер сcиэнcе оне cан имагине. […] алл ин алл, тҳере ис абсолуте нотҳинг абоут Cомпутер Сcиэнcе тҳат cан нот бе фоунд ин тҳе 2.5 килограм-энcйcлопаэдиа wитҳ иц 110 сурвей артиcлес […].“ (Чристопҳ Меинел, Зентралблатт МАТҲ)
  • ван Леэуwен, Жан. Ҳандбоок оф Тҳеоретиcал Cомпутер Сcиэнcе. Тҳе МИТ Пресс, 1994. ИСБН 978-0-262-72020-5. 
    • „[…] тҳис сет ис тҳе мост униқуэ анд поссиблй тҳе мост усефул то тҳе [тҳеоретиcал cомпутер сcиэнcе] cоммунитй, ин суппорт ботҳ оф теачинг анд ресеарч […]. Тҳе боокс cан бе усед бй анёне wантинг симплй то гаин ан ундерстандинг оф оне оф тҳесе ареас, ор бй сомеоне десиринг то бе ин ресеарч ин а топиc, ор бй инструcторс wишинг то финд тимелй информатион он а субжеcт тҳей аре теачинг оуциде тҳеир мажор ареас оф ��хпертисе.“ (Роcкй Росс, СИГАCТ Неwс)
  • Ралстон, Антҳонй; Реиллй, Эдwин Д.; Ҳеммендингер, Давид. Энcйcлопедиа оф Cомпутер Сcиэнcе, 4тҳ, Грове'с Диcтионариэс, 2000. ИСБН 978-1-56159-248-7. 
    • „Синcе 1976, тҳис ҳас беэн тҳе дефинитиве референcе wорк он cомпутер, cомпутинг, анд cомпутер сcиэнcе. […] Алпҳабетиcаллй аррангед анд cлассифиэд инто броад субжеcт ареас, тҳе энтриэс cовер ҳардwаре, cомпутер сйстемс, информатион анд дата, софтwаре, тҳе матҳематиcс оф cомпутинг, тҳеорй оф cомпутатион, метҳодологиэс, апплиcатионс, анд cомпутинг милиэу. Тҳе эдиторс ҳаве доне а cоммендабле жоб оф блендинг ҳисториcал перспеcтиве анд праcтиcал референcе информатион. Тҳе энcйcлопедиа ремаинс эссентиал фор мост публиc анд аcадемиc либрарй референcе cоллеcтионс.“ (Жоэ Аccардин, Нортҳеастерн Иллиноис Унив., Чиcаго)
  • Эдwин Д. Реиллй. Милестонес ин Cомпутер Сcиэнcе анд Информатион Течнологй. Греэнwоод Публишинг Гроуп, 2003. ИСБН 978-1-57356-521-9. 

Селеcтед литературе

edit

Артиcлес

edit

Cурриcулум анд cлассифиcатион

edit

Манбалар

edit
  1. ↑ „Wҳат ис Cомпутер Сcиэнcе? - Cомпутер Сcиэнcе. Тҳе Университй оф Ёрк“. www.cс.ёрк.аc.ук. Қаралди: 11-июн 2020-йил.
  2. ↑ „WордНет Сеарч—3.1“. Wорднетwеб.принcетон.эду. Қаралди: 14-май 2012-йил.
  3. ↑ „Дефинитион оф cомпутер сcиэнcе | Диcтионарй.cом“ (инглизча). www.диcтионарй.cом. Қаралди: 11-июн 2020-йил.
  4. ↑ „Wҳат ис Cомпутер Сcиэнcе? | Ундерградуате Cомпутер Сcиэнcе ат УМД“. ундерград.cс.умд.эду. Қаралди: 15-июл 2022-йил.
  5. ↑ Деннинг, П.Ж.; Cомер, Д.Э.; Гриэс, Д.; Мулдер, М.C.; Туcкер, А.; Турнер, А.Ж.; Ёунг, П.Р. (1989-йил феврал). „Cомпутинг ас а дисcиплине“. Cомпутер. 22-жилд, № 2. 63–70-бет. дои:10.1109/2.19833. ИССН 1558-0814. „Тҳосе ин тҳе дисcиплине кноw тҳат cомпутер сcиэнcе энcомпассес фар море тҳан программинг.“ {{cите магазине}}: сана киритилиши керак бўлган параметрга берилган қийматни текшириш лозим: |дате= (ёрдам)
  6. ↑ Ҳарел, Давид. Алгоритҳмиcс Тҳе Спирит оф Cомпутинг. Спрингер Берлин, 2014. ИСБН 978-3-642-44135-6. ОCЛC 876384882. 
  7. ↑ Тҳе МИТ Пресс. Wҳат Cан Бе Аутоматед? Cомпутер Сcиэнcе анд Энгинеэринг Ресеарч Студй | Тҳе МИТ Пресс, Cомпутер Сcиэнcе Сериэс (инглизча). МИТ Пресс, 30-апрел 1980-йил. ИСБН 9780262010603. 
  8. ↑ Паттон, Ричард Д.; Паттон, Петер C. (2009), Ноф, Шимон Й. (муҳ.), „Wҳат Cан Бе Аутоматед? Wҳат Cаннот Бе Аутоматед?“, Спрингер Ҳандбоок оф Аутоматион, Спрингер Ҳандбоокс (инглизча), Берлин, Ҳеиделберг: Спрингер: 305–313, дои:10.1007/978-3-540-78831-7_18, ИСБН 978-3-540-78831-7, қаралди: 3-март 2022-йил{{cитатион}}: CС1 маинт: дате формат ()
  9. ↑ Деннинг, П.Ж.; Cомер, Д.Э.; Гриэс, Д.; Мулдер, М.C.; Туcкер, А.; Турнер, А.Ж.; Ёунг, П.Р. (1989-йил феврал). „Cомпутинг ас а дисcиплине“. Cомпутер. 22-жилд, № 2. 63–70-бет. дои:10.1109/2.19833. ИССН 1558-0814. „Тҳе дисcиплине оф cомпутинг ис тҳе сйстематиc студй оф алгоритҳмиc проcессес тҳат десcрибе анд трансформ информатион, тҳеир тҳеорй, аналйсис, десигн, эффиcиэнcй, имплементатион, анд апплиcатион. Тҳе фундаментал қуэстион ундерлйинг алл оф cомпутинг ис, 'Wҳат cан бе (эффиcиэнтлй) аутоматед?'“ {{cите магазине}}: сана киритилиши керак бўлган параметрга берилган қийматни текшириш лозим: |дате= (ёрдам)
  10. ↑ Форсйтҳе, Георге (Аугуст 5–10, 1969). „Cомпутер Сcиэнcе анд Эдуcатион“. Проcеэдингс оф ИФИП Cонгресс 1968. „Тҳе қуэстион 'Wҳат cан бе аутоматед?' ис оне оф тҳе мост инспиринг пҳилосопҳиcал анд праcтиcал қуэстионс оф cонтемпорарй cивилизатион.“
  11. ↑ Кнутҳ, Доналд Э. (1-август 1972-йил). „Георге Форсйтҳе анд тҳе девелопмент оф cомпутер сcиэнcе“. Cоммуниcатионс оф тҳе АCМ. 15-жилд, № 8. 721��726-бет. дои:10.1145/361532.361538. ИССН 0001-0782.{{cите магазине}}: CС1 маинт: дате формат ()
  12. ↑ Ҳансон, Виcки Л. (23-январ 2017-йил). „Cелебратинг 50 еарс оф тҳе Туринг аwард“. Cоммуниcатионс оф тҳе АCМ. 60-жилд, № 2. 5-бет. дои:10.1145/3033604. ИССН 0001-0782.{{cите магазине}}: CС1 маинт: дате формат ()
  13. ↑ Сcотт, Эриc; Мартинс, Марcелла Сcоcзйнски Рибеиро; Яфрани, Моҳамед Эл; Волз, Ванесса; Wилсон, Деннис Г (5-июн 2018-йил). „АCМ маркс 50 еарс оф тҳе АCМ А.М. туринг аwард анд cомпутинг'с греатест ачиэвеменц“. АCМ СИГЕВОлутион. 10-жилд, № 3. 9–11-бет. дои:10.1145/3231560.3231563.{{cите магазине}}: CС1 маинт: дате формат ()
  14. ↑ „Ада Ловелаcе | Баббаге Энгине | Cомпутер Ҳисторй Мусеум“. www.cомпутерҳисторй.орг. Қаралди: 2016-йил 28-декабр.
  15. ↑ „Чарлес Баббаге Институте: Wҳо Wас Чарлес Баббаге?“. cби.умн.эду. Қаралди: 2016-йил 28-декабр.
  16. ↑ „Ҳисторй оф Cомпутер Сcиэнcе“. cс.уwатерлоо.cа. Қаралди: 15-июл 2022-йил.
  17. ↑ „Wилҳелм Счиcкард – Эин Cомпутерпиониэр“ (де). 19-сентабр 2020-йилда асл нусхадан архивланган. Қаралди: 4-декабр 2016-йил.
  18. ↑ Кеатес. „А Бриэф Ҳисторй оф Cомпутинг“. Тҳе Репоситорй. Тҳе Роял Соcиэтй (25-июн 2012-йил). 29-июн 2012-йилда асл нусхадан архивланган. Қаралди: 19-январ 2014-йил.
  19. ↑ „Сcиэнcе Мусеум, Баббаге'с Аналйтиcал Энгине, 1834-1871 (Триал модел)“. Қаралди: 11-май 2020-йил.
  20. ↑ 20,0 20,1 Антҳонй Ҳйман. Чарлес Баббаге, пионеэр оф тҳе cомпутер, 1982. ИСБН 9780691083032. 
  21. ↑ „А Селеcтион анд Адаптатион Фром Ада'с Нотес фоунд ин Ада, Тҳе Энчантресс оф Нумберс, " бй Беттй Алехандра Тооле Эд.Д. Страwберрй Пресс, Милл Валлей, CА“. 2006-йил 10-февралда асл нусхадан архивланган. Қаралди: 4-май 2006-йил.
  22. ↑ „Тҳе Жоҳн Габриэл Бйрне Cомпутер Сcиэнcе Cоллеcтион“. 2019-йил 16-апрелда асл нусхадан архивланган. Қаралди: 8-август 2019-йил.
  23. ↑ "Ин тҳис сенсе Аикен неэдед ИБМ, wҳосе течнологй инcлудед тҳе усе оф пунчед cардс, тҳе аccумулатион оф нумериcал дата, анд тҳе трансфер оф нумериcал дата фром оне регистер то анотҳер", Бернард Cоҳен, п.44 (2000)
  24. ↑ Бриан Ранделл, п. 187, 1975
  25. ↑ Тҳе Ассоcиатион фор Cомпутинг Мачинерй (АCМ) wас фоундед ин 1947.
  26. ↑ „ИБМ Арчивес: 1945“. Ибм.cом (23-январ 2003-йил). Қаралди: 19-март 2019-йил.
  27. ↑ „ИБМ100 – Тҳе Оригинс оф Cомпутер Сcиэнcе“. Ибм.cом (15-сентабр 1995-йил). Қаралди: 19-март 2019-йил.
  28. ↑ Деннинг, Петер Ж. (2000). „Cомпутер Сcиэнcе: Тҳе Дисcиплине“ (ПДФ). Энcйcлопедиа оф Cомпутер Сcиэнcе. Май 25, 2006да асл нусхадан (ПДФ) архивланди.
  29. ↑ „Соме ЭДСАC статистиcс“. Университй оф Cамбридге. Қаралди: 19-ноябр 2011-йил.
  30. ↑ „Cомпутер сcиэнcе пионеэр Самуэл Д. Cонте диэс ат 85“. Пурдуэ Cомпутер Сcиэнcе (1-июл 2002-йил). Қаралди: 12-декабр 2014-йил.
  31. ↑ Тедре, Матти. Тҳе Сcиэнcе оф Cомпутинг: Шапинг а Дисcиплине. Тайлор анд Франcис / CРC Пресс, 2014. 
  32. ↑ 32,0 32,1 Лоуис Фине (1960). „Тҳе Роле оф тҳе Университй ин Cомпутерс, Дата Проcессинг, анд Релатед Фиэлдс“. Cоммуниcатионс оф тҳе АCМ. 2-жилд, № 9. 7–14-бет. дои:10.1145/368424.368427.
  33. ↑ „Станфорд Университй Орал Ҳисторй“. Станфорд Университй. Қаралди: 30-май 2013-йил.
  34. ↑ Доналд Кнутҳ (1972). „Георге Форсйтҳе анд тҳе Девелопмент оф Cомпутер Сcиэнcе“. Cоммс. АCМ. Wебархив андозасида хато: |урл= қийматини текширинг. Бўш.
  35. ↑ Матти Тедре. „Тҳе Девелопмент оф Cомпутер Сcиэнcе: А Соcиоcултурал Перспеcтиве“ (2006). 2022-йил 9-октябрда асл нусхадан архивланган. Қаралди: 12-декабр 2014-йил.
  36. ↑ Петер Наур (1966). „Тҳе сcиэнcе оф даталогй“. Cоммуниcатионс оф тҳе АCМ. 9-жилд, № 7. 485-бет. дои:10.1145/365719.366510.
  37. ↑ Wеисс, Э.А.; Cорлей, Ҳенрй П.Т. „Леттерс то тҳе эдитор“. Cоммуниcатионс оф тҳе АCМ. 1-жилд, № 4. 6-бет. дои:10.1145/368796.368802.
  38. ↑ Cоммуниcатионс оф тҳе АCМ 2 (1):п.4
  39. ↑ ИЭЭЭ Cомпутер 28 (12): п.136
  40. ↑ П. Моуниэр-Куҳн, Л’Информатиқуэ эн Франcе, де ла сеcонде гуэрре мондиале ау План Cалcул. Л'éмергенcе д’уне сcиэнcе, Парис, ПУПС, 2010, ч. 3 & 4.
  41. ↑ Гротҳ. „Wҳй ан Информатиcс Дегреэ?“. Cоммуниcатионс оф тҳе АCМ. Cаcм.аcм.орг (2010-йил феврал).
  42. ↑ Деннинг, Петер Ж. (2000). „Cомпутер Сcиэнcе: Тҳе Дисcиплине“ (ПДФ). Энcйcлопедиа оф Cомпутер Сcиэнcе. Май 25, 2006да асл нусхадан (ПДФ) архивланди.
  43. ↑ Тедре, Матти. Тҳе Сcиэнcе оф Cомпутинг: Шапинг а Дисcиплине. Тайлор анд Франcис / CРC Пресс, 2014. 
  44. ↑ Тедре, М. (2011). „Cомпутинг ас а Сcиэнcе: А Сурвей оф Cомпетинг Виэwпоинц“. Миндс анд Мачинес. 21-жилд, № 3. 361–387-бет. дои:10.1007/с11023-011-9240-4.
  45. ↑ Парнас, Д.Л. (1998). „Софтwаре энгинеэринг программес аре нот cомпутер сcиэнcе программес“. Анналс оф Софтwаре Энгинеэринг. 6-жилд. 19–37-бет. дои:10.1023/А:1018949113292., п. 19: „Ратҳер тҳан треат софтwаре энгинеэринг ас а субфиэлд оф cомпутер сcиэнcе, И треат ит ас ан элемент оф тҳе сет, Cивил Энгинеэринг, Мечаниcал Энгинеэринг, Чемиcал Энгинеэринг, Элеcтриcал Энгинеэринг, […]“
  46. ↑ 46,0 46,1 „Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе“, Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе (Станфорд Энcйcлопедиа оф Пҳилосопҳй). Метапҳйсиcс Ресеарч Лаб, Станфорд Университй, 2021. 
  47. ↑ 47,0 47,1 47,2 „Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе“, Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе (Станфорд Энcйcлопедиа оф Пҳилосопҳй). Метапҳйсиcс Ресеарч Лаб, Станфорд Университй, 2021. 
  48. ↑ 48,0 48,1 „Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе“, Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе (Станфорд Энcйcлопедиа оф Пҳилосопҳй). Метапҳйсиcс Ресеарч Лаб, Станфорд Университй, 2021. 
  49. ↑ Wегнер, П. (Оcтобер 13–15, 1976). "Ресеарч парадигмс ин cомпутер сcиэнcе—Проcеэдингс оф тҳе 2нд интернатионал Cонференcе он Софтwаре Энгинеэринг". Сан Франcисcо, Cалифорниа, Унитед Статес: ИЭЭЭ Cомпутер Соcиэтй Пресс, Лос Аламитос, CА. 
  50. ↑ Деннинг, П.Ж.; Cомер, Д.Э.; Гриэс, Д.; Мулдер, М.C.; Туcкер, А.; Турнер, А.Ж.; Ёунг, П.Р. (1989-йил январ). „Cомпутинг ас а дисcиплине“. Cоммуниcатионс оф тҳе АCМ. 32-жилд. 9–23-бет. дои:10.1145/63238.63239. {{cите магазине}}: сана киритилиши керак бўлган параметрга берилган қийматни текшириш лозим: |дате= (ёрдам)
  51. ↑ Деннинг, Петер Ж. (2007). „Cомпутинг ис а натурал сcиэнcе“. Cоммуниcатионс оф тҳе АCМ. 50-жилд, № 7. 13–18-бет. дои:10.1145/1272516.1272529.
  52. ↑ Эден, А.Ҳ. (2007). „Тҳреэ Парадигмс оф Cомпутер Сcиэнcе“ (ПДФ). Миндс анд Мачинес. 17-жилд, № 2. 135–167-бет. дои:10.1007/с11023-007-9060-8. Фебруарй 15, 2016да асл нусхадан (ПДФ) архивланди.
  53. ↑ Турнер, Раймонд; Ангиус, Ниcола (2019). "Тҳе Пҳилосопҳй оф Cомпутер Сcиэнcе". ин Залта, Эдwард Н.. Тҳе Станфорд Энcйcлопедиа оф Пҳилосопҳй. https://plato.stanford.edu/archives/spr2019/entries/computer-science/. 
  54. ↑ 54,0 54,1 „Cомпутер Сcиэнcе ас а Профессион“. Cомпутинг Сcиэнcес Аccредитатион Боард (1997-йил 28-май). 2008-йил 17-июнда асл нусхадан архивланган. Қаралди: 23-май 2010-йил.
  55. ↑ Cоммиттеэ он тҳе Фундаменталс оф Cомпутер Сcиэнcе: Чалленгес анд Оппортунитиэс, Натионал Ресеарч Cоунcил. Cомпутер Сcиэнcе: Рефлеcтионс он тҳе Фиэлд, Рефлеcтионс фром тҳе Фиэлд. Натионал Аcадемиэс Пресс, 2004. ИСБН 978-0-309-09301-9. 
  56. ↑ „CСАБ Леадинг Cомпутер Эдуcатион“. CСАБ (3-август 2011-йил). Қаралди: 19-ноябр 2011-йил.
  57. ↑ Деннинг, Петер Ж. (2000). „Cомпутер Сcиэнcе: Тҳе Дисcиплине“ (ПДФ). Энcйcлопедиа оф Cомпутер Сcиэнcе. Май 25, 2006да асл нусхадан (ПДФ) архивланди.
  58. ↑ Cлай Матҳематиcс Институте П = НП Wебархив андозасида хато: |урл= қийматини текширинг. Бўш.
  59. ↑ П. Cоллинс. „Cлауде Э. Шаннон: Фоундер оф Информатион Тҳеорй“. Сcиэнтифиc Америcан (14-октабр 2002-йил). Қаралди: 12-декабр 2014-йил.
  60. ↑ Ван-Нам Ҳуйнҳ; Владик Креинович; Сонгсак Срибоончитта; 2012. Унcертаинтй Аналйсис ин Эcонометриcс wитҳ Апплиcатионс. Спрингер Сcиэнcе & Бусинесс Медиа. п. 63. ИСБН 978-3-642-35443-4.
  61. ↑ Пҳиллип А. Лапланте, 2010. Энcйcлопедиа оф Софтwаре Энгинеэринг Тҳреэ-Волуме Сет (Принт). CРC Пресс. п. 309. ИСБН 978-1-351-24926-3.
  62. ↑ А. Тҳистед. „Cомпутер Арчитеcтуре“. Тҳе Университй оф Чиcаго (7-апрел 1997-йил). 2022-йил 9-октябрда асл нусхадан архивланган.
  63. ↑ Жиаcун Wанг, 2017. Реал-Тиме Эмбеддед Сйстемс. Wилей. п. 12. ИСБН 978-1-119-42070-5.
  64. ↑ Гордана Додиг-Cрнковиc; Раффаэла Гиовагноли; 2013. Cомпутинг Натуре: Туринг Cентенарй Перспеcтиве. Спрингер Сcиэнcе & Бусинесс Медиа. п. 247. ИСБН 978-3-642-37225-4.
  65. ↑ Симон Элиас Бибри; 2018. Смарт Сустаинабле Cитиэс оф тҳе Футуре: Тҳе Унтаппед Потентиал оф Биг Дата Аналйтиcс анд Cонтехт-Аwаре Cомпутинг фор Адванcинг Сустаинабилитй. Спрингер. п. 74. ИСБН 978-3-319-73981-6.
  66. ↑ Катз, Жонатҳан. Интродуcтион то модерн cрйптограпҳй, Еҳуда Линделл, Боcа Ратон: Чапман & Ҳалл/CРC, 2008. ИСБН 978-1-58488-551-1. ОCЛC 137325053. 
  67. ↑ Муҳаммад Ҳ. Рашид, 2016. СПИCЕ фор Поwер Элеcтрониcс анд Элеcтриc Поwер. CРC Пресс. п. 6. ИСБН 978-1-4398-6047-2.
  68. ↑ „Wҳат ис ан интегратед cирcуит (ИC)? А витал cомпонент оф модерн элеcтрониcс“ (инглизча). WҳатИс.cом. Қаралди: 15-ноябр 2021-йил.
  69. ↑ Рапапорт. „Wҳат Ис Cомпутатион?“. Стате Университй оф Неw Ёрк ат Буффало (20-сентабр 2013-йил).
  70. ↑ Б. Жаcк Cопеланд, 2012. Алан Туринғс Элеcтрониc Браин: Тҳе Струггле то Буилд тҳе АCЕ, тҳе Wорлд’с Фастест Cомпутер. ОУП Охфорд. п. 107. ИСБН 978-0-19-960915-4.
  71. ↑ Чарлес W. Ҳерберт, 2010. Ан Интродуcтион то Программинг Усинг Алиcе 2.2. Cенгаге Леарнинг. п. 122. ИСБН 0-538-47866-7.
  72. ↑ Мд. Резаул Карим; Сридҳар Алла; 2017. Сcала анд Спарк фор Биг Дата Аналйтиcс: Эхплоре тҳе cонcепц оф фунcтионал программинг, дата стреаминг, анд мачине леарнинг. Паcкт Публишинг Лтд. п. 87. ИСБН 978-1-78355-050-0.
  73. ↑ Лех Шеэҳан, 2017. Леарнинг Фунcтионал Программинг ин Го: Чанге тҳе wай ёу аппроач ёур апплиcатионс усинг фунcтионал программинг ин Го. Паcкт Публишинг Лтд. п. 16. ИСБН 978-1-78728-604-7.
  74. ↑ Эвелио Падилла, 2015. Субстатион Аутоматион Сйстемс: Десигн анд Имплементатион. Wилей. п. 245. ИСБН 978-1-118-98730-8.
  75. ↑ „Мулти-Парадигм Программинг Лангуаге“. девелопер.мозилла.орг. Мозилла Фоундатион. 2013-йил 21-августда асл нусхадан архивланган.
  76. ↑ Меер, Бертранд (2009-йил апрел). „Виэwпоинт: Ресеарч эвалуатион фор cомпутер сcиэнcе“. Cоммуниcатионс оф тҳе АCМ. 25-жилд, № 4. 31–34-бет. дои:10.1145/1498765.1498780. {{cите магазине}}: сана киритилиши керак бўлган параметрга берилган қийматни текшириш лозим: |дате= (ёрдам)
  77. ↑ Паттерсон. „Эвалуатинг Cомпутер Сcиэнтисц анд Энгинеэрс Фор Промотион анд Тенуре“. Cомпутинг Ресеарч Ассоcиатион (1999-йил август).
  78. ↑ Фортноw, Ланcе (2009-йил август). „Виэwпоинт: Тиме фор Cомпутер Сcиэнcе то Гроw Уп“. Cоммуниcатионс оф тҳе АCМ. 52-жилд, № 8. 33–35-бет. дои:10.1145/1536616.1536631. {{cите магазине}}: сана киритилиши керак бўлган параметрга берилган қийматни текшириш лозим: |дате= (ёрдам)
  79. ↑ Бурнс, Жудитҳ. „Cомпутер сcиэнcе А-левел 1970с стйле“ (3-апрел 2016-йил). Қаралди: 9-феврал 2019-йил.
  80. ↑ Жонес. „Девелопинг а Cомпутер Сcиэнcе Cурриcулум ин Энгланд: Эхплоринг Аппроачес ин тҳе УСА“. Wинстон Чурчилл Мемориал Труст (1915-йил октабр). 22-октабр 2016-йилда асл нусхадан архивланган. Қаралди: 9-феврал 2019-йил.
  81. ↑ „Cомпутер Сcиэнcе: Нот Жуст ан Элеcтиве Анйморе“. Эдуcатион Wеэк (25-феврал 2014-йил).
  82. ↑ Wилсон. „Руннинг он Эмптй: Тҳе Фаилуре то Теач К–12 Cомпутер Сcиэнcе ин тҳе Дигитал Аге“. АCМ (2010).
  83. ↑ „2021 Стате оф cомпутер сcиэнcе эдуcатион: Аccелератинг аcтион тҳроугҳ адвоcаcй.“. Cоде.орг, CСТА, & ЭCЕП Аллианcе (2021). 2022-йил 9-октябрда асл нусхадан архивланган.
  84. ↑ „А ис фор алгоритҳм“. Тҳе Эcономист (26-апрел 2014-йил).
  85. ↑ „Cомпутинг ат Счоол Интернатионал cомпарисонс“. 8-май 2013-йилда асл нусхадан архивланган. Қаралди: 20-июл 2015-йил.
  86. ↑ „Аддинг Cодинг то тҳе Cурриcулум“. Тҳе Неw Ёрк Тимес (23-март 2014-йил). 1-январ 2022-йилда асл нусхадан архивланган.

Ҳаволалар

edit

Ташкилотлар:

edit

Библиография ва академик қидирув тизимлари

edit

Бошқа

edit
Retrieved from "https://uz.wikipedia.org/w/index.php?title=Informatika&oldid=5346923"