Онлайн- библиотека Rucont. Свободный доступ. Ограниченный доступ. Автор: Ройзнер В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p- групп. Автор: Измайлов Строится континуум различных логик, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext является континуумом.
Автор: Попов А. М. ЮНИТИ- ДАНА: М. Учебное пособие подготовлено в соответствии с государственным образовательным стандартом высшего профессионального образования по дисциплине «Информатика и математика». В соответствии с дидактическими блоками стандарта изложены основные разделы дискретной математики, теории вероятностей, математической статистики и основ информатики.
Даны основные характеристики математических методов и моделей, используемых в праве, криминологии и судебной экспертизе. Предпросмотр: Информатика и математика. Учеб. пособие. Гриф УМЦ Профессиональный учебник. Мб)7. Российская академия правосудия: М.
Содержание учебного пособия отвечает программе по дисциплине «Информатика и математика», которая разработана в соответствии с требованиями. Государственного образовательного стандарта высшего профессионального. Юриспруденция») в области информатики и математики. Пособие содержит материалы, относящиеся к первому разделу учебной программы. Изложены аксиоматический метод построения оснований математики, начала математического анализа с элементами алгоритмов решения. Предпросмотр: Математика ддя юристов.
Теория алгоритмов, которую мы изучаем, имеет дело только с циф-ровыми алгоритмами. И если бы мы смогли научить машину Тьюринга уга-дывать (кратчайший путь для коммивояжера.. Теория алгоритмов, которую мы изучаем, имеет дело только с циф-ровыми алгоритмами. И если бы мы смогли научить машину Тьюринга уга-дывать (кратчайший путь для коммивояжера. Основы теории алгоритмов. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов». Санкт-Петербург 2012.. Слово алгоритм происходит от имени великого среднеазиатского ученого 8–9 вв. Абу Абдуллах Мухаммеда ибн Мусса аль-Хорезми. Из математических работ Аль-Хорезми до нас дошли только две – алгебраическая и арифметическая.. Теория алгоритмов ( англ. Theory of computation) как отдельный раздел математики, изучающий общие свойства алгоритмов, возникла.
Мб)8. Автор: Блатов И. А. Изд- во ПГУТИКонспект лекций затрагивает такие разделы математической логике и теории автоматов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждая лекция заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Предпросмотр: Математическая логика и теории алгоритмов Конспект лекций. Мб)1. 0Автор: Зайцева О. Н. КНИТУВ представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых.
Теория алгоритмов: Краткий курс лекций для студентов специальности 7,8.05010102 «Информационные технологи проектирования» / Сост..
Теория изложена кратко, но. Изложение курса дискретной математики представлено в форме.
Предложены алгоритмы решения этих задач. Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и. Логика» студентами института легкой.
Информационные системы и технологии»), инженерного химико- технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Предпросмотр: Математические методы в приложениях. Дискретная математика. Мб)1. 2Автор: Ткаченко С. В. ЛГТУПособие является одной из частей системы учебных пособий по дискретной математике.
Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика. Предпросмотр: Математическая логика. Мб)1. 3Автор: Крайзель Г. Институт компьютерных исследований: М. Имя выдающегося математика К.
Геделя широко известно не только математикам прежде всего благодаря его знаменитой «теореме о неполноте». Биография Геделя, написанная известным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Геделя в математической логике, но и раскрывает их философские истоки и смысл. Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых двадцатого века. Предпросмотр: Биография Курта Геделя.
Мб)1. 4Цель: рассмотрение логико- вероятностного моделирования отказов блоков сложной системы различного типа с уче- . Результаты: описана процедура модели- . Разработана модель, реализующая упро- . Реализован алгоритм моделирования изменения во времени вероятности от- . С#. Практическая значимость: предложенный подход.
Полученная модель может быть применена для управления. Результаты, полученные при моделировании, открывают.
По результатам эксплуатации и прогнозирования отказов конкретных систем можно. Предпросмотр: КОМБИНИРОВАННОЕ ЛOГИКО- ВЕРОЯТНОСТНОЕ И ЛИНГВИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ОТКАЗОВ СЛОЖНЫХ СИСТЕМ. Мб)1. 5Автор: Фролов С.
В. ГИОРД: СПб. Материал, сгруппированный по основным разделам математики (дифференциальное исчисление, интегралы, дифференциальные уравнения, ряды и пр.), пополнен некоторыми темами, не входящими в стандартный курс. В книге показано, как на практике работают разделы, изучаемые в курсе высшей математики. Учебное пособие способствует преодолению разрыва между материалом, излагаемым на первых курсах, и приложениями математики, с которыми студенты встречаются. Предпросмотр: Высшая математика. Этюды по теории и ее приложениям. Мб)1. 7Автор: Бояринцева Т.
Е. Изд- во МГТУ им. Н. Э. Баумана: М. Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории aлгоритмов, теории нечетких миожеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.
Предпросмотр: Математическая логика и теория алгоритмов. Мб)1. 8Автор: Белов Ю.
А. Яр. ГУПособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте. Предпросмотр: Лекции по математической логике и теории алгоритмов учебное пособие. Мб)2. 6Автор: Глоргер Графическое представление произвольного сочетания корундов.
Автор: Быкова В. В. Сиб. федер. ун- т.
Книга посвящена анализу параметризированных алгоритмов – современному направлению теории сложности вычислений. Параметризированные алгоритмы направлены на поиск точных решений NP- полных задач, когда параметр решаемой задачи мал по сравнению с длиной входа алгоритма. Роль этого параметра – учесть информацию о структуре исходных данных алгоритма и выделить основной источник неполиномиальной сложности NP- трудной задачи. В работе представлена классификация параметризированных алгоритмов по вычислительной сложности на основе эластичностей функций сложности, описывающих потребности алгоритмов в необходимых ресурсах.
С помощью эластичностей исследовано влияние параметра на время выполнения параметризированного алгоритма. Развиты методы анализа рекурсивных алгоритмов. Предпросмотр: Теоретические основы анализа параметризированных данных.
Мб)3. 0Автор: Атяскина Т. В. ОГУМетодические указания предназначены для выполнения практических работ по дисциплине «Элементы математической логики» в колледже электроники и бизнеса ОГУ. Для студентов 2 курса специальности 2. Программирование в компьютерных системах» очной формы обучения. В данных методических указаниях представлены практические работы по разделу «Алгебра высказываний». Предпросмотр: Элементы математической логики.
Мб)3. 1Автор: Атяскина Т. В. ОГУМетодические указания предназначены для выполнения практических работ по дисциплине «Элементы математической логики» в колледже электроники и бизнеса ОГУ. Для студентов 2 курса специальности 2. Программирование в компьютерных системах» очной формы обучения. В данных методических указаниях представлены практические работы по разделам «Множества», «Логика предикатов». Предпросмотр: Элементы математической логики. Мб)3. 3Автор: Рублев В.
С. Яр. ГУМетодические указания содержат варианты индивидуальных заданий по теме "Булевы функции" дисциплины "Основы дискретной математики", а также необходимый материал для ее самостоятельного изучения и выполнения индивидуальных заданий. Для качественного усвоения курса в издании даны подробные определения, примеры, иллюстрации и обоснования.
Предпросмотр: Булевы функции методические указания. Мб)3. 7Автор: Дурнев В. Г. Яр. ГУВ учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 5. 0 назв.
Предпросмотр: Введение в математическую логику . Мб)3. 9Автор: Тюрин С.
Ф. Издательство "Финансы и статистика": М. Представлены по двум разделам дискретной математики все аспекты практических занятий - контрольные вопросы, подробная методика решения типовых задач, задачи для самостоятельной работы в аудитории и для внеаудиторных занятий, задания для курсовой работы, а также ответы и советы по их выполнению. Лабораторные работы предназначены для освоения систем компьютерной математики и соответствующих программных продуктов.
Предпросмотр: Дискретная математика Практическая дискретная математика и математическая логика.
RSS Feed