Методичка с заданиями по Математическому анализу за 2011 (2010) год (Кибернетика) 2 семестр (1019593), страница 4
Текст из файла (страница 4)
4 Алгоритм мнсимнзацин анп>ьнгп> б Коыбинационю,ю и логические автоматы, Тноримс о реализации э>ги нюка>О аетоиюа В инд(( СНС, 6 Теорема ( реализация пра>ыналы(ого ибстрактнога ли(амита и виде СЛС 7 Летом >т Му!и, (.га свая, г аю аматам Мили (теарсыа!. 8 Параллельное (асдинаинс двух автоюгюн 9 Послсдовательноа соединение двух ввтоматое 10 Соедияснне автоматов с обратной связью. 11 Ав>оматна полные сигтемы автоматов Теорема а дастато жом условии автоматной полноты 12 Трипхры. их автоматные таблицы и диаграммы 6!ура Рсюж- зация одних 1 рип еров с иомыцыа других 13 Дет(*рмн>нц)сеянные фуикиии Их сьячи с Л-дср( еом, 14 Все Л.дерева, Ограни ниша жтармнниронанные функ(юн Тео- рема а жюбходпмом и даст ато нам услов>ю аетоматаога (и ображ("- ння 16.
Опрсдедсние машины Тьк>ринге. Ее связь с каиачпь(м ю>тима 1'ОМ 16, !Нюятне функции, вычислимой по Тьюрингу Вы (ныюмгюп, су- ЫЗт(пююн к ркыспи>еюж. 1" Понятие прим>пинна-рекурсивной, ргкурснвнай и (ю"пюн > рг- кзрсивнай функции Ечюаю>г ф>нкшж н Осиаиныоопс!м>ифы, 18 Теоремы о нрнмитввнай ргкурсявнастя констант, иср(тюнаикн И О>ОХ\Два>ВЛЕЕНЯ Н(РЕМЕНПЫХ 10. Теоремы а примитнююй ргкурсниности суммы, произнсдееин и ЕГПВ(')Н'Ннн В С1 'и:Ю, 20 Теоремы О примигивп >й р ыур(нвнагги урсжнпоги енин(ап>ы, м(ыцсн функпип ( ю нуи м>пи(чум и ьык(нмум, 6)зи>пых фупкннй 17 21 Теор(ма о свеев функций вычп>лиюжпоТ(юрин>у, с ииюпчж> рскурс>юиымн функц(п>ми, Тезисы Тьюриига и Ч('р ю 22 Микропрограммные Внтаматы, их ргелвъщия 23 Пере>ислимые и ргыр(юнмыс множ стев Теореме Г>(йси 56>О> докеиател> ства! 24 Нюггроенный автомиг Мура Автаматно параждюп:ь(й яжык 2> Регнжрные операции над языкамн Опр(дгл('нне р(ту((арпа(о ЯЗЫКВ 26 Определение источника Построение ис>ачннка для; (т) чарного языка.
2( ТО)!К>ыа синтеза Клини (1В!стран шг агтамаю Муре,(15> Ввтама(ВОСО я'>ыка1 28. Ллгоретмиче(>кая разр(юимаюь задачи тюкдсюва регулярных ЯЗЫКОВ Вопр( сы к зачетам и жзамснвм могут бьгп, уго инны ( дано,>иены лектором ЛИТЕРАТРРЛ 1. Ку>>нецав О.П., Адель(он-Вглы кий Г.М Пнскрет>жя иатгматика для инжсясра. М .
Энсргаатомиздет. 1988: Куин цон О П, Д>к кюзяая математика для нн)кенера. С1 !б. (Лань> 2002 2 Г>врнлов ГП . Сапожеико А Л Задачи н уприжнс ил но ди(- Нитной мюематике. М. ФИЗМДГЙИЪ', 2008 ДОНО(!НИТЕВЬНЛВ ЛПТЕРЛТЗ(ГА 3 Нб>ланский С.В. Введение е дискретную мат мнтик) 81, Наука, 1986 4. Вюивцсв Л.О,.
Примгнка Э.А Рикмюпы днскратпои матсююи ки. М. МНРЭЛ, 1686 б Впп(ацсв А.С, Прямевка Э,Л Мггады аитнмюпнннн прасктнронаиия се(ей в формяльнью Вл>оритмы. Мс МИРС1Л, 1988. !!02!С!гЖА!!!!Е 22агекгати некий мггляси 2 сгместр !'носко!г расист !йллогяс ~рпглй лиан упркг!ок иии 22арсгггиос!сги' лолросм к экзамену Осгк лы днгкрсгиой кгагемагнкк, 2 семестр ......... 20 !г!атсьлгтгггсская логика и ~со!лгя аг~гар!ггмов,й соммтр 22 .