Объект экземплярын көрсеткіш арқылы пайдалану Экземпляр өрістеріне сырттан сілтеме (обратиться) жасауға бола ма? Паскаль тілінің синтаксисі мұндай мүмкіндік береді: RunningString.x:=25; Бірақ бұлай ете отырып, біз...

Объектілі типті жариялау Паскалда «объект» терминінен шатасуымыз мүмкін, өйткені «объект» термині классты да, осы класстың экземплярын да білдіре береді. Сондықтан, анық болуы үшін...

Динамикалық жадымен жұмыс істеуге арналған процедуралар мен функциялар Динамикалық жадымен жұмыс істеуге арналған тағы бір қатар процедуралар мен функциялармен танысалық. ADDR функциясы. Аргумент адресі...

Үйме. HEAPORG, HEAPEND, HEAPPTR көрсеткіштері Турбо Паскалда барлық динамикалық жады түгелімен үйме (куча)деп аталатын байттардың массиві ретінде қарастырылады. Үйме физикалық тұрғыдан жоғарғы(в старших...

Айталық, комплексті сандардың арифметикасын (мұндай арифметика стандартты Паскальда да, Турбо Паскальда да қарастырылмаған) жүзеге асыратын модуль құрамыз. Өкінішке орай, Турбо Паскальда мәндері құрылымдық тип...

Турбо Паскаль ортасында модуль компиляциясының жолын таңдауға және ірі программалық проекттерді жасақтауды оңайлататын құралдар бар. Дербес жағдайда, компиляцияның үш режимі анықталған: COMPILE, MAKE және...

Интерфейс бөлімі Interface қызметші сөзімен ашылады. Бұл бөлімде модульдің басқа модульдер мен негізгі программада пайдалануға болатын барлық глобал объектілері жарияланады. Глобаль көмекші программалардың интерфейс...

Егер жеке-жеке әрбір объект үшін интерфейсі, локал жадысының құрылымы, тәсілдері сипатталатын болса, онда программа өте үлкен болып кетеді. Сондықтан ОБП-ң барлық тілдерінде класстар механизмі...

ОБП тілдеріндегі объект. Олардың өзара қатынасы  Өткен тақырыпта ОБП ұғымдарын жалпылама абстрактілі қарастырдық. Бұл ұғымдарды нақтылай түсеміз. Объектіге бағытталған программалау тілдері тұрғысынан объектке...

1.Орын ауыстыру қасиеті. АВ=BA және АВ =BA 2.Сәйкестіру қасиеті. (AB)C= A(BC) және (АB)C = A(BC) 3.Бос топтың қасиеті. Aбос мүше =A  4.Біріктіруге тиісті таралым заңы. A(BC)=(AB)(AC) Қиылысқа тиісті таралым заңы. A(BC)=(AB)(AC)

Предикаттарформуласы. 2-8Егер А немесе В –формула. Н-мүше: Онда ù(А),(А)Ù(В),(А)Ú(В),(А)Þ (В), (А)Û(В),"и (А), $и(А)-формула АÛВº(ùА ÚВ)Ù(ùВÚА) АÛВº АÛВº(ùА ÚВ)Ù(ùВÚА) 260ù"uА(u)º$uùА(u)ù 270ù$uA(u) º"uùА(u)ù 280"uA(u) ºù$uА(u)ù 290$xA(u) ºù"uùА(u) Теорема 12. Барлық предикаттар үшін пара-пар формулалар келтірілген формада...

х,у сандар жиында элементар болса,екі мүшелік предикат. (коньюкция). Екі мүшелік дизьюнциялық предикат Оларды 1) x=3y=0 2) x=5y=6 болғандағын мәндерін табамыз. ((3<4)L(0<3)L(30¹0)=0 ((3>0)V(0-3)V(3-0¹6))=1 ((5<4)L(6<5)L(56=0))=0 ((5>6)V(6=3)V(5-6=6))=0 Енді төмендегі теореманы дәлелдейміз:   Теорема 8. М жиында n-көпмүшелік предикат берілген...

М-жиында R(х1, х2, ..., xn)берілген болсын. Q(х1, х2, ..., xn) Онда (а1, а2, ..., аn) және (b1, b2, ..., bn) наборлар үшін R(а1, а2, ..., аn) Q(b1, b2,...

А.Ф.деп. алгебралық пікірлерге болады. 1)Натурал сандар жиыны, 2)Таңбалар х,у,z,x1,y,z,x2…... 3-5)А және В алгебра болса,онда )А)(В); (А) × (В),(А)d Сәйкес келген мәндер қарастырайық Л1)0,1- константа (Ақиқат,) 2)ù,Ù,Ú,®, ~«,логикалық амалдар 3)p,q,r,s,p,q,r,s,,.. аргумент тер 4)(,)-жақш Осылардан...