Раздел 3 / 4

Страница 95 / 260

ЧАСТЬ II. ЭЛЕМЕНТЫ ДИСКРЕТНОЙ МАТЕМАТИКИ И ИХ ПРИМЕНЕНИЕ В ЗАДАЧАХ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Математические основы теории оптимального и логического управления

Table of contents

Предисловие

ЧАСТЬ I. ВАРИАЦИОННЫЕ МЕТОДЫ И ИХ ПРИМЕНЕНИЕ В ЗАДАЧАХ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ +

ЧАСТЬ II. ЭЛЕМЕНТЫ ДИСКРЕТНОЙ МАТЕМАТИКИ И ИХ ПРИМЕНЕНИЕ В ЗАДАЧАХ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ -

Глава 5. Алгебраические системы

§ 5.1. Множества

§ 5.2. Бинарные отношения

§ 5.3. Алгебры

§ 5.4. Минимизация представления множеств

Вопросы и задачи

Глава 6. Алгебра логики

§ 6.1. Функции алгебры логики

§ 6.2. Полнота системы логических функций

§ 6.3. Упрощение функций алгебры логики

§ 6.1. Функции алгебры логики

§ 6.2. Полнота системы логических функций

§ 6.3. Упрощение функций алгебры логики

Вопросы и задачи

Глава 7. Исчисление высказываний и исчисление предикатов

§ 7.1. Исчисление высказываний

§ 7.2. Исчисление предикатов

Вопросы и задачи

Глава 8. Элементы теории графов

§ 8.1. Общие положения

§ 8.2. Связность в графах

§ 8.3. Эйлеровы графы, критерий эйлеровости

§ 8.4. Деревья и леса

§ 8.5. Граф системы управления

§ 8.6. Раскраска графов

Вопросы и задачи

Глава 9. Конечные автоматы

§ 9.1. Общие положения

§ 9.2. Машина Тьюринга

§ 9.3. Способы задания конечного автомата

ex.Metrika */ (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); .Metrika */ (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ka */ (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); */ (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); / (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); m[i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); i].l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); .l=1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); =1*new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); *new Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ew Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); Date();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); e();k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); );k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); eateElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ent(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); t(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); gName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ame(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); e(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); [0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); sync=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); nc=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); =1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); pt", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); ", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); s://mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); //mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); mc.yandex.ru/metrika/tag.js", "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); , "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); "ym"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); m"); ym(87744885, "init", { clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true }); script> ript> pt> script>

="https://mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

https://mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

tps://mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

s://mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

//mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

mc.yandex.ru/watch/87744885" style="position:absolute; left:-9999px;">

ndex.ru/watch/87744885" style="position:absolute; left:-9999px;">

ex.ru/watch/87744885" style="position:absolute; left:-9999px;">

.ru/watch/87744885" style="position:absolute; left:-9999px;">

