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

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

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

3.7 Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу Предикаттар логикасының тілі математикалық тұжырымдар мен анықтамаларды жазу үшін ыңғайлы. Ол ұғымдар арасындағы логикалық байланыстарды өрнектеу, анықтамаларды, теоремаларды, дәлелдеулерді жазу мүмкіндігін береді. Мұндай жазылулардың бірнеше мысалдарын келтірейік. Мысал 1. Е облыста анықталған ƒ(х) функцияның x0 нүктедегі шегінің анықтамасы.: . үш орынды предикатты қолданып жазамыз: , мұнда . Мысал 2. Нүктедегі үзіліссіз функцияның анықтамасы. Егер , мұндағы , онда Е жиыныдағы анықталған функциясы нүктеде үзіліссіз деп аталады. жүктеу 8,05 Mb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз