1. it индустриясының дамуы
жүктеу/скачать 97.5 Kb.
|
- Бұл бет үшін навигация:
- 2.Информатиканың семантикалық негіздері.
|
1.IT индустриясының дамуы. Ақпараттық технологиялар біздің өмірімізге көбірек еніп, барлық процестерге (әлеуметтік, экономикалық, саяси) еніп, оларды алмастырады, олардың дамуына көмектеседі, сонымен бірге ақпарат беру мен талдаудың ажырамас құралы болып табылады. Ақпараттық технологиялар деп әртүрлі құрылымдардың дамуын түсінуге болады және бұл термин көптеген салаларда қолданылады. Ақпараттық технологияның екі ұғымын қарастырыңыз: 1.жаңа станоктар, жабдықтар, шикізаттың жетілдірілген түрлері және ұйым қызметкерлерінің кәсібилігін арттыру; 2.ақпараттың өзі ретінде, талдау және болжау арқылы өндірісті дамыту және жетілдіру үшін қажетті деректерді анықтау. Ақпараттық басқару жүйелері мүмкіндік береді: 1.ақпаратты жедел жинау, беру және өңдеу есебінен қабылданатын шешімдердің негізділік дәрежесін арттыру; 2.нарықтық экономика жағдайында ұйымды басқару бойынша шешімдердің уақтылы қабылдануын қамтамасыз ету; 3.бірыңғай ақпараттық қордан басқарудың барлық деңгейлерінің басшыларына қажетті ақпаратты уақтылы ұсыну есебінен басқару тиімділігінің өсуіне қол жеткізу; Біздің күндеріміздің ақпараттық технологиялары үшін кезеңдер тән: 1. пайдаланушының деректерді манипуляциялау режиміндегі жұмысы ("есте сақтау және білу" қажет емес, бірақ "ұсынылған мәзірден" таңдау жеткілікті); 2. құжаттарды өңдеудің қағазсыз процесі (қағазға құжаттың соңғы нұсқасы ғана жазылады); 3. есептерді шешу процесінде ақпаратты ұсыну формасы мен әдісін бейімдеу мүмкіндігі Ақпаратты өңдеу үшін автоматтандырылған басқару жүйелері қолданылады. 2.Информатиканың семантикалық негіздері. Бағдарламалық және басқа тілдердің семантикалық негіздері информатиканың маңызды міндеттері мен салаларының бірі болып саналады. Информатика формальды жағынан математикалық логикаға негізделген бағдарламалау тілдерін сипаттайтын әртүрлі әдістерді қалыптастырды. Бағдарламалаудағы семантика дегеніміз-олардың формальды математикалық модельдерін құру арқылы бағдарламалау тілдерінің құрылымдық құрылымдарының формальды мағыналарын зерттейтін бағыт. Бұл модельдерді құру құралы математикалық логика және математиканың басқа салалары болып табылады. Бағдарламалау тілінің семантикасының ресми сипаттамасын тілді, оның қасиеттерін қолдану бойынша нұсқаулар жасау үшін де, осы бағдарламалық тілде бағдарламалардың дұрыс жазылуын ресми тексеру үшін де қолдануға болады. Тілдің семантикасы осы тілдің сөздерінің мағынасын білдіреді. Бағдарламалауға қатысты бұл операторлардың бастапқы семантикалық хабарламасы, негізгі тілдік құрылымдар және т.б. Операциялық семантика тілдің синтаксистік терминдері үшін қолданылады. Операциялық Семантиканың келесі түрлерін ажыратуға болады: 1.аксиоматикалық Семантика. Барлық синтаксистік тілдік құрылымдардың семантикасын осындай құрылымдардың жұмысын қорытындылау үшін қолданылатын аксиомалардың немесе қорытынды заңдарының жиынтығы ретінде ұсынуға болады. 2.денотация семантикасы. Ол бағдарламадағы өрнектер мен нақты математикалық объектілер арасындағы сәйкестікті табады. Бұл өрнектер математикалық объектілердің белгісі екенін білдіреді. 3.түсіндіру семантикасы. Бұл төмен деңгейлі бағдарламалау тілдерінің белгілеуіндегі конструкциялардың операциялық семантикасының көрінісі (машина кодтарына дейін). 4.хабар тарату семантикасы. Бұл жоғары деңгейлі бағдарламалық тілдердің белгілеуіндегі конструкциялардың операциялық семантикасының көрінісі. 5.Трансформация семантикасы. Бұл тіл құрылымдарының операциялық семантикасының осы тілдің белгілеуіндегі көрінісі. Семантиканың бұл түрі метапрограммалаудың негізгі құрамдас бөлігі болып табылады. жүктеу/скачать 97.5 Kb. Достарыңызбен бөлісу:
|