/noscript> oscript> cript> s://prior.studentlibrary.ru/patrns/rds_defaults_12.js//prior.studentlibrary.ru/patrns/rds_defaults_12.jsprior.studentlibrary.ru/patrns/rds_defaults_12.jsttps://prior.studentlibrary.ru/patrns/rds_defaults2_12.jsps://prior.studentlibrary.ru/patrns/rds_defaults2_12.js://prior.studentlibrary.ru/patrns/rds_defaults2_12.js/prior.studentlibrary.ru/patrns/rds_defaults2_12.jsor.studentlibrary.ru/patrns/rds_defaults2_12.js.studentlibrary.ru/patrns/rds_defaults2_12.jstudentlibrary.ru/patrns/rds_defaults2_12.jsntlibrary.ru/patrns/rds_defaults2_12.jslibrary.ru/patrns/rds_defaults2_12.jsy.ru/patrns/rds_defaults2_12.jsru/patrns/rds_defaults2_12.js/patrns/rds_defaults2_12.js.jss">_12.js2.jsjsttps://prior.studentlibrary.ru/patrns/mb4x_doc2_12.jsps://prior.studentlibrary.ru/patrns/mb4x_doc2_12.jstrns/mb4x_doc2_12.jsns/mb4x_doc2_12.js/mb4x_doc2_12.jsb4x_doc2_12.jsx_doc2_12.jsdoc2_12.jsc2_12.js2.jsjscriptt>riptpt.studentlibrary.ru/patrns/CustomEvent_12.jstudentlibrary.ru/patrns/CustomEvent_12.jsdentlibrary.ru/patrns/CustomEvent_12.jsntlibrary.ru/patrns/CustomEvent_12.jslibrary.ru/patrns/CustomEvent_12.jsbrary.ru/patrns/CustomEvent_12.js.ru/patrns/CustomEvent_12.jsu/patrns/CustomEvent_12.jspatrns/CustomEvent_12.js.studentlibrary.ru/patrns/polyfill.min_12.jstudentlibrary.ru/patrns/polyfill.min_12.jsdentlibrary.ru/patrns/polyfill.min_12.jsbrary.ru/patrns/polyfill.min_12.jsary.ru/patrns/polyfill.min_12.jsy.ru/patrns/polyfill.min_12.jsjsiptt srcc="tps://prior.studentlibrary.ru/patrns/modernizer-custom_12.jss://prior.studentlibrary.ru/patrns/modernizer-custom_12.js//prior.studentlibrary.ru/patrns/modernizer-custom_12.jsprior.studentlibrary.ru/patrns/modernizer-custom_12.jsr.studentlibrary.ru/patrns/modernizer-custom_12.jsstudentlibrary.ru/patrns/modernizer-custom_12.jsudentlibrary.ru/patrns/modernizer-custom_12.jsentlibrary.ru/patrns/modernizer-custom_12.jsibrary.ru/patrns/modernizer-custom_12.jsrary.ru/patrns/modernizer-custom_12.jsry.ru/patrns/modernizer-custom_12.jsu/patrns/modernizer-custom_12.jspatrns/modernizer-custom_12.js/modernizer-custom_12.jsodernizer-custom_12.jsernizer-custom_12.js12.js.jsstps://prior.studentlibrary.ru/patrns/slide_menu_12.jss://prior.studentlibrary.ru/patrns/slide_menu_12.js//prior.studentlibrary.ru/patrns/slide_menu_12.jsprior.studentlibrary.ru/patrns/slide_menu_12.jsior.studentlibrary.ru/patrns/slide_menu_12.jsr.studentlibrary.ru/patrns/slide_menu_12.jsdentlibrary.ru/patrns/slide_menu_12.jsntlibrary.ru/patrns/slide_menu_12.jslibrary.ru/patrns/slide_menu_12.jsttps://prior.studentlibrary.ru/patrns/bootstrap-native_12.jsps://prior.studentlibrary.ru/patrns/bootstrap-native_12.jsrior.studentlibrary.ru/patrns/bootstrap-native_12.jsor.studentlibrary.ru/patrns/bootstrap-native_12.js.studentlibrary.ru/patrns/bootstrap-native_12.jsu/patrns/bootstrap-native_12.jspatrns/bootstrap-native_12.jstrns/bootstrap-native_12.jsptcriptipttsrcc="tps://prior.studentlibrary.ru/patrns/main_student_12.jss://prior.studentlibrary.ru/patrns/main_student_12.js/js/app.lang-switch_12.jsapp.lang-switch_12.jspp.lang-switch_12.jsie_12.jse_12.jstrns/js/pop-up_ppp_12.jsrns/js/pop-up_ppp_12.js"<_data) {ata) {_SWAP() == false) return;WAP() == false) return; + proc_label + '\n' + fun_id + '\n' + usr_data);return;}proc_label + '\n' + fun_id + '\n' + usr_data);return;} + fun_id + '\n' + usr_data);return;}un_id + '\n' + usr_data);return;}rm.SSr.value='07E9040515DD0';SSr.value='07E9040515DD0';r.value='07E9040515DD0';frm.scrollTop.value=document.body.scrollTop;m.scrollTop.value=document.body.scrollTop;scrollTop.value=document.body.scrollTop;ollTop.value=document.body.scrollTop;lTop.value=document.body.scrollTop;.body.scrollTop;ody.scrollTop;scrollTop;rollTop;frm.submit();m.submit();submit();7.value='';value='';lue='';ue='';ap(cgi_cmd_line) {p(cgi_cmd_line) {s://prior.studentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';//prior.studentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';prior.studentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';ior.studentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';tudentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';dentlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap';ntlibrary.ru/cgi-bin/mb4x?SSr=07E9040515DD0&tmst=' + tmst + cgi_cmd_line + '&procX17=call_swap'; l.click();}click();}k();});} indow.addEventListener("message",rds_receiveMessage,false);function rds_receiveMessage(event){nction rds_receiveMessage(event){tion rds_receiveMessage(event){ rds_receiveMessage(event){ds_receiveMessage(event){_receiveMessage(event){Id( event.data );( event.data );event.data );data );ta ); );p) { { el = document.getElementById(id); = document.getElementById(id); document.getElementById(id); dsp == 1) el.style.display='block';p == 1) el.style.display='block';== 1) el.style.display='block';) el.style.display='block';el.style.display='block';tyle.display='block';le.display='block';.display='block';lsid(id,cls) {id(id,cls) {(id,cls) {cls) {s) { {{ document.getElementById(id);cument.getElementById(id);ment.getElementById(id);ent.getElementById(id);t.getElementById(id);getElementById(id);tElementById(id);lementById(id);tById(id);yId(id);d,click_id){click_id){ick_id){k_id){{ : ' + frame_id);return;}' + frame_id);return;}+ frame_id);return;}frame_id);return;}e_id);return;}id);return;}return;}turn;}rn;}lick_id,'*');ck_id,'*');_id,'*');'*');');; var aRtm = new Array();r aRtm = new Array(); = new Array(); new Array();ew Array();hange(){nge(){e(){){ for(i=0;i