уметь: формулировать задачи логического характера и применять средства математической логики для их решения; применять законы алгебры логики; определять типы графов и давать их характеристики; строить простейшие автоматы; знать: основные понятия и приемы...
More
уметь: формулировать задачи логического характера и применять средства математической логики для их решения; применять законы алгебры логики; определять типы графов и давать их характеристики; строить простейшие автоматы; знать: основные понятия и приемы дискретной математики; логические операции, формулы логики, законы алгебры логики; основные классы функций, полнота множества функций, теорема Поста; основные понятия теории множеств, теоретико- множественные операции и их связь с логическими операциями; логика предикатов, бинарные отношения и их виды; элементы теории отображений и алгебры подстановок; метод математической индукции; алгоритмическое перечисление основных комбинаторных объектов; основные понятия теории графов, характеристики и виды графов; элементы теории автоматов
Less