ДонНТУ   Портал магистров

Ссылки по теме выпускной работы

    Материалы магистров ДонНТУ

  1. Алгебра логики как средство упрощения логических функций

    Автор: А.В. Войтов

    Научный руководитель: д.т.н., профессор, заведующий кафедрой ЭВМ Святный Владимир Андреевич

    Описание:Алгебра логики как средство упрощения логических функций

    2. Научные работы и статьи

  2. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах

    Автор: Андрей Игоревич Аверин

    Описание: Автореферат по диссертации на соискание ученой степени кандидата технических наук

  3. Разработка и исследование программной реализации алгоритма нечеткого логического вывода для встраиваемых микроконтроллеров

    Автор: А.И. Мурго, А.В. Донцова, А.Е. Васильев, к.т.н., доц.

    Описание: Доклад международной научно-практической конференции XL Неделя науки СПбГПУ, 2011 г.

  4. Параллелизм в дедуктивном выводе на графовых структурах

    Автор: А. И. Аверин, В. Н. Вагин.

    Описание: Дано теоретическое обоснование и описание практической реализации методов параллельного вывода на графах связей и семантических сетях в логике предикатов первого порядка. Исследована система параллельного вывода на тестовом примере “Стимроллер”, приведен анализ результатов вывода.

  5. Элементы теории графов

    Автор: В.Б. Алексеев, С.А. Ложкин

    Описание: Учебное пособие по курсам "Введение в дискретную математику'' и "Основы кибернетики''. Графы. Основные понятия теории графов. Деревья. Планарные графы. Схемы. Формулы и схемы из функциональных элементов.

  6. Моделирование адаптивного логического анализа в процессе человеко-машинного взаимодействия на естественном языке

    Автор: Варвара Андреевна Крайванова

    Описание: Автореферат диссертации.

  7. Теорема представления пристли и метод резолюций в многозначных логиках

    Автор: В.Е. Камендантский

    Описание: Научная статья исследующая вывод многозначных логик.

  8. Теория вывода в многозначных логиках

    Автор: В.Е. Камендантский

    Описание: Автореферат диссертации

  9. Обратный метод С.Ю. Маслова

    Автор: С.Л. Катречко

    Описание: Научная статья о логическом выводе методом Маслова Ю.С.

  10. Алгоритмы интеллектуальной обработки информации и структурного синтеза программ

    Автор: Алексей Евгеньевич Пинжин

    Описание: Автореферат диссертации

  11. Математическая логика

    Автор: В.Ф. Пономарев

    Описание: Учебное пособие

  12. Учебник по дискретной математике

    Автор: Е.А. Соловьев

    Описание: Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп.

  13. Дискретная математика для программистов

    Автор: Ф. А. Новиков

    Описание: В учебнике изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных.

  14. Алгебра степенных операторов

    Автор: И.И. Асеев

    Описание: Исследовательская работа

  15. Искусственный интеллект

    Автор: Дж.Ф. Люгер

    Описание: Искусственный интеллект: стратегии и методы решения сложных проблем

  16. Достоверный и правдоподобный вывод в интеллектуальных системах

    Автор: В.Н. Вагин, Е.Ю. Головина и др.

    Описание: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения.

  17. Системы представления знаний

    Автор: Ф. А. Новиков

    Описание: Учебное пособие для студентов

  18. Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

    Описание: Курсовая работа

  19. Параллельная реализация принципа резолюции с использованием управляющих эвристик

    Автор: Д.С. Зарецкий

    Описание: Исследовательская работа

  20. Метод резолюций

    Описание: Курсовая работа, целью которой является ознакомление с методом резолюции и с программами, осуществляющими поиск доказательств с использованием принципа резолюции

  21. Теория графов

    Автор: Фрэнк Харари

    Описание: Книга о теории графов и ее применении

  22. Математическая логика и теория алгоритмов

    Автор: У. К. Гуц

    Описание: Читатель познакомится с классической логикой, методом резолюций, формальными исчислениями, формальной арифметикой, принципами логического программирования, нечеткой логикой и нечеткой арифметикой, модальными, временными и алгоритмическими логиками.

    23. Википедия

  23. Правило резолюций

    Описание: В статье расказывается о способе исчисления высказываний

  24. Автоматическое доказательство

    Описание: Статье посвящена автоматическому доказательству теорем

  25. Машина вывода

    Описание: Статья о программе выполняющей логический вывод в соответствии с законами формальной логики

  26. Логический вывод

    Описание: Понятие и классификация логического вывода

  27. Экспертная система

    Описание: Понятие и классификация экспертных систем

  28. Теория принятия решений

    Описание: Статья описывает способы принятия решений в условиях неопределенности

  29. Логическое программирование

    Описание: Краткая история формирования логического программирования

  30. Дискретная математика

    Описание: Статья о дискретной математике

  31. Граф

    Описание: Общее понятие графа

  32. Теория графов

    Описание: Истирия и терминология теории графов

  33. Дедуктивное умозаключение

    Описание: Основы дедуктивного умозаключения

  34. Индуктивное умозаключение

    Описание: Основы индуктивного умозаключения

  35. Логика первого порядка

    Описание: Определения логики предикатов

  36. Логика высказываний

    Описание: Основные понятия логики высказываний

  37. Логическое высказывание

    Описание: Логическое высказывание в формальной логике

  38. Предикат

    Описание: Кредикат в логических операциях

  39. Дизъюнкция

    Описание: Дизъюнкция в логике

  40. Конъюнкция

    Описание: Конъюнкция в логике

  41. Логическая операция

    Описание: Логические операции в логике и программировании

  42. Эвристика

    Описание: Понятие эвристики

    43. Специализированные сайты и порталы

  43. Дискретная математика

    Интернет ресурс полностью посвященный предмету дискретной математики

  44. Портал искусственного интеллекта

    Портал посвящен проблемам искусственного интеллекта и содержит большое количество тематических статей

  45. Интернет-Университет Информационных Технологий

    Интернет-Университет. Содержит крупнейшее количество статей по информационным технологиям и смежным наукам

  46. AI planing

    Сайт посвящен проблематике автоматического планирования, как направления искусственного интеллекта.

  47. Система Автоматизации Дедукции (САД)

    Сайт посвященный систетам автоматического доказательства теорем

  48. Общероссийский математический портал

    Современная информационная система, предоставляющая российским и зарубежным математикам различные возможности в поиске информации.

  49. НАН Украины Институт математики

    Библиотека Института математики НАН Украины.

  50. Институт прикладной математики и механики

    Сайт института прикладной математики и механики. Содержит много полезных публикаций и книг.