Тесты по теме 31 VI тарау. Алгоритмдер теориясының ЭлементтерІ 34

Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу

жүктеу 8,05 Mb.

бет	45/75
Дата	11.12.2017
өлшемі	8,05 Mb.
	#4014
түрі	Тесты

1 ... 41 42 43 44 45 46 47 48 ... 75

3.7 Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу

Предикаттар логикасының тілі математикалық тұжырымдар мен анықтамаларды жазу үшін ыңғайлы. Ол ұғымдар арасындағы логикалық байланыстарды өрнектеу, анықтамаларды, теоремаларды, дәлелдеулерді жазу мүмкіндігін береді. Мұндай жазылулардың бірнеше мысалдарын келтірейік. Мысал 1. Е облыста анықталған ƒ(х) функцияның x₀нүктедегі

шегінің анықтамасы.:

үш орынды предикатты қолданып жазамыз:

, мұнда

.
Мысал 2. Нүктедегі үзіліссіз функцияның анықтамасы.

Егер

, мұндағы

, онда Е жиыныдағы анықталған

функциясы

нүктеде үзіліссіз деп аталады.

жүктеу 8,05 Mb.

Достарыңызбен бөлісу:

1 ... 41 42 43 44 45 46 47 48 ... 75