Делите у друштву. мреже:


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

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

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

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

Облик студије Цоде специалс. група Форм оф Број ученика на испиту Број питања Број ПЗ
пуно радно време 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. Еквивалентне трансформације. Правило супституције формуле уместо варијабли и правила замјене подформула.




Б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. Дизајнирање Туринг машина