Представлено пять тем: теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов. Из теории множеств освещены темы: алгебра множеств, бинарные отношения, бесконечные множества, теория нечетких множеств. Из булевой алгебры - минимизация булевых формул в дизъюнктивных и конъюнктивных нормальных формах с учетом неопределенных состояний, булевы уравнения, первые сведения о булевом дифференциальном и интегральном исчислении. Из теории конечных автоматов - синтез логических (комбинационных) и многотактных схем, теорема Поста о функциональной полноте. Из комбинаторики - размещения, сочетания и перестановки с повторениями и без повторений, разбиение множеств и др. Из теории графов - графы и ориентированные графы, сети, деревья и др. Приведено более 2600 задач и упражнений для самостоятельной работы и 620 задач для контрольных работ. Ко всем упражнениям для самостоятельной работы приведены ответы. Для студентов технических специальностей вузов...
Predstavleno pjat tem: teorija mnozhestv, buleva algebra logiki, teorija konechnykh avtomatov, kombinatorika i teorija grafov. Iz teorii mnozhestv osvescheny temy: algebra mnozhestv, binarnye otnoshenija, beskonechnye mnozhestva, teorija nechetkikh mnozhestv. Iz bulevoj algebry - minimizatsija bulevykh formul v dizjunktivnykh i konjunktivnykh normalnykh formakh s uchetom neopredelennykh sostojanij, bulevy uravnenija, pervye svedenija o bulevom differentsialnom i integralnom ischislenii. Iz teorii konechnykh avtomatov - sintez logicheskikh (kombinatsionnykh) i mnogotaktnykh skhem, teorema Posta o funktsionalnoj polnote. Iz kombinatoriki - razmeschenija, sochetanija i perestanovki s povtorenijami i bez povtorenij, razbienie mnozhestv i dr. Iz teorii grafov - grafy i orientirovannye grafy, seti, derevja i dr. Privedeno bolee 2600 zadach i uprazhnenij dlja samostojatelnoj raboty i 620 zadach dlja kontrolnykh rabot. Ko vsem uprazhnenijam dlja samostojatelnoj raboty privedeny otvety. Dlja studentov tekhnicheskikh spetsialnostej vuzov...
