Информатика

Семантика мінездемелері

Егер біз ең үлкен ортақ бөлінгішті таба алатын машина құрғымыз келсе, онда машинаның соңғы жағдайы x=EOБ(x,y) (1) шартын қанағаттандыру керек деп талап етеміз. (Алдын қарастырған...

Программалау тілдерінің рөлі

Өткен сабақта екі оң санның ең үлкен ортақ бөлінгішін есептейтін екі түрлі машинаның формальді емес бейнесін келтірдік. Физикалық тұрғыдан олар екі басқа, бірақ...

Трансформациялық программалау

Трансформациялық программалау. Макрогенерациялар мен дербес есептеулер программаларын тиімді етудің техникасын әдістемелік тұрғыдан біріктірді. Бұл саладағы ең өзекті ұғым – ол ақпараттық эквиваленттілігі. Ол программалар...

Программалау парадигмалары

Информатиканы оқыту бойынша мамандардың берген ұсыныстары бойынша функционалды программалау (ФП) (алгоритмикалық, императивті, ақпараттық, объектілі және шолу – танысу программалаумен бірге) университеттердегі программалауды оқып зерттеудің...

Программалауға қатысты функциональдық амал

Программалауға қатысты функцияналдық амал. Лекцияда (дәрісте) программалақ жүйелердің математикалық негіздеме мен мүмкіндіктерінің жобалауға қатынасыфункцияналдық амалдың негізіндегі даму тарихына, идиялогисынажәне пограммалық қамтамасыз етуді жүзеге асыруға...

Комбинаторлық логика формальды жүйе ретінде

Енді формальды жүйе ретіндегі комбинаторлы логиканың сипаттамасына өтейік. Математика практикасына сәйкес, теорияның келесі элементтерін анықтау қажет: Әліпби (алфавит) Тұжырымдау Аксиалалар Қорытынды ережесі. Мынаны еске салған...

Формальды грамматиканың негізгі түрі

U1ÎW сөзі W2ÎW сөзінен P1:f1-91 ережесінің көмегімен, егер де U1=v1f1v2, w2=v191v2, p1ÎP болса қорытылады. F=f0:f1:f2: … :ft=9, t³1 тізбегі, егер де fi+1, fi ден...

Метатілдер

Ғылыми білімдерді білдірудің формалы ретіндегі математикалық тіл, өте ерте замандарда – ақ практикалық міндеттерді шешу кезінде пайдаланылады. Ғылымдардың метатілі – тіл ретіндегі математиканың дамуындағы үлкен...

Программалау тілдерінің классифика

Лекция пррограммалауға қатыстытілдер мен аламдардың тарихы мен эвалюциясы мәселелері зерттелінеді, олардың артықшылықтары мен кемшіліктері талданып, программалауға қатасты тілдермен амалдардың класификациясы (жіктеу) құрылады. Алдымен программаға қатысты...

Тексттерді анимациялау

Өлшемі 50 пунктен жоғары кегльдінегізделгенпайдаланып,жартылайқалыңдатылған,қар түсті таңдапөз атыңызды жазыңыз. Ескерту. Дұрыс көріністабуы үшінCyr –менаяқталғаншритфттердітаңдағандұрыс.Ендіәрбір әріп үшінбекара сызықтарын құрамыз. 1.Modify→Break Aport (Ctrl+B) командасымен текстті графикаға айналдырыңыз. 2....

Flesh программасындағы растрлық графиканы экспорттау

 Графиканыне видеоны импорттаудан бөлек проектпен жұмыс істеубарысында кадр мазмұнын картинка түрінде немесе түгел фильмдівидео форматында сақтап қою қажеттілігі туындауы мүмкін. Flesh бейнені көптеген форматтарға...

Есеп беру кестесіне қосымша есептеулер жасау

-1- Мәндер негізінде жеке есеп беру кестесін жасау үшін төмендегіәрекеттерді орындау керек. Есеп беру кестесін көркемдеуді орындаңыз. Бұл жерде кестені бөлу үшін пайдаланылған өріс...

“Үшін” циклы. FOR, NEXT операторлары. Цикл ішінде цикл

Егер цикл деқайталану саны белгілі болса,программада“Үшін” циклон пайдаланған дұрыс.Бейсиктебұл құрылымныңжүрілісі: FORk=k0TOKn S NEXT<> FOR-цикл басының операторы,не циклтақырыбы деп.,NEXT-цикл соңы операторы деп., К-цикл параметрі,цикл санауыш,не басқарушыайнымалы деп те аталады;K0менKn-параметрдің...

Windows қолданбаларын мен құрылғылары орнату

1.Windows қолданбалары. Windows операциялықжүйесінде қолданбалы программаларды орнатудың бірнеше тәсілдері бар. Соның ішінде басқару панелінде орналасқан программаларды орнату және жою таңбашасын қолдануға негізделген ( пуск→настройка→панель управление)...