510Фундаментальные и общие проблемы математики. Основания математики, математическая логика
← назад

Свободный доступ

Ограниченный доступ

Уточняется продление лицензии
Автор: Яшин Б. Л.
М.: Директ-Медиа
Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления философии математики, анализируются различные подходы к пониманию математики и ее развития, соотношение в математике рационального и иррационального, а также специфика математического познания, связанная с предметом, объектами и методами этой науки и пониманием в ней истины. В пособии выделен специальный раздел, в котором раскрывается взаимосвязь математики с философией, гуманитарной наукой и искусством, значимость для любого вида творчества своеобразной «диффузии» интеллектуального и чувственного, научного (математического) и художественного знания.
М., 1983. С. 90. 2 См.: Л. А. Микешина, М. Ю. Опенков. Новые образы познания и реальности. <...> Микешина, М. Ю. Опенков. Новые образы познания и реальность. М., 1997. <...> М., 2005. 131. Микешина Л. А., ОпенковМ. Ю. Новые образы познания и реальности. М., 1997. 132. <...> М., 2006. 150. Петров Ю. П. История и философия науки. <...> М., 2002. 174. Стройк Д. Я. Краткий очерк истории математики. М., 1978. 175. Тихомиров В.
Предпросмотр: Математика в контексте философских проблем учебное пособие.pdf (0,0 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. , Романьков В. А. <...> Таранников Ю. В. <...> Таранников Ю. В. <...> М.: Наука, 1985. 2. Капитонова Ю. В., Летичевский А. А. <...> М.: Наука, 1985. 2. Капитонова Ю. В., Летичевский А. А.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2011.pdf (0,4 Мб)
Автор: Судоплатов С. В.
Изд-во НГТУ
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона–Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение
проблемы Гончарова–Миллара о существовании эренфойхтовой теории,
имеющей счётные, не почти однородные модели. С помощью модификации
генерической конструкции Хрушовского–Хервига приводится решение
проблемы Лахлана о существовании стабильной эренфойхтовой теории. В
первой части рассмотрена характеризация эренфойхтовости, свойства
эренфойхтовых теорий, генерические конструкции, а также алгебры
распределений бинарных полуизолирующих формул полной теории.
Рыль-Нардзевский [397]; Ю. Заффе [399, 400]; С. Шелах [404]; С. Шелах, Л. Харрингтон, М. <...> Ю. Анбо [148]; А. Бонато [33]; Р. Д. Арефьев, Дж. Болдуин, М. Мазукко [155]; Дж. <...> . М. : Наука, 1980. 416 с. [8] Ершов Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. <...> Ю., 27 Де Бонис М. (M. J. de Bonis), 26 Денисов В. И., 18 Емельянов Д. Ю., 17, 31 Еримбетов М. <...> М., 17 Ершигешова А. Д., 21 Ершов Ю. Л., 17, 20, 33 Ешкеев А. Р., 17 Замбарная Т.
Предпросмотр: Классификация счетных моделей полных теорий. Ч.1.pdf (0,7 Мб)
Автор: Фролов С. В.
СПб.: ГИОРД
Материал, сгруппированный по основным разделам математики (дифференциальное исчисление, интегралы, дифференциальные уравнения, ряды и пр.), пополнен некоторыми темами, не входящими в стандартный курс. В книге показано, как на практике работают разделы, изучаемые в курсе высшей математики. Учебное пособие способствует преодолению разрыва между материалом, излагаемым на первых курсах, и приложениями математики, с которыми студенты встречаются
на последних стадиях обучения.
М. Скриганова, затем — иным способом — Ю. Е. Карпешиной). <...> Ю. Введение в синергетику / А. Ю. Лоскутков, А. С. <...> Ю. И. <...> Манин Ю. И. Математика как метафора / Ю. И. <...> . — М. : Наука, ГРФМЛ, 1983. 3. Матиясевич Ю. В. Десятая проблема Гильберта / Ю. В.
Предпросмотр: Высшая математика. Этюды по теории и ее приложениям.pdf (0,3 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. <...> Зачёсов Ю. Л., Салихов Н. П. <...> Зачёсов Ю. Л., Салихов Н. П. <...> М.: Радио и связь, 1990. 538 с. 3. Самохвалов Ю. Я. <...> М.: Радио и связь, 1990. 538 с. 3. Самохвалов Ю. Я.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2009.pdf (0,4 Мб)
Автор: Матросов В. Л.
М.: Издательство Прометей
Настоящее издание посвящено юбилею выдающегося математика, академика РАН Виктора Леонидовича Матросова. Составляющие книгу научные работы по теории распознавания образов и по теории сложности вычислений стали в настоящее время основополагающими для данных областей математики.
Ю. A. <...> Ю. А. <...> М., «Наука», 1965, 245–248 (РЖМат, 1966, 4 В96) 7. Брейтбарт Ю. <...> Ю. И. <...> Матросов Ответственный редактор: М. Ю. Николаевская Менеджер проекта: Е. В.
Предпросмотр: Избранные научные труды. Научное издание. Твердый переплет.pdf (0,1 Мб)
Автор: Антонов Вячеслав Иосифович
Бурятский государственный университет
Учебник содержит традиционные разделы математического анализа,
теории вероятностей и математической статистики в объеме, предусмотренном требованиями Федерального государственного образовательного стандарта высшего профессионального образования по естественным, гуманитарным и социальным направлениям. Изложение материала снабжено необходимыми рисунками, содержит более ста наглядных примеров.
Предназначено для студентов высших учебных заведений. Может
быть использовано преподавателями, аспирантами и студентами, использующими в своей практике математические средства анализа информации.
Данеев М А Т Е М А Т И К А ДЛЯ ЕСТЕСТВЕННЫХ И ГУМАНИТАРНЫХ СПЕЦИАЛЬНОСТЕЙ Рекомендовано Учебно-методическим <...> на 0,01 м? <...> Постоянный множитель можно выносить за знак математического ожидания: М(СХ)=С М(Х). 3. <...> Требуется найти М(Х), D(X), σ. <...> Тихомиров Н.Б. Математика: учебный курс для юристов / Н.Б. Тихомиров, A.M.
Предпросмотр: Математика для естественных и гуманитарных специальностей.pdf (0,6 Мб)
Один из крупнейших в мире научных журналов, орган Президиума Российской академии наук. Журнал «Доклады Российской академии наук» публикует сообщения о крупных научных исследованиях, имеющих приоритетный характер, и оригинальных, нигде ранее не опубликованных исследованиях в области математики, естественных и технических наук.
В архиве журнала публикации членов Российской Академии наук, а также членов других академий и видных ученых зарубежных стран. В работе издания участвуют научные работники учебных институтов, университетов и НИИ страны.
Журнал рассчитан на специалистов во всех областях математики и естествознания.
Ю. Осадчая, А. В. Афинеевский, Д. А. Прозоров, Ф. <...> Жидков, М. А. Волчихина, Т. М. Севостьянова, Я. А. Морозова, А. Ю. Иванников, М. Г. Фролова, А. Г. <...> М. Бузник, И. В. Постнова, О. Н. Хлебников, А. А. Самодуров, В. В. Родаев, Ю. А. <...> М. Севостьянова2, Я. А. Морозова1, А. Ю. Иванников1, М. Г. Фролова1, член-корреспондент РАН А. Г. <...> Ю. М. Евтушенко1, С. Х. Тоиров1,*, А. И. Александров1, В. Г.
Предпросмотр: Доклады Российской академии наук. Химия, науки о материалах №1 (0) 2025.pdf (0,1 Мб)
Автор: Бубнов В. А.
М.: Лаборатория знаний
В основу данной работы положено представление о том, что информация - это содержание символа, изображенного различными графическими конструкциями. В монографии обсуждаются все аспекты измерения и переработки информации посредством анализа графических символьных конструкций.
Пушкиным, и тема 2 — дорожная череда, начатая М. Ю. Лермонтовым. <...> . — М.: Эксмо, 2008. — 944 с. 37. Кузнецов Ю. П. Воззрение / Ю. П. <...> Пушкиным, и тема 2 — дорожная череда, начатая М. Ю. Лермонтовым. <...> . — М.: Эксмо, 2008. — 944 с. 37. Кузнецов Ю. П. Воззрение / Ю. П. <...> . — М.: Эксмо, 2008. — 944 с. 37. Кузнецов Ю. П. Воззрение / Ю. П.
Предпросмотр: Информатика и информация знаково-символьный аспект (2).pdf (0,2 Мб)
Автор: Судоплатов С. В.
Изд-во НГТУ
В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей,
теории алгоритмов, а также неклассических логик.
(Гл. 1, 2, 4, 5). [10] Ершов Ю. Л. Проблемы разрешимости и конструктивные модели / Ю. Л. <...> . М.: Наука, 1980. 416 с. (Гл. 3, 4). [11] Ершов Ю. Л. Определимость и вычислимость / Ю. Л. <...> (Гл. 3–5). [12] Ершов Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. <...> Ивин. М.: Наука, 1979. (Гл. 5). [14] Карпов Ю. Г. Теория автоматов / Ю. Г. <...> Рейнгольд, Ю. Нивергельт, Н. Део. М. : Мир, 1980. 476 с. (Гл. 4). [36] Роджерс Х.
Предпросмотр: Математическая логика и теория алгоритмов.pdf (0,5 Мб)
Автор: Кислов А. Г.
Издательство Уральского университета
Логика высказываний рассматривается в данном учебном пособии
применительно к восприятию студентов-гуманитариев, с более подроб-
ным, чем в классических учебниках, изложением наиболее важных ее
разделов.
Адресовано студентам, изучающим курс «Логика» в рамках социаль-
но-экономических и гуманитарных направлений подготовки.
Ю. Уколов; А. Г. <...> Ю. <...> Ю. Уколов. — Екатеринбург : Изд-во Урал. ун-та, 2012. — 116 с. <...> Ю. <...> Важенин Ю. М. Множества, логика, алгоритмы : учеб. пособие / Ю. М.
Предпросмотр: Логика высказываний язык, алгебра, исчисления.pdf (1,9 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. , Чалкин Т. А. <...> C. 68–70. 70–72 Димитриев Ю. К. , Задорожный А. Ф. <...> Н., Чернушенко Ю. Н. <...> С., Цой Ю. Р. <...> С., Цой Ю. Р.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2010.pdf (0,3 Мб)
Один из крупнейших в мире научных журналов, орган Президиума Российской академии наук. Журнал «Доклады Российской академии наук» публикует сообщения о крупных научных исследованиях, имеющих приоритетный характер, и оригинальных, нигде ранее не опубликованных исследованиях в области математики, естественных и технических наук.
В архиве журнала публикации членов Российской Академии наук, а также членов других академий и видных ученых зарубежных стран. В работе издания участвуют научные работники учебных институтов, университетов и НИИ страны.
Журнал рассчитан на специалистов во всех областях математики и естествознания.
Ю. Нагаев, К. В. Шевченко, Н. Ф. <...> Давыдова, М. А. Сударчикова, А. А. Мельникова, К. В. Сергиенко, С. В. Конушкин, М. А. Каплан , М. <...> Ю. Оленин, А. М. Долгоносов, Р. Х. <...> Ю. Нагаев1, К. В. Шевченко1, академик Н. Ф. Мясоедов1 Поступило 16.06.2024 г. <...> М. В. Королева1, В. В. Ягов1, А. Ю. Оленин1,*, А. М. Долгоносов1, член-корреспондент РАН Р. Х.
Предпросмотр: Доклады Российской академии наук. Химия, науки о материалах №5 (0) 2024.pdf (0,1 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. , Шилов Н. В. <...> C. 112–113. 113–114 Зачёсов Ю. Л. , Гришин А. М. <...> Таранников Ю. В. <...> УДК 519.61 ОТСУТСТВИЕ ДИНАМИЧНОСТИ У МЕТОДА РЕШЕТА ЧИСЛОВОГО ПОЛЯ Ю. Л. Зачёсов, А. М. <...> УДК 519.61 ОТСУТСТВИЕ ДИНАМИЧНОСТИ У МЕТОДА РЕШЕТА ЧИСЛОВОГО ПОЛЯ Ю. Л. Зачёсов, А. М.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2012.pdf (0,4 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. <...> Ю. , Потапкин А. И. , Стефанцов Д. А. <...> Н., Чернушенко Ю. Н. <...> УДК 519.7 КОНВЕЙЕРИЗАЦИЯ КОМБИНАЦИОННЫХ СХЕМ Ю. В. Поттосин, С. Н. <...> УДК 519.7 КОНВЕЙЕРИЗАЦИЯ КОМБИНАЦИОННЫХ СХЕМ Ю. В. Поттосин, С. Н.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2013.pdf (0,4 Мб)
Автор: Галенович Юрий Михайлович
М.: ВКН
В XX веке история человечества сложилась таким образом, что с разницей в три десятилетия в мире появились два крупных государства с правившими в них коммунистическими партиями: СССР и КНР. Они просуществовали как соседи и «идеологические близнецы» четыре десятилетия. Затем в одном из них коммунистическая партия перестала быть правящей. Оба государства оказались в новой, уникальной для человечества и для них самих ситуации. С тех пор уже три десятилетия существуют отношения между этими государствами. В каждом из них есть свое понимание истории и нынешнего состояния двусторонних отношений. Читателям предлагается возможность познакомиться с трактовками обеих сторон, с попыткой разобраться в том, «что это было», какими были этапы этого пути (каким был «путь» от «эпохи» Сталина и Мао до «времен» Путина и Си), что происходит сейчас и чем это может обернуться в будущем. В работе также рассматриваются процессы в истории американо-китайских отношений и китайско-американских отношений за время от Мао и Никсона до Си и Трампа. Перед читателем описание исторического пути от иллюзий к реалиям во взаимоотношениях России с Китаем и Америки с Китаем.
Галенович, Ю. М. От Сталина и Мао до Путина и Си / Ю. М. <...> Ю. М. <...> Ю. М. <...> Ю. М. <...> Ю. М.
Предпросмотр: От Сталина и Мао до Путина и Си.pdf (0,3 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. <...> М.: Наука, 1991. С. 187–198. 2. Виноградов Ю. А. <...> Васильев Ю. Л. О негрупповых плотно упакованных кодах // Проблемы кибернетики. М.: Физматгиз, 1962. <...> Кочетов Ю. А. <...> Быкова, Ю. И.
Предпросмотр: Прикладная дискретная математика. Приложение №1 (8) 2015.pdf (0,7 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Ю. <...> Р., Косолапов Ю. В. <...> Ю. <...> Н., Шокин Ю. И. Криптография и стеганография в информационных технологиях. <...> Кащеев, Ю. В.
Предпросмотр: Прикладная дискретная математика. Приложение №9 2016.pdf (1,1 Мб)
Автор: Судоплатов С. В.
Изд-во НГТУ
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана);
гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов.
. 244 с. [7] Ершов Ю. Л. Проблемы разрешимости и конструктивные модели / Ю. Л. <...> . М. : Наука, 1980. 416 с. [8] Ершов Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. <...> . М. : Наука, 1968. 336 с. [18] Перетятькин М. Г. Конечно аксиоматизируемые теории / М. Г. <...> Ю. О детерминированных и поглощающих алгебрах бинарных формул полигонометрических теорий / Д. Ю. <...> Ю. Об алгебрах распределений бинарных изолирующих формул для вполне o-минимальных теорий / Д. Ю.
Предпросмотр: Классификация счетных моделей полных теорий. Ч.2.pdf (0,7 Мб)
Автор: Белова Л. Ю.
ЯрГУ
Пособие содержит материал по элементам теории множеств, исчислению высказываний, исчислению предикатов, булевым функциям. Приведён ряд задач, дополняющих основное содержание пособия.
Ю. Элементы теории множеств и математической логики: теория и задачи : учеб. пособие / Ю. А. <...> Ю. <...> Ю. Белова, Ю. А. <...> Осипова М.: Изд-во МАИ, 1992. [9] Бардачев Ю. Н., Основы дискретной математики / Ю. Н. Бардачев, Н. <...> М.
Предпросмотр: Элементы теории множеств и математической логики. Теория и задачи учебное пособие.pdf (0,2 Мб)
Автор: Чернецов Михаил Михайлович
М.: Российский государственный университет правосудия
Содержание учебного пособия соответствует Примерной программе изучения общеобразовательной дисциплины "Математика" в учреждениях начального и среднего профессионального образования. В пособии содержится значительное число упражнений и кратко изложенный соответствующий теоретический материал по всем разделам, изучаемым в данной дисциплине: числовые множества, степени, корни, логарифмы, тригонометрия, начала математического анализа, прямые и плоскости, многогранники и фигуры вращения, векторы и координаты, элементы комбинаторики, теории вероятностей и математической статистики.
. — М.: Дрофа, 2012. 7. Богомолов Н. В. Сергеенко Л. Ю. <...> Колмогорова. — М.: Просвещение, 2010. 17. Колягин Ю. М., Луканкин Г. Л., Яковлев Г. Н. <...> . — М.: РИА «Новая волна»: Издатель Умеренков, 2008. 18. Колягин Ю. М., Сидоров Ю. В., Ткачева М. <...> . — М.: Дрофа, 2013. 7. Колмогоров А. Н., Абрамов А. И., Дудницын Ю. П. и др. <...> Колмогорова. — М.: Просвещение, 2010. 8. Колягин Ю. М., Луканкин Г. Л., Яковлев Г. Н.
Предпросмотр: Математика.pdf (0,7 Мб)
Автор: Васильева А. В.
Сиб. федер. ун-т
Изложен теоретический материал по разделам дискретной математики: множества, отношения, математическая логика, графы, который проиллюстрирован большим количеством примеров. Каждый раздел завершается вопросами и заданиями для самоконтроля. Приведены задания для самостоятельной работы.
Астафьева; Ю. В. <...> П р и м е р 1.1. <...> П р и м е р 1.3. <...> Шевелев, Ю. П. Сборник задач по дискретной математике. Для практических занятий в группах / Ю. П. <...> Писаренко, М. Ю. Шевелев. – Лань, 2013. 16. Харари, Ф. Теория графов / Ф.
Предпросмотр: Дискретная математика.pdf (0,5 Мб)
М.: Языки славянской культуры
В книге, написанной коллективом нейробиологов из Института биологии
развития РАН и группой математиков из Института проблем управления РАН,
излагается гетерохимическая концепция работы нервной системы. Согласно
этой концепции, распространенное представление о мозге как о рефлекторной
«проволочной сети» не соответствует действительности. Решающую роль в его
работе играют эндогенно активные нейроны и ансамбли, способные генерировать поведение даже в отсутствие внешних стимулов, а язык общения между нейронами и отделами нервной системы является химическим. Этот язык основан на разнообразии сигнальных молекул — нейротрансмиттеров и нейрогормонов, которые действуют не только в синаптических щелях, но и во всем межклеточном пространстве. В книге рассказывается об эволюции языка нейротрансмиттеров, о клеточных механизмах генерации поведения, нейромодуляции, роли трансмиттеров в выборе поведения и адаптации к внешним переменам. Для математической формализации этой концепции понадобились принципиально новые подходы, которым посвящена вторая часть книги. В ней дается обзор математических моделей нейронов и нейронных сетей и подробно описывается оригинальная дискретная модель химических взаимодействий между нейронами. Приводятся разнообразные примеры моделирования реальных нервных систем с помощью этой модели.
Ю. Жилякова Д. Д. <...> Ю., Воронцов Д. Д. С 22 Химические языки нервных систем. — М.: Издательский Дом ЯСК, 2024. — 216 c. <...> Ю. Жилякова, Д. Д. <...> М.: Наука. Жилякова Л. Ю. (2015). <...> М.: Буки-Веди, 263–267. Сахаров Д. А., Дьяконова В. Е., Жилякова Л. Ю.
Предпросмотр: Химические языки нервных систем.pdf (0,4 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
Глухов М. М. <...> Глухов М. М. <...> Таранников Ю. В. <...> Зорина, Ю. В. <...> Зорина, Ю. В.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2017.pdf (1,1 Мб)
Автор: Авдошин С. М.
М.: ДМК Пресс
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто используемые в практике алгоритмы на графах. Рассматриваются классические комбинаторные конфигурации и их производящие функции, рекуррентные последовательности. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Бересневой, М. К. Горденко, Е. М. Гринкругу, Л. В. Дворянскому, К. Ю. Дегтяреву, А. А. <...> Вагину, Ю. А. Дубинскому, А. Б. Фролову из НИУ МЭИ за стимулирующие беседы. <...> М.: Наука, 1990. – 384 с. Журавлев Ю. И., Флеров Ю. А., Вялый М. Н. Дискретный анализ. <...> ., Макаров Ю. Н., Стечкин Б. С. Комбинаторный анализ. Задачи и упражнения. <...> М.: Наука, 1982. – 368 с. Набебин А. А., Кораблин Ю. П. Математическая логика и теория алгоритмов.
Предпросмотр: Дискретная математика. Алгоритмы теория и практика.pdf (0,4 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
М. <...> Ю. , Зайцев Г. Ю. , Ивачев А. С. <...> Ю. Ненадёжность схем в базисе Россера Туркетта // ПДМ. Приложение. 2014. № 7. <...> Ю. Об одном контрпримере для Т-неприводимых расширений сверхстройных деревьев // ПДМ. <...> Кочетов Ю. А.
Предпросмотр: Прикладная дискретная математика. Приложение №1 2014.pdf (0,4 Мб)
Теоретические основы прикладной дискретной математики
Математические методы криптографии
Псевдослучайные генераторы
Математические методы стеганографии
Математические основы компьютерной безопасности
Математические основы надёжности вычислительных
и управляющих систем
Прикладная теория кодирования
Прикладная теория графов
Прикладная теория автоматов
Математические основы информатики и программирования
Вычислительные методы в дискретной математике
С а м о с и н х р о н и з и р у ю щ и е с я п о т о ч н ы е ш и ф р с и с т е м ы Определение 7. <...> С а м о с и н х р о н и з и р у ю щ и е с я а в т о м а т н ы е ш и ф р с и с т е м ы Определение 14. <...> А в т о м а т ы с к о н е ч н о й п а м я т ь ю н а д к о н е ч н ы м п о л е м Пусть F есть конечное <...> А в т о м а т ы с в х о д н о й п а м я т ь ю н а д к о н е ч н ы м п о л е м По определению, автомат <...> М о д е л ь х а о т и ч е с к о й д и н а м и к и в к р и п т о г р а ф и и с о т к р ы т ы м к л ю ч
Предпросмотр: Прикладная дискретная математика. Приложение №2 2009.pdf (0,6 Мб)
Автор: Фейгин. Олег
СПб.: Страта
Складывающийся в последнее время глубоко парадоксальный образ новой физической реальности настолько резко отличается от привычного, что возникает все более серьезная проблема его описания в общедоступных понятиях. Все чудеса окружающего мира блестяще объясняет современная наука, проблемам, задачам и открытием которой и посвящена настоящая книга.
В ней рассказывается о разнообразных парадоксах и свершениях физики, астрономии, математики, кибернетики, биохимии и материаловедения.
М. Рис. <...> Ю. И. Манин. <...> Ю. Зигель. <...> М. Кузин. <...> Нам это произведение известно в пересказе А. М.
Предпросмотр: PRO ПАРАДОКСЫ НАУКИ.pdf (0,1 Мб)
Автор: Полищук Д. Ф.
Регулярная и хаотическая динамика
Книга посвящена применению философии в образовании, науке, технике. Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность.
Рассмотрены методы поиска новых задач в науке, образовании, технике. В методах творчества сочетаются приемы технического творчества, системные операторы, включающие элементы математики, физики и прикладной философии, а также непосредственный комплекс прикладной философии объекта для преодоления противоречий. Рассмотрены математические парадоксы, физические парадоксы, парадоксы прикладной философии в механике. Кратко изложены результаты решения нового класса задач математики и физики — взаимосвязанных нелинейных задач механики. На основе бифуркационной логики анализируются основания классической математики. Единая физика механики рассматривается как единство взаимосвязанных нелинейных задач колебаний, устойчивости, прочности и удара (на основе винтового деформированного движения). Единая физика механики предложена в качестве гена природы, рассматривающая в единстве гипотезы: Большого взрыва, теории света, квантовой механики, элементов полевой структуры эфира. Качественная модель единой физики природы основана на обосновании только известных экспериментальных явлений.
Данная книга заканчивает основной цикл работ автора по интеграционной механике, которая показала, что природа описывается не простейшими математическими зависимостями, а сложными нелинейными взаимосвязанными задачами, лежащими в искусственно созданной области нерешаемых задач.
М.: Энергоатомиздат, 1990. 280 с. [9] Батуев Г. С., Голубков Ю. В., Ефремов А. К., Федосов А. А. <...> М.: Наука, 1987. 320 с. [40] Ишлинский А. Ю. Механика: идеи, задачи, приложения. <...> М. <...> М. <...> С. 119–134. [142] Урманцев Ю. А. Симметрия природы и природа симметрии.
Предпросмотр: Прикладная философия интеграционной механики.pdf (0,2 Мб)
Бурятский государственный университет
Данное учебно-методическое пособие включает в себя теоретический материал, разбор решений типовых задач по разделу «Математическая статистика» дисциплины «Теория вероятностей и математическая статистика», а также содержит методические указания для решения задач и варианты домашней контрольной работы по математической статистике. Предназначено для студентов, обучающихся по направлениям 09.03.03 Прикладная информатика, 02.03.03 Математическое обеспечение и администрирование информационных систем, а также может быть полезно студентам математических и физических факультетов вузов.
Распределение 100 фабрик, выпускающих плёнку для теплиц, по производственным мощностям X (тыс. м в год <...> ) и себестоимости 1 м плёнки Y (руб.) представлено в таблице: Y X 8–8,5 8,5–9 9–9,5 9,5–10 10–10,5 Итого <...> М. Сборник задач по теории вероятностей: учебное пособие для студентов пед. ин-тов / Х. М. <...> Демина; М-во образования и науки РФ; УрФУ им. первого Президента России Б. Н. <...> Воскобойников Ю. Е. Математическая статистика (с примерами в Excel): учебное пособие / Ю. Е.
Предпросмотр: Математическая статистика.pdf (1,6 Мб)
Автор: Авдошин С. М.
М.: ДМК Пресс
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Н., Горденко М. К., Гринкругу Е. М., Дворянскому Л. В., Дегтяреву К. Ю., Каленковой А. <...> Ю., Загорянская А. А., Фомина М. В. Достоверный и правдоподобный вывод в интеллектуальных системах. <...> М.: Наука, 1974. 312 с. 21. Ершов Ю. Л., Палютин Е. А. Математическая логика. <...> М.: Наука, 1979. 320 с. 22. Журавлев Ю. И., Флеров Ю. А., Вялый М. Н. Дискретный анализ. <...> М.: Изд-во Моск. энерг. ин-та, 1996. 452 c. 33. Набебин А. А., Кораблин Ю. П.
Предпросмотр: Дискретная математика. Формально-логические системы и языки.pdf (0,7 Мб)
Автор: Полищук Д. Ф.
Регулярная и хаотическая динамика
Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность, включающего теоретическую механику, краткий курс сопротивления материалов, новый подход в механике машин, элементы механики сплошных сред, основанный на единой физике (колебания, прочность, устойчивость, удар). Главное внимание в курсе лекций уделено методам творчества как в области статики, кинематики, динамики (теоретическая механика), так и в механике машин. Подробно анализируются парадоксы механики, показаны их истоки и методы их преодоления. Доступность курса определяется компактами законов динамики, краткими компактами по колебаниям, устойчивости, удару, прочности, основным компактом задач динамики. Качественный подход к образованию подразумевает: включение взаимосвязанных нелинейных задач механики, которое позволило впервые получить единство механики Ньютона (классическая механика) и механики Эйлера (механика деформируемых тел); показана реализация единой механики при проектировании механизмов; представлены гипотезы качественной единой физики природы.
Пропаганда этого метода начата Ю. М. <...> . — Сушинский М. М. <...> Математические методы классической механики М.: Наука, 1991. [8] Батуев Г. С., Голубков Ю. <...> М.: Политиздат, 1984. 320 с. [26] Ишлинский А. Ю. Классическая механика и силы инерции. <...> М.
Предпросмотр: Компактное, доступное и качественное образование. Курс лекций.pdf (0,3 Мб)
Цель: рассмотрение логико-вероятностного моделирования отказов блоков сложной системы различного типа с уче-
том связей между блоками, основанного на логико-лингвистическом подходе. Результаты: описана процедура модели-
рования, сочетающая логико-вероятностный и логико-лингвистический методы моделирования процессов изменения
во времени параметров блоков сложной системы в процессе ее эксплуатации. Разработана модель, реализующая упро-
щенный подход к проблеме учета связей между блоками сложной системы с использованием логико-вероятностного и
лингвистического метода моделирования. Реализован алгоритм моделирования изменения во времени вероятности от-
каза сложной системы в виде компьютерной программы в среде С#. Практическая значимость: предложенный подход
к проблеме учета связей между блоками сложной системы при моделировании изменения во времени вероятностей
их отказа позволяет повысить точность прогнозирования вероятности отказа как для одного блока, так и для связанных
с ним других блоков, что приводит к отказу всей системы. Полученная модель может быть применена для управления
живучестью сложной системы, например гидроэлектростанции. Результаты, полученные при моделировании, открывают
возможности для дальнейших исследований, таких как адаптация алгоритма, для моделирования большого множества
объектов, а также создания в будущем экспертной системы, позволяющей обслуживать сложные системы и предот-
вращать аварии и катастрофы. По результатам эксплуатации и прогнозирования отказов конкретных систем можно
провести коррекцию вводимых в процессе моделирования коэффициентов связи и интервалов квантования фаззифи-
цируемых данных, за счет чего может быть повышена достоверность и точность моделирования.doi:10.15217/issn1684-8853.2015.1.35
Ю. <...> Ю. <...> Теория вероятностей. — М.: Наука, 1969. — 576 с. 9. Бейтмен Г., Эрдейи А. <...> Функции Бесселя, функции параболического цилиндра, ортогональные многочлены. — М.: Наука, 1974. — 297
Автор: Шилкина С. В.
М.: Изд-во МИСИ-МГСУ
В данном пособии раскрываются методы решения задач управления процессами и системами, предлагаются алгоритмы решения и компьютерные задачи для закрепления теоретического материала лекционного курса.
матрицы Т указано время на выполнение i-м ученым j-го проекта. <...> столбце матрицы Т указано время на выполнение i-м ученым j-го проекта. <...> столбце матрицы Т указано время на выполнение i-м ученым j-го проекта. <...> Ивлев Ю. В. Логика: учебник для вузов / Ю. В. Ивлев; Московский государственный университет им. <...> Ю. Шишмарев. — 2-е изд., испр. — Москва : Академия, 2012. — 384 с. — ISBN 978-5-7695-8764-1. 4.
Предпросмотр: Математические основы управления [Электронный ресурс] учебно-методическое пособие .pdf (0,4 Мб)
Автор: Осташков В. Н.
ТюмГНГУ
В учебном пособии реализуются принципы вариативности исследовательских профессионально-ориентированных задач и технических проблем, допускающих моделирование математическими средствами, в основном известными студентам технических университетов из курса высшей математики. Анализируются эвристические методы составления и решения профессионально-ориентированных задач, затрагиваются проблемы понимания исследователем собственных ощущений и способов мыслительной деятельности во время исследования и творческого процесса. Учебное пособие можно использовать в качестве дополнения к существующим учебным пособиям по математике.
Тихомирову, обсуждение с которым избранных вопросов алгебраической геометрии было полезным для рукописи <...> Зельц, М. Вертгеймер, М. <...> м а к с и м у м а ч е р е з м и н и м у м: «Природа стремится к максимуму разнообразия через минимум <...> П р и м е м с о г л а ш е н и е. <...> Тихомирова У Сэмпла и Рота [Semple & Roth] в главе ХI, п. 4.7, табл. 4, говорится о том, что множество
Предпросмотр: praktikum.pdf (0,8 Мб)
Автор: Деменок Сергей
СПб.: Страта
Математические символы прошли долгую эволюцию, прежде чем «заговорили» на этом совершенном языке. В настоящей книге прослеживается вся история его развития, начиная от математических символов древности, арифметики во времена древнего Вавилона, геометрии Египта, логики античной Греции до математического языка Средневековья и Нового времени, с которого начались механический, а за ним электронный способ вычислений, рождение компьютеров и теории информации. В наше время алгоритм стал фактом реальности. Через него мы начинаем понимать реальность символической материи, реальность в прямом смысле этого слова. Символический материал существует в природе сам по себе, без человека. Алгоритмы не только диктуют, а и предугадывают наши желания, они принимают на себя ответственность за то, какую музыку мы слушаем, какие фильмы выбираем, какие отношения устанавливаем в социальных сетях. В заключительной главе книги рассмотрены исключительное влияние алгоритмов на нашу жизнь и прогнозы четвертой промышленной революции.
Стеклова доктором Ю. А. Гольфандом и его аспирантом Е. П. Лихт маном в 1970 году. <...> Боро В., Цагир Д., Рольфс Ю., Крафт Х., Янцен Е. Живые числа. М., Мир, 1985. 2. Глейзер Г. И. <...> М., Машиностроение, 1986. 20. Язык компьютера. М., Мир, 1989. 21. <...> Е Погосян: — М., Манн, Иванов и Фербер; 2019 — 448 с. 26. Харари Ю. Н. Sapiens. <...> Сумм]. — М., Синдбад, 2016. –520 с. ил. 27. Рис М.
Предпросмотр: СИМВОЛ И АЛГОРИТМ.pdf (0,1 Мб)
Автор: Шилкина С. В.
М.: Изд-во МИСИ-МГСУ
В учебно-методическом пособии содержатся рекомендации для выполнения практических и самостоятельных работ по дисциплине «Математические основы управления».
Обе группы ограничений образуют множество допустимых решений {М(х)}, внутри которого выполняются все <...> оптимизации, некоторой свободы выбора управляющих факторов в пределах множества допустимых решений {М( <...> T jj =⋅ ∑ ij tt − j 1 2 (3 ), (8.4) где Tj — число повторений каждого ранга в ранжировке, данной j-м <...> Ившин, М. Ю. Перухин. — Москва: ИНФРА-М, 2013. — 400 с. — ISBN 978-5-16-005162-8. 5. Иванов А.А.
Предпросмотр: Математические основы управления(практические занятия)[Электронный ресурс]учебно-методическое пособие.pdf (0,6 Мб)
публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др
Экологические особенности комплекса «амброзияфитофаг-хищник» на Северо-Западном Кавказе 54 Тихомирова <...> Выпуск 4 (110) 2012 68 УДК 58 ББК 28.5 Т 46 Тихомирова Л.И. <...> Тихомирова Л.И. <...> 2 15 м 2 10 м 2 10 м 2 12 м 2 Потенциальный КПД 22% 10% 16% 20% 13% 8-12% (до 24%) 8-10% Выше 40% 30% <...> Штеменко, Краснодар, e-mail: scha1@mail.ru Тихомирова Людмила Ивановна, кандидат биологических наук,
Предпросмотр: Вестник Адыгейского государственного университета. Серия Естественно-математические и технические науки №4 2012.pdf (0,1 Мб)
Автор: Кузьмин Е. В.
ЯрГУ
Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.
Т е о р е м а 1.5. <...> Т е о р е м а 1.7. <...> Обозначим α(i) i-ю букву в слове α. <...> М.: Мир, 1976. С. 5–61. 4. Кларк, Э. М., Грамберг О., Пелед Д. <...> М.: Наука, Физматлит, 1986. 386 с. 23. Матиясевич Ю. В.
Предпросмотр: Автоматные счетчиковые машины монография.pdf (0,1 Мб)
Северный (Арктический) федеральный университет имени М.В. Ломоносова
В сборнике представлены материалы Восьмой региональной научно-практической конференции: статьи учащихся и школьных учителей; обзорная статья о результатах конкурса «Архангельская область в математических задачах»; разработки научно-популярных
занятий, подготовленные преподавателями Института математики,
информационных и космических технологий САФУ. Содержание
материалов отражает результаты научной и практической работы,
направленной на решение актуальной методической проблемы – организации научно-исследовательской работы школьников в области
математики, прикладной математики и информатики.
М.: Мнемозина, 2009. Ч. 1. 4. Мордкович А.Г. Алгебра. 8 класс: в 2 ч. М.: Мнемозина, 2009. Ч. 1. 5. <...> Сектор по одной стороне помещения имеет длину 1,55 м, по смежной с ней 1,8 м. <...> Рыбный обоз (Тихомиров Иван, 5 класс, МБОУ «СОШ № 3», г. Новодвинск). <...> М.: Просвещение, 1992. 5. <...> М., 1950. 3. Кордемский Б.А., Ахадов А.А. Удивительный мир чисел. М.: Просвещение, 1989. 4.
Предпросмотр: Научно-исследовательская деятельность школьников в области математики, прикладной математики и информатики материалы Восьмой региональной научно-практической конференции .pdf (0,6 Мб)
СПб.: Страта
Все началось с камня… Шел каменный век. Человек научился делать первые симметричные вещи — рубила. Человек вдруг начал различать структуры и создавать символы, и это выделило его из мира животных. Восприятие структур и производство символов с тех пор шли рука об руку. И то, и другое — абстрактные вещи. Восприятие и производство абстрактных вещей стало отличительной стороной деятельности людей и основой развития человеческой цивилизации. Книга посвящена анализу процесса осознания структур, которые реально существуют в природе вне зависимости от человека, и репрезентации их в символических формах.
М. Э. <...> Стеклова доктором Ю. А. Гольфандом и его аспирантом Е. П. <...> Кубицкого в переработке М. И. Иткина. О душе. / Пер. П. С. Попова в переработке М. И. Иткина. <...> М. И. Иткина. О софистических опровержениях. / Пер. М. И. Иткина. Т. 3. / Ред и вступ. ст. И. Д. <...> М. Л. Гаспарова. 3. Mandelbrot B. B.
Предпросмотр: Структуры и символы. Абстракция - эмпирический факт.pdf (0,1 Мб)
Автор: Быкова В. В.
Сиб. федер. ун-т
Книга посвящена анализу параметризированных алгоритмов – современному направлению теории сложности вычислений. Параметризированные алгоритмы направлены на поиск точных решений NP-полных задач, когда параметр решаемой задачи мал по сравнению с длиной входа алгоритма. Роль этого параметра – учесть информацию о структуре исходных данных алгоритма и выделить основной источник неполиномиальной сложности NP-трудной задачи. В работе представлена классификация параметризированных алгоритмов по вычислительной сложности на основе эластичностей функций сложности, описывающих потребности алгоритмов в необходимых ресурсах. С помощью эластичностей исследовано влияние параметра на время выполнения параметризированного алгоритма. Развиты методы анализа рекурсивных алгоритмов.
Дауни и М. Феллови. <...> Дауни и М. <...> В книге М. Гэри и Д. <...> . – М.: ИНФРА-М, 2001. – 402 с. [44] Егорычев, Г.П. <...> Рейнгольд, Ю. Нивергельт, Н. Део. – М.: Мир, 1980. – 478 с. [79] Риордан, Дж.
Предпросмотр: Теоретические основы анализа параметризированных данных.pdf (0,8 Мб)
Издательский дом ВГУ
Подготовлено на кафедре вычислительной математики и прикладных информационных технологий и кафедре математических методов исследования операций факультета прикладной математики, информатики и механики Воронежского государственного университета.
различимым группам, так чтобы в первую группу попало n 1 элементов, во вторую − n 2 элементов, ..., в k -ю <...> Так как для произвольного предиката Р справедливо I P = М \ I P , то I B → A = I A ∧ B = М \ I A ∧ B <...> = М \ {3}. <...> Курейчик. – М. : Физматлит, 2014. – 496 с. 4. Иванов Б.Н. Дискретная математика. <...> Ю. Хаустовой Подписано в печать 15.03.2017. Формат 60×84/16. Уч.-изд. л. 6,5. Усл. п. л. 8,5.
Предпросмотр: Сборник задач по дискретной математике .pdf (0,9 Мб)
Автор: Быкова В. В.
Сиб. федер. ун-т
Книга посвящена анализу параметризированных алгоритмов – современному направлению теории сложности вычислений. Параметризированные алгоритмы направлены на поиск точных решений NP-полных задач, когда параметр решаемой задачи мал по сравнению с длиной входа алгоритма. Роль этого параметра – учесть информацию о структуре исходных данных алгоритма и выделить основной источник неполиномиальной сложности NP-трудной задачи. В работе представлена классификация параметризированных алгоритмов по вычислительной сложности на основе эластичностей функций сложности, описывающих потребности алгоритмов в необходимых ресурсах. С помощью эластичностей исследовано влияние параметра на время выполнения параметризированного алгоритма. Развиты методы анализа рекурсивных алгоритмов.
Дауни и М. Феллови. <...> Дауни и М. <...> В книге М. Гэри и Д. <...> . – М.: ИНФРА-М, 2001. – 402 с. [44] Егорычев, Г.П. <...> Рейнгольд, Ю. Нивергельт, Н. Део. – М.: Мир, 1980. – 478 с. [79] Риордан, Дж.
Предпросмотр: Теоретические основы анализа параметризированных алгоритмов монография.pdf (1,9 Мб)
Автор: Ходыкин
Издательство СГАУ
Логика и формы научного мышления. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)
М., 1978. С. 23. <...> М., 1972. С. 80-81. <...> М.: ИНФРА-М, 1997. <...> Учебное издание Ходыкин Владимир Владимирович ЛОГИКА И ФОРМЫ НАУЧНОГО МЫШЛЕНИЯ Учебное пособие Редактор Ю. <...> Л и т в и н о в а Доверстка Ю. Н. Л и т в и н о в а Подписано в печать 05.09.2008.
Предпросмотр: Логика и формы научного мышления.pdf (0,2 Мб)
Автор: Непейвода Н. Н.
М.: Директ-Медиа
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).
(АПБ) М. Р. <...> Если М — эта корова, то К(М) истинно, ЛС(М) тоже истинно, и К(М) == ЛС(М), К(М) & ЛС(М) истинны. <...> В нижеследующем построении мы базируемся на идеях Ю. Л. <...> M.: M ир, 1980. [26] Ю. Л. Ершов. Теория нумераций. M.: H аука, 1977, 416 с. [27] И. Д. <...> Драгалин, 442 . угавили (Сталин), 339 Ю. Л. Ершов, 404 Евклид, 3 Филолай, 234 A. Т.
Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
Издательско-полиграфический центр Воронежского государственного университета
В данном методическом пособии рассматриваются основы проектирования систем и управления сложными экономическими объектами, а также вопросы моделирования экономических процессов.
смесь под j-ю культуру на 1га земли; Sjq – площадь посева под j-ю культуру, в которую можно внести удобрения <...> по q-му способу; aijq – логический коэффициент, равный 1, если можно внести i-ю смесь q-м способом под <...> i-й смеси q-м способом под j-ю культуру на 1га земли; xijq – число гектаров земли, отводимое под j-ю <...> При этом в один комплект входят два бруска длиной 3 м и по одному бруску длиной 2 м и 1,5 м. <...> Ширина ткани 1 м.
Предпросмотр: Основы теории систем и вычислительные схемы системного анализа .pdf (0,7 Мб)
Автор: Деменок Сергей
СПб.: Страта
Второе издание книги «Просто символ» продолжает цикл авторских публикаций о символах. Символическое содержание мира автор видит столь же реальным, как сама реальность, соглашаясь с титанами теоретической физики: глубинные связи можно понять только тогда, когда используется язык иносказаний и образов. Автор рассматривает символ, как основополагающий элемент реальности, стоящий в одном ряду с элементарными частицами вещества и квантами действия. Обобщая принцип суперсимметрии, автор утверждает даже то, что при определенных условиях символ может заместить вещь или действие
так, что в реальности ничего не изменится. Книга призвана популяризировать фундаментальные положения точной науки и философии согласно идее: символ реален.
Современный научный миф это М-теория. <...> Между тем он и его издатель М. <...> Стеклова доктором Ю. А. Гольфандом и его аспирантом Е. П. <...> Между тем он и его издатель М. <...> Стеклова доктором Ю. А. Гольфандом и его аспирантом Е. П.
Предпросмотр: Просто символ.pdf (0,2 Мб)
Автор: Кузьмин Е. В.
ЯрГУ
Посвящено теории счетчиковых машин, представляющих собой абстрактные математические модели вычислений. Затрагивает интересные факты из теорий вычислимости и сетей Петри, не вошедшие в известные классические монографии. Основное внимание уделяется счетчиковым машинам «малой размерности», т.е. машинам, содержащим один, два или три счетчика. Наибольший интерес представляют занимающие центральное положение в этом пособии результаты исследований Р. Шреппеля о «чистой» вычислительной способности двухсчетчиковых машин Минского и результаты Дж. Хопкрофта и Ж.-Ж. Пансио о полулинейности множества достижимости двумерных систем векторного сложения с состояниями.
Л е м м а 4.1 (О замене машин). <...> Л е м м а 6.3 ([2]). <...> Если v — вектор размерности n,тоΠi(v) будет обозначать i-ю компоненту (координату) вектора v,1 i n <...> случае для каждого i,такогочтоΠi(u) < Πi(u), заменим в u и в каждом векторе, следующем за u i-ю <...> М. Фишер и М.
Предпросмотр: Счетчиковые машины Учебное пособие.pdf (0,3 Мб)
Автор: Белов Ю. А.
ЯрГУ
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Белов, Ю. А. Лекции по математической логике и теории алгоритмов : учеб. пособие / В. А. <...> Демидова; Ю. А.
Предпросмотр: Лекции по математической логике и теории алгоритмов учебное пособие.pdf (0,4 Мб)