510Фундаментальные и общие проблемы математики. Основания математики, математическая логика
← назад
Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
Автор: Быкова В. В.
Сиб. федер. ун-т
Книга посвящена анализу параметризированных алгоритмов – современному направлению теории сложности вычислений. Параметризированные алгоритмы направлены на поиск точных решений NP-полных задач, когда параметр решаемой задачи мал по сравнению с длиной входа алгоритма. Роль этого параметра – учесть информацию о структуре исходных данных алгоритма и выделить основной источник неполиномиальной сложности NP-трудной задачи. В работе представлена классификация параметризированных алгоритмов по вычислительной сложности на основе эластичностей функций сложности, описывающих потребности алгоритмов в необходимых ресурсах. С помощью эластичностей исследовано влияние параметра на время выполнения параметризированного алгоритма. Развиты методы анализа рекурсивных алгоритмов.
Быкова. – Красноярск: Сиб. федер. ун-т, 2011. – 180 с. <...> Кольцов. – М.: Наука, 1989. – 208 с. [58] Кормен, Т. Алгоритмы: построение и анализ / Т. Кормен, Ч. <...> Риордан. – М.: Наука, 1982. – 255 с. [80] Саати, Т. <...> Теория линейного и целочисленного программирования: в 2-х т. Т. 1 / А. <...> Теория линейного и целочисленного программирования: в 2-х т. Т. 2 / А.
Предпросмотр: Теоретические основы анализа параметризированных алгоритмов монография.pdf (1,9 Мб)
Автор: Волин
М.: ПРОМЕДИА
Построение "родственных" последовательностей автоморфизмов.
Путем в дереве T будем называть цепь без «дырок» (т. е. цепь, в которой не пропущен ни один уровень). <...> на уровне k , то путь от корневой вершины до v есть множество вершин, упорядоченное по типу k + 1 (т. <...> натуральных чисел N = { 0 , 1 , 2 ,...} , и для вершины v на уровне k v = ( a i , i < k ) , ai ∈ N , т. <...> 0 ) , на шаге 2 и последующих – внутри большого поддерева, порожденного вершиной ( b 0 , b 1 ) , и т. <...> При данном l всякий класс родственных последовательностей является максимальным (т. е. не допускающим
Автор: Кургалин Сергей Дмитриевич
Издательско-полиграфический центр Воронежского государственного университета
Настоящее учебное пособие содержит базовые теоретические представления и методы решения основных типовых задач по курсам «Дискретная математика» и «Дискретная математика, математическая логика и их приложения в математике и компьютерных науках».
Высказыванием называется утверждение, имеющее значение истинности, т. е. оно может быть истинным или <...> Для n = 1 получаем 1 = 1 2, т. е. P(1) истинно. <...> A △ B можно записать как (A ∪ B) \ (A ∩ B), а слово “ракета” принадлежит как множеству A, так и B, т. <...> Функция пункта (2) и инъективна, и сюръективна, т. е. она является биективной. 95. <...> Тюльпаны лилового цвета могут входить в букет только с пурпурными или кремовыми, т. е. у Вас есть (3+
Предпросмотр: Задачи по дискретной математике.pdf (0,2 Мб)
Автор: Шмырин А. М.
ЛГТУ
Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры.
Напомним, что для задания соответствия надо указать не только множество G, но и множества А и В, т. е <...> В данном примере тот же круг G задает и другое соответствие между отрезком [2, 4] и [1, 3], т. е. <...> Кроме того, классы попарно не пересекаются, т. е. <...> Функции , можно задать аналитически, т. е. формулами. Пример. <...> Если конечный автомат – булев, т. е. входы, выходы и состояния принимают значения из множества {0, 1}
Предпросмотр: Лекции по дискретной математике и математической логике .pdf (0,8 Мб)
Северный (Арктический) федеральный университет имени М.В. Ломоносова
В сборнике представлены материалы Восьмой региональной научно-практической конференции: статьи учащихся и школьных учителей; обзорная статья о результатах конкурса «Архангельская область в математических задачах»; разработки научно-популярных
занятий, подготовленные преподавателями Института математики,
информационных и космических технологий САФУ. Содержание
материалов отражает результаты научной и практической работы,
направленной на решение актуальной методической проблемы – организации научно-исследовательской работы школьников в области
математики, прикладной математики и информатики.
Мир математики: в 40 т. Т. 3: Энрике Гросиан. Простые числа. М.: Де Агостини, 2014. 8. <...> Мир математики: в 40 т. Т. 9: Альберт Виолант и Хольц. Золотая загадка Ферма. <...> Мир математики: в 40 т. Т. 21: Ламберто Гарсия дель Сид. Замечательные числа. <...> Мир математики: в 40 т. Т. 25: Хоакин Наварро. Неуловимые идеи и вечные теоремы. <...> Т. 12. С. 76‒84.
Предпросмотр: Научно-исследовательская деятельность школьников в области математики, прикладной математики и информатики материалы Восьмой региональной научно-практической конференции .pdf (0,6 Мб)
Автор: Гумерова Е. И.
Изд-во НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
-метод. пособие / Новосиб. гос. техн. ун-т; Е.И. <...> частное А», единичные атрибутивные – «единичное А», частные суждения с отношениями – «частное СО» и т. <...> частное А», единичные атрибутивные – «единичное А», частные суждения с отношениями – «частное СО» и т. <...> частное А», единичные атрибутивные – «единичное А», частные суждения с отношениями – «частное СО» и т. <...> частное А», единичные атрибутивные – «единичное А», частные суждения с отношениями – «частное СО» и т.
Предпросмотр: Элементы математической логики.pdf (0,3 Мб)
Автор: Ким
Описаны некоторые средства, применяемые в технологии визуально-ориентированного программирования Maplet системы компьютерной математики Maple, на примере численного решения задачи управления спектром собственных значений для линейной стационарной управляемой системы. Проведен сравнительный анализ инструментов ввода и вывода данных и выявлены преимущества их использования. Рассмотрена возможность совместного использования встроенных Maple-библиотек Maplet[Elements], linalg, LinearAlgebra
A имеет форму Хессенберга; первые p 1 строк матриц B и последние np строк матрицы C равны нулю, т. <...> 5) пользователь получит информацию о линейной независимости матриц С * B , CAB…, * , CA *n 1 B , т. <...> Программирование и разработка приложений в Maple. – Гродно: Гродненский гос. ун-т, 2007. – 458 с. 2. <...> Удмуртский гос. ун-т. – Ижевск, 2015. – 293 с. 3. Кирсанов М.Н. Maple и Maplet.
Автор: Ланге Феликс
СПб.: Страта
Нечёткая логика — раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие, принципы, противоречия и прогнозы развития. Но речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.
Нечеткая логика основана на использовании таких оборо‑ тов языка, как «далеко», «близко», «холодно», <...> мировоззрение бросило вызов и будущему — на‑ пример, до сих пор в мире ведутся споры о законности абор‑ тов <...> Она говорит нам, что Джон будет старше, когда ему ис‑ полнится 35 лет, т. е. в этом случае он будет старше <...> Поэтому необходимо, чтобы су‑ ждения в когерентной, т. е. целостной системе, поддерживали друг друга. <...> через математику, используя математические вычисления с условными значениями, такими как Х, 0, 1 и т.
Предпросмотр: НЕЧЕТКАЯ ЛОГИКА.pdf (0,1 Мб)
Автор: Пехтерева Л. В.
Изд-во НГТУ
В учебном пособии рассматриваются формы абстрактного познания: понятия, высказывания и умозаключения. Изучаются определения и свойства, особенности разных форм познания, возможные логические ошибки в определениях. Рассматриваются отношения между понятиями, их графические схемы, типы и классификация высказываний. Изучаются непосредственные умозаключения, способы доказательства и опровержение разных типов высказываний.
Одно из основных правил логики гласит: понятия должны быть чётко определены, т. е. содержание понятия <...> ОТРИЦАНИЕ СУЖДЕНИЙ При построении рассуждений важно правильно строить отрицание суждений, т. е. противоположное <...> Мы знаем, что отрицание понятия есть понятие, противоречащее заданному, т. е. оно должно исключать исходный <...> Опровержение высказываний Иногда требуется не доказать высказывание, а опровергнуть, т. е. доказать его <...> Предположим, что в каждой клетке меньше двух кроликов, т. е. по одному кролику или пусто.
Предпросмотр: Элементы математической логики. 5 класс.pdf (0,3 Мб)
Автор: Лобанов
М.: ПРОМЕДИА
Шаблоны решения силлогизмов.
Кстати, здесь все задачи синтеза базовых силлогизмов можно переложить на ЭВМ, т. е. определять и характер <...> заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т.
Автор: Фейгин. Олег
СПб.: Страта
Складывающийся в последнее время глубоко парадоксальный образ новой физической реальности настолько резко отличается от привычного, что возникает все более серьезная проблема его описания в общедоступных понятиях. Все чудеса окружающего мира блестяще объясняет современная наука, проблемам, задачам и открытием которой и посвящена настоящая книга.
В ней рассказывается о разнообразных парадоксах и свершениях физики, астрономии, математики, кибернетики, биохимии и материаловедения.
просто бы перенесли вопросы рождения мироздания в эту старую Вселенную, а потом в еще более старую и т. <...> заменены их античастицами: электрон — позитроном, протон — антипротоном, нейтрон — антинейтроном и т. <...> Он осуществляется трудом, экспериментом, наукой и техникой, т. е. производительной силой цивилизации. <...> произведениях американского фантаста Брюса Стерлинга в качестве альтернативных киборгов фигурируют т. <...> что в 1947 году где-то на территории Северной Америки действительно разбился инопланетный корабль, т.
Предпросмотр: PRO ПАРАДОКСЫ НАУКИ.pdf (0,1 Мб)
Автор: Полякова Т. С.
Ростов н/Д.: Изд-во ЮФУ
Материал учебного пособия основан на лекциях, прочитанных автором в Южном федеральном университете по магистерской программе «Математическое образование» в рамках курса «История математики и математического образования в России». Учебное пособие содержит два модуля, в первом из которых изложена краткая история развития европейской математики XVII-начала XVIII вв.; второй модуль представляет собой биографический справочник выдающихся персоналий в области математики, создавших математику переменных величин. В приложениях представлены контрольно-измерительные материалы для входного и итогового контроля.
Краткий очерк : [учеб. пособие] / Южный федеральный ун-т; Т.С. <...> Воровича Т. С. Полякова ИСТОРИЯ МАТЕМАТИКИ Европа XVII – начало XVIII вв. <...> Любил читать и мастерить технические игрушки: солнечные и водяные часы, мельницу и т. п. <...> Роль Лейбница в создании научных школ в России // Успехи физических наук. – 1918. – Т. 169. – С. 1329 <...> Т. 2: Математика XVII столетия. – М.: Наука, 1970. – 300 с. 11. Колмогоров А.Н.
Предпросмотр: История математики. Европа XVII - начало XVIII века.pdf (0,2 Мб)
Автор: Семенова И. В.
Изд-во Самарского университета
В пособии изложены основные вопросы булевой алгебры. Рассмотрены свойства булевых функций, методы их минимизации и приведения к нормальным формам. Приведено описание всех замкнутых классов булевых функций, а также методы определения полноты систем таких функций. Кроме того, в пособии рассматриваются вопросы практического применения булевой алгебры при построении математических моделей в различных областях. Помимо основных понятий и теоретических результатов, пособие включает алгоритмы и примеры решения типовых задач, поэтому оно является не только дополнением к материалам лекций по курсу «Дискретная математика», но и поддержкой самостоятельной работы обучающихся. Подготовлено на кафедре информатики и вычислительной математики.
алгебра и ее применение при построении математических моделей : учеб. пособие / Самарский нац. исслед. ун-т <...> Королева (Самар. ун-т); И.В. <...> 𝑥𝑚 𝜎𝑚𝑓(𝜎1,… , 𝜎𝑚,𝑥𝑚+1,… , 𝑥𝑛), где 𝑥𝑖 𝜎𝑖 = { 𝑥𝑖,если 𝜎𝑖 = 1 𝑥̅𝑖,если 𝜎𝑖 = 0 , т. <...> 𝜎̅𝑚 ∨ 𝑓(𝜎1,… , 𝜎𝑚,𝑥𝑚+1,… , 𝑥𝑛), где 𝑥𝑖 𝜎̅𝑖 = { 𝑥𝑖,если 𝜎𝑖 = 0 𝑥̅𝑖,если 𝜎𝑖 = 1 , т. <...> формулы 𝐴 существует формула 𝐴1, такая что: 𝐴 ≡ 𝐴1 и не содержит никаких логических операций (~, ⊃ и т.
Предпросмотр: Булева алгебра и ее применение при построении математических моделей.pdf (1,1 Мб)
Автор: Бурлакова Татьяна Вячеславовна
Издательство Шуйского филиала ИвГУ
Учебно-методические материалы предназначены для организации самостоятельной работы студентов образовательной программы Математика; Информатика по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки).
. – УМН, 1948, т. 3, Вып. 1(23). 6. Кавальери В. Геометрия неделимых. – М.-Л.: ГТТИ, 1940. 7. <...> каждая пара чисел, которые одинаково отстоят от концов ряда (например: 1 и 100; 2 и 99; 3 и 98; 4 и 97 и т. <...> Полякова Т. С. <...> Т. 1. 200 с. : ил. ; То же Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» 52 [Электронный
Предпросмотр: История математики.pdf (0,7 Мб)
Автор: Галенович Юрий Михайлович
М.: ВКН
В XX веке история человечества сложилась таким образом, что с разницей в три десятилетия в мире появились два крупных государства с правившими в них коммунистическими партиями: СССР и КНР. Они просуществовали как соседи и «идеологические близнецы» четыре десятилетия. Затем в одном из них коммунистическая партия перестала быть правящей. Оба государства оказались в новой, уникальной для человечества и для них самих ситуации. С тех пор уже три десятилетия существуют отношения между этими государствами. В каждом из них есть свое понимание истории и нынешнего состояния двусторонних отношений. Читателям предлагается возможность познакомиться с трактовками обеих сторон, с попыткой разобраться в том, «что это было», какими были этапы этого пути (каким был «путь» от «эпохи» Сталина и Мао до «времен» Путина и Си), что происходит сейчас и чем это может обернуться в будущем. В работе также рассматриваются процессы в истории американо-китайских отношений и китайско-американских отношений за время от Мао и Никсона до Си и Трампа. Перед читателем описание исторического пути от иллюзий к реалиям во взаимоотношениях России с Китаем и Америки с Китаем.
Не решен вопрос о границе, о новом общем договоре о границе и т. д. <...> Т. 1: От октября 1917 г. до октября 1949 г. — 170 с. <...> Т. 2: СССР и КНР (1949–1991 гг.): В 2 кн. — Кн. 1. 140 с.; Кн. 2. 132 с. <...> Тихвинский; Ин-т Дальнего Востока РАН. — М.: Наука, 2013. Т. <...> Отпечатано в АО «Т 8 Издательские Технологии» (АО «Т 8») г.
Предпросмотр: От Сталина и Мао до Путина и Си.pdf (0,3 Мб)
Автор: Непряхин Никита
М.: Альпина Паблишерз
Любому школьнику сложно: столько уроков, домашних заданий, книг и учебников. А сколько еще сложностей: проблемы с одноклассниками, встречи с новым и неизведанным, выбор будущей профессии и своего пути. Как во всем этом не запутаться? Как принимать правильные, логически выверенные решения? Как не запутаться в огромном океане информации? Логика и критическое мышление, один из самых ключевых навыков ХХI века. Эта книга как раз об этом. Она интересная и нескучная, в ней собраны 10 историй, с которыми так или иначе встречался каждый. Авторы этой книги, настоящие исследователи критического мышления, помогут найти правильные ответы и все разложить по полочкам.
Железная логика на все случаи жизни / Т. . Пащенко; Н. . <...> ., Пащенко Т. <...> Непряхин, Т. <...> Эти требования сформулировал американский исследователь Джордж Т.
Предпросмотр: Критическое мышление. Железная логика на все случаи жизни.pdf (0,2 Мб)
СПб.: Страта
Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.
Она говорит нам, что Джон будет старше, когда ему исполнится 35 лет, т. е. в этом случае он будет старше <...> Утверждение «1 + 1 = 2» истинно, потому что мы когерентно, т. е. соотнесенно, применяем правила математики <...> Поэтому необходимо, чтобы суждения в когерентной, т. е. целостной системе, поддерживали друг друга. <...> через математику, используя математические вычисления с условными значениями, такими как Х, 0, 1 и т.
Предпросмотр: АРИСТОТЕЛЬ vs БУДДА.pdf (0,1 Мб)
Автор: Чулков П. В.
М.: Издательство Прометей
В учебном пособии представлены материалы по арифметике (четность, делимость), логике, простейшим алгоритмам, теории информации, наглядной геометрии и многое другое. Материалы пособия можно использовать для организации работы математических кружков, факультативов. Печатается по решению Ученого совета математического факультета Московского педагогического государственного университета.
; 25 «Т-тетрамино»? «L-тетрамино»? 24.6. <...> мы будем раскрашивать по такому же принципу фигуры тетриса, то в каждой из фигур, кроме фигуры вида «Т» <...> У фигуры вида «Т» всегда 3 клетки одного цвета, а 1 – другого, поэтому в Copyright ОАО «ЦКБ «БИБКОМ» <...> А для того, чтобы сложить квадрат, необходимо, чтобы в 5 фигурах вида «Т» было по 10 клеток каждого цвета
Предпросмотр: Практикум по элементарной математике (2-ой курс). Монография.pdf (0,2 Мб)
Автор: Прокл Диадох
М.: Русский фонд содействия образованию и науке
Составленный Проклом комментарий к первой книге "Начал" Евклида впервые переведён на русский язык в полном объёме. Трактат Прокла – это единственный дошедший до наших дней античный комментарий к Евклиду. Он представляет первостепенный интерес как с точки зрения истории математики и её преподавания, так и с точки зрения истории философии.
В 3 т. М.: ГТТИ, 1948–50. Прокл. Комментарий к первой книге Начал Евклида. Введение. Пер. и комм. <...> Ведь мате2 Т. е. поочерёдное появление длины, ширины, глубины. <...> Центр круга, эллипса, гиперболы и т. п. – это центр симметрии. <...> И если говорится, что у двух треугольников две стороны равны двум сторонам и т. д., то не спросит ли <...> Аристотель, Вторая аналитика 73a25–74b4. 30 Т. е. обращение.
Предпросмотр: Комментарий к первой книге Начал Евклида.pdf (1,4 Мб)
Автор: Ласкер Эмануил
М.: Человек
Изданная в Германии в 1930 г., книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм. Ласкера впервые выходит на русском языке. Любители шахмат почерпнут из этой книги основы и других, не менее увлекательных игр, таких как го, английские и немецкие шашки, трик-трак, также изобретенной самим маэстро игрой «Ласка»; «поломают» голову над математическими задачами, предназначенными для своего рода состязаний.
Вопрос должен побуждать и поощрять к решению, т. е. к поиску. <...> художественная загадка, то ни один след не сработает вхолостую и не будет недостатка в необходимых следах, т. <...> Мастер шахматной игры, пребывающий в стадии становления, т. е., по сути дела, каждый, находит приключение <...> Черная цепь, как и внутренняя белая цепь, живут, т. к. для обеих частей занятие a1 или e1 было бы решающим <...> Белые не могут поставить камень на b1, т. к. в ином случае утрачиваются a1, b1, b2, c1 в результате занятия
Предпросмотр: Настольные игры и математические задачи.pdf (1,8 Мб)
Воронеж
Пособие подготовлено на кафедре функционального анализа и операторных уравнений математического факультета Воронежского государственного университета
. Равенство xy будем понимать как тождество, т. е. выражение того факта, что x и y – это имена одного
Предпросмотр: Математическая логика Логика предикатов.pdf (1,2 Мб)
Автор: Гумерова Е. И.
Изд-во НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
-метод. пособие / Новосиб. гос. техн. ун-т; Е.И.
Предпросмотр: Элементы логики в математике.pdf (0,3 Мб)
Автор: Рублев В. С.
ЯрГУ
Методические указания содержат варианты индивидуальных заданий № 1, 2, 3, а также необходимый материал для самостоятельного изучения и выполнения индивидуальных заданий. Для качественного усвоения курса в издании даны подробные определения, примеры, иллюстрации и обоснования.
Алгоритмы и анализ сложности : метод. указания / Яросл. гос. ун-т им. П. Г. Демидова; В. С.
Предпросмотр: Алгоритмы и анализ сложности Методические указания.pdf (0,5 Мб)
Автор: Рублев В. С.
ЯрГУ
"Методические указания содержат варианты индивидуального задания по теме ""Множества"" дисциплины ""Основы дискретной математики"", а также необходимый материал для самостоятельного изучения этой темы и выполнения индивидуального задания. Для качественного усвоения курса издание содержит подробные определения, примеры, иллюстрации и обоснования. Предназначено для студентов, обучающихся по специальности 010400 Информационные технологии (дисциплина ""Основы дискретной математики"", блок ЕН), очной формы обучения. Ил. 8. "
Множества : метод. указания / Яросл. гос. ун-т; В. С.
Предпросмотр: Множества Методические указания .pdf (0,4 Мб)
Автор: Оманд Дэвид
М.: Альпина Паблишер
Из этой книги вы не узнаете, как раскапывать грязные тайны диктаторов, ловить торговцев оружием или перевозить через границу секретные донесения. Дэвид Оманд, в прошлом высокопоставленный сотрудник британской спецслужбы, рассказывает о главном навыке разведчика — принимать верные решения на основании ограниченной, неполной, а иногда и просто недостоверной информации. Из его книги вы узнаете, что делать, когда у вас нет времени проверить факты, как научиться не поддаваться панике, не впадать в ступор, верно оценивать риски, игнорировать теории заговора и выводить на чистую воду лжецов и манипуляторов. В основе авторского метода работы с информацией — многолетний опыт разведчиков и аналитиков разных стран, отточенный во время таких событий, как война на Фолклендах или Карибский кризис. Отдельные главы книги посвящены ведению переговоров и установлению доверительных отношений в различных обстоятельствах.
// Избранные произведения в -х т. — М.: ГИХЛ, . — Т. . <...> ВЛАДЕНИЕ СИТУАЦИЕЙ тов. <...> глубоким пониманием таких явлений, как доверие, наказание, месть, блеф, манипуляция, дезинформация, торг и т.
Предпросмотр: Прицельное мышление. Принятие решений по методикам британских спецслужб.pdf (0,1 Мб)
Автор: Рублев В. С.
ЯрГУ
Методические указания содержат варианты индивидуальных заданий по теме "Булевы функции" дисциплины "Основы дискретной математики", а также необходимый материал для ее самостоятельного изучения и выполнения индивидуальных заданий. Для качественного усвоения курса в издании даны подробные определения, примеры, иллюстрации и обоснования.
Булевы функции : метод. указания / Яросл. гос. ун-т им. П. Г. Демидова; В. С.
Предпросмотр: Булевы функции методические указания.pdf (0,4 Мб)
Автор: Задохина Н. В.
М.: ЮНИТИ-ДАНА
Рассматривается решение логико-познавательных задач, охватывающих все важнейшие разделы учебной дисциплины «Математика и информатика»: кодирование и представление информации в ЭВМ, множества, элементы математической логики, введение в теорию вероятностей. Приводится необходимый минимум теоретических знаний. Примеры сопровождаются иллюстрациями, схемами и таблицами, позволяющими неформально усвоить материал, помогающий развитию мыслительных способностей студентов. Приводятся задания для самостоятельного решения.
На отдельных карточках написаны буквы П, Р, Е, З, Е, Н, Т, А, Ц, И, Я.
Предпросмотр: Математика и информатика. Решение логико-познавательных задач. Учебное пособие. Гриф УМЦ Профессиональный учебник. Гриф НИИ образования и науки..pdf (0,2 Мб)
Автор: Белов Ю. А.
ЯрГУ
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Соколов; Яросл. гос. ун-т им. П. Г. Демидова; Ю. А.
Предпросмотр: Лекции по математической логике и теории алгоритмов учебное пособие.pdf (0,4 Мб)