Зракопловно инжењерство Управно право Управно право Бјелорусија Алгебра Архитектура Сигурност живота Увод у професију "психолог" Увод у економију културе Виша математика Геологија Геоморфологија Хидрологија и хидрометрија Хидро сустави и хидраулични стројеви Повијест Украјине Културологија Културологија економија Нацртна геометрија Основи економске т Ориа Безбедност Фире Тактика процеси и структуре мисли Профессионал Псицхологи Псицхологи Психологија менаџмента модерног фундаменталних и примењених истраживања у инструменти социјална психологија социјална и филозофским проблемима Социологи Статистика Теоријске основе рачунара аутоматска контрола теорија вероватноћа транспорт Закон Туроператор Кривични закон о кривичном поступку управљања савременим производним Пхисицс физичких појава Пхилосопхи Рефригератион Инсталлатионс и екологија Привреда Историја економије Основе економије Економика предузећа Економска историја Економска теорија Економска анализа Развој економије ЕУ Хитне ситуације ВКонтакте Одноклассники Мој свет Фацебоок ЛивеЈоурнал Инстаграм

Испитна питања. Испитна питања

Испитна питања

Према дисциплини "Елементи математичке логике"

Форма студирања Специјални код. групи Форм оф Број студената на испиту Број питања Број ПЗ
пуно радно време 09.02.04 16ИС1 орално
пуно радно време 09.02.04 16ИС2 орално

Испитна питања

Б1. Шта проучава математичка логика. Задаци и методе математичке логике. Периоди развоја логике као науке.

Б2 Општи концепти теорије скупова: скуп, елемент скупа, који припада скупу, празан скуп, карактеристична својства. Подскуп

Б3. Начини постављања скупова. Имаге сетс. Универсал сет. Снага коначног скупа. Једнакост сетова. Еулер-Венн дијаграми.

Б4. Постави операције.

Б5. Својства операција на сетовима.

Б6 Однос Основне дефиниције. Карактеристике односа.

Б7. Утакмице Основне дефиниције. Својства подударања.

Б8. Функције и приказ.

Б9. Кореспонденција један на један. Еквивалентност скупова. Континуирани скупови.

Б10. Основне логичке везе: дефиниције, табеле истине, примери. Логичке формуле

Б11. Израда табела истине за логичке формуле.

Б12. Основне шеме логичког расуђивања. Њихов доказ је кроз табеле истине. Примери

Б13. Примена алгебре изјаве у логичко-математичку праксу: Логичко-математичка анализа теореме.

Б14 Примена алгебре изјаве у логичко-математичку праксу: директне и инверзне теореме, теореме супротне од директне и инверзне.

Б15. Неопходни и довољни услови.

Б16. Булова алгебра као део математичке логике. Функција алгебре логике. Начини постављања функција алгебре логике: табела истине, вербално, аналитички.

Б17. Логичке функције једне варијабле. Логичке функције двије варијабле.

Б18. Еквивалентне (еквивалентне) формуле. Једнако истините формуле. Успостављање еквивалентности и истинитости идентитета уз помоћ табела истине.

Б19. Еквивалентне трансформације. Правило замене формуле уместо правила за замену променљиве и субформуле.


border=0


Б20 Основни еквивалентни односи (закони алгебре логике). Њихов доказ је кроз табеле истине.

Б21. Еквивалентни односи су изведени из главних: везивање и апсорпција. Њихов доказ је кроз табеле истине.

Б22. Изражавање логичких функција кроз главну: коњункцију, дисјункцију и негацију.

Б23. Минимизација (поједностављење) логичких функција. Примери

Б24. Дисјунктивна нормална форма. Савршена нормална форма. Изградња СДНФ-а на табели истине. Примери

Б25 Израда ПДНФ аналитички. Примери

Б26. Коњуктивна нормална форма. Савршена коњуктивна нормална форма. Изградња СКНФ-а на табели истине. Примери

Б27. Изградња СКНФ аналитички. Примери

К28 Царнот мапе. Коришћење карнот мапа за минимизирање ЦДНФ.

Б29. Зхегалкин полиномиал. Општи преглед полигона Жегалкина за функције две и три варијабле. Зхегалкин полиноми елементарних Боолеових функција.

Б30. Конструкција Зхегалкин полинома методом неодређених коефицијената. Примери

Б31. Конструкција Зхегалкин полинома конвертовањем формула из СДНФ. Примери

Б32. Функционално затворене класе (функције које чувају константу Т 0 и Т 1 , само-дуалне функције С). Примери

Б33. Функционално затворене класе (монотоне функције М, линеарне функције Л). Примери

Б34. Функционално комплетни системи функција. Боолеан основа. Примери других основа.

Б35. Пост теорема о комплетности. Пост Таблес.

Б36. Доказ да је Сцхаеффер-ов потез основа

Б37. Доказ да је Пиерцеова стрелица основа.



Б38. Зхегалкин основи.

К39. Логичке шеме. Метода црне кутије. Логичка кола која имплементирају основне логичке операције: “АНД” (коњунктор), “ОР” (дисјунктор), “НОТ” (инвертер).

Б40. Логичке шеме које имплементирају логичке операције Сцхеффер-овог хода и Пиерцеове стрелице: Сцхеффер елемент и Пиерце елемент, респективно.

Б41. Конструкција логичких кола за произвољне логичке функције на елементима "АНД", "ОР", "НОТ".

Б42. Конструкција логичких кола за произвољне логичке функције на елементима "АНД-НОТ", "ОР-НОТ."

Б43. Употреба Булових функција за анализу и синтезу дискретних уређаја. Главни чворови рачунара: окидачи, декодери. Њихова сврха и функционалне схеме.

Б44. Употреба Булових функција за анализу и синтезу дискретних уређаја. Главни чворови рачунара: бројачи, регистри. Њихова сврха и функционалне схеме.

Б45. Употреба Булових функција за анализу и синтезу дискретних уређаја. Главни чворови рачунара: сабирачи. Њихова сврха и функционалне схеме.

Б46. Логика предиката. Основне дефиниције.

К47. Логичке операције на предикатима. Примери

Б48. Куантифиерс. Обим квантификатора. Повезане и слободне варијабле. Примери

К49. Конструкција негатива до предиката који садрже квантификаторске операције.

К50. Примена логике предиката у логичко-математичкој пракси. Писање на језику предикатне логике различитих реченица. Структура математичких теорема.

К51. Дефиниција туринг машине. Примена Турингових машина на речи. Пројектовање Турингових машина

К52 Порекло рекурзивних функција. Основни појмови теорије рекурзивних функција и теза. Примитивне рекурзивне функције.

Б53. Цоунтс. Основни појмови: графички прикази, врх, руб, лук, граф, релација инциденције, врхови и ивице међусобно повезани, сусједни врхови, оријентирани и не-оријентирани графови, вишеструки рубови, петља, мултиграф, празни и потпуни графикони, једнаки графови.

К54. Начини одређивања графова: матрица суседности, матрица инциденције, листа ивица.

Б55. Удаљеност између два врха. Центар и полупречник н-графикона.

К56 Руте, стазе, ланци, циклуси.

Б57. Повезани и одспојени графикони. Својства релационе повезаности. Компоненте повезивања Бридге

Б58. Еулер-ов циклус, Еулер-ов граф, Еулер-ов ланац. Теореме о постојању у н-графу Ејлеровог циклуса и ланца. Хамилтонов циклус и ланац.

Б59. Планарни графикони. Еулерова теорема. Доказ тврдње да су комплетни графикони потпуни, пуни бипартитни графикони.

Б60. Познати проблеми на графиконима.

Б61. Дрвеће Карактеристична својства дрвећа. Ориентед трее. Бинарна стабла. Цикломатски број. Форест

Б62. Алгоритми на графовима. Проналажење најкраћих путева из једног извора: Дијкстра алгоритам.

Б63. Алгоритми на графовима. Конструкција минималног скелета графа: Крускалов алгоритам.


Практични задаци

П1. - П10. Практични задаци на тему "Основе теорије скупова".

А11 - П15. Практични проблеми на конструкцији табела истине за логичке формуле и решавање логичких проблема.

А16. - П20. Практични задаци минимизације (поједностављења) логичких функција, на конструкцији ПДНФ, СКНФ.

А21 - П30. Практични задаци за изградњу Зхегалкин полинома, Пост табеле.

А31. - П40. Конструкција логичких кола за произвољне логичке функције на елементима "АНД", "ОР", "НОТ", "АНД-НОТ", "ОР-НОТ".

П41. - П50. Практични задаци на графиконима.

П51. - П55. Практични задаци за извођење операција на предикатима, одређивање логичких вредности предиката, формализација различитих реченица помоћу логике предиката

П56 - П60. Практични задаци за извођење логичко-математичке анализе теорема и дефинисање неопходних и довољних услова.

П61. - П65. Пројектовање Турингових машина



; Датум додавања: 2017-12-14 ; ; Прегледа: 168 ; Да ли објављени материјал крши ауторска права? | | Заштита личних података | ОРДЕР ВОРК


Нисте пронашли оно што сте тражили? Користи претрагу:

Најбоље изреке: Научите да учите, а не учите! 9164 - | 7028 - или читај све ...

2019 @ edubook.icu

Генерација странице преко: 0.004 сец.