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

В учебном пособии рассматриваются основные виды нетиповых задач, предлагаются упражнения по арифметике, алгебре, непосредственно связанные с преподаванием математики в начальной школе, и методы их решения. Учебное пособие написано для студентов факультета педагогики и методики начального образования, преподавателей педагогических вузов и колледжей, учителей начальных классов

Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

Нечёткая логика — раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие, принципы, противоречия и прогнозы развития. Но речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

В учебном пособии представлены материалы по арифметике (четность, делимость), логике, простейшим алгоритмам, теории информации, наглядной геометрии и многое другое. Материалы пособия можно использовать для организации работы математических кружков, факультативов. Печатается по решению Ученого совета математического факультета Московского педагогического государственного университета.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Эта книга — настоящий путеводитель по парадоксам, начиная с древнейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс — это «магия в вашей голове». Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, — отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка.

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и поясняющими примерами. Рассмотрен вклад в историю доказательства многих великих математиков. Легкий и увлекательный стиль автора делает изложение доступным широкому кругу читателей.

В сборнике представлены материалы Восьмой региональной научно-практической конференции: статьи учащихся и школьных учителей; обзорная статья о результатах конкурса «Архангельская область в математических задачах»; разработки научно-популярных занятий, подготовленные преподавателями Института математики, информационных и космических технологий САФУ. Содержание материалов отражает результаты научной и практической работы, направленной на решение актуальной методической проблемы – организации научно-исследовательской работы школьников в области математики, прикладной математики и информатики.

Рассматривается решение логико-познавательных задач, охватывающих все важнейшие разделы учебной дисциплины «Математика и информатика»: кодирование и представление информации в ЭВМ, множества, элементы математической логики, введение в теорию вероятностей. Приводится необходимый минимум теоретических знаний. Примеры сопровождаются иллюстрациями, схемами и таблицами, позволяющими неформально усвоить материал, помогающий развитию мыслительных способностей студентов. Приводятся задания для самостоятельного решения.

Подготовлено на кафедре вычислительной математики и прикладных информационных технологий и кафедре математических методов исследования операций факультета прикладной математики, информатики и механики Воронежского государственного университета.

Учебник содержит традиционные разделы математического анализа, теории вероятностей и математической статистики в объеме, предусмотренном требованиями Федерального государственного образовательного стандарта высшего профессионального образования по естественным, гуманитарным и социальным направлениям. Изложение материала снабжено необходимыми рисунками, содержит более ста наглядных примеров. Предназначено для студентов высших учебных заведений. Может быть использовано преподавателями, аспирантами и студентами, использующими в своей практике математические средства анализа информации.

В пособии изложены основные разделы современной дискретной математики. Рассматриваются вопросы, связанные с теорией множеств, теорией отношений, теорией графов и логикой. Материал построен на основе курса лекций, читаемого автором в технических вузах. В каждой главе рассмотрено большое число задач с подробными решениями и примерами, что позволяет эффективно и быстро осваивать изучаемую тему.

Из этой книги вы не узнаете, как раскапывать грязные тайны диктаторов, ловить торговцев оружием или перевозить через границу секретные донесения. Дэвид Оманд, в прошлом высокопоставленный сотрудник британской спецслужбы, рассказывает о главном навыке разведчика — принимать верные решения на основании ограниченной, неполной, а иногда и просто недостоверной информации. Из его книги вы узнаете, что делать, когда у вас нет времени проверить факты, как научиться не поддаваться панике, не впадать в ступор, верно оценивать риски, игнорировать теории заговора и выводить на чистую воду лжецов и манипуляторов. В основе авторского метода работы с информацией — многолетний опыт разведчиков и аналитиков разных стран, отточенный во время таких событий, как война на Фолклендах или Карибский кризис. Отдельные главы книги посвящены ведению переговоров и установлению доверительных отношений в различных обстоятельствах.

В основу данной работы положено представление о том, что информация - это содержание символа, изображенного различными графическими конструкциями. В монографии обсуждаются все аспекты измерения и переработки информации посредством анализа графических символьных конструкций.

В XX веке история человечества сложилась таким образом, что с разницей в три десятилетия в мире появились два крупных государства с правившими в них коммунистическими партиями: СССР и КНР. Они просуществовали как соседи и «идеологические близнецы» четыре десятилетия. Затем в одном из них коммунистическая партия перестала быть правящей. Оба государства оказались в новой, уникальной для человечества и для них самих ситуации. С тех пор уже три десятилетия существуют отношения между этими государствами. В каждом из них есть свое понимание истории и нынешнего состояния двусторонних отношений. Читателям предлагается возможность познакомиться с трактовками обеих сторон, с попыткой разобраться в том, «что это было», какими были этапы этого пути (каким был «путь» от «эпохи» Сталина и Мао до «времен» Путина и Си), что происходит сейчас и чем это может обернуться в будущем. В работе также рассматриваются процессы в истории американо-китайских отношений и китайско-американских отношений за время от Мао и Никсона до Си и Трампа. Перед читателем описание исторического пути от иллюзий к реалиям во взаимоотношениях России с Китаем и Америки с Китаем.

В пособии изложены основные вопросы булевой алгебры. Рассмотрены свойства булевых функций, методы их минимизации и приведения к нормальным формам. Приведено описание всех замкнутых классов булевых функций, а также методы определения полноты систем таких функций. Кроме того, в пособии рассматриваются вопросы практического применения булевой алгебры при построении математических моделей в различных областях. Помимо основных понятий и теоретических результатов, пособие включает алгоритмы и примеры решения типовых задач, поэтому оно является не только дополнением к материалам лекций по курсу «Дискретная математика», но и поддержкой самостоятельной работы обучающихся. Подготовлено на кафедре информатики и вычислительной математики.

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

Любому школьнику сложно: столько уроков, домашних заданий, книг и учебников. А сколько еще сложностей: проблемы с одноклассниками, встречи с новым и неизведанным, выбор будущей профессии и своего пути. Как во всем этом не запутаться? Как принимать правильные, логически выверенные решения? Как не запутаться в огромном океане информации? Логика и критическое мышление, один из самых ключевых навыков ХХI века. Эта книга как раз об этом. Она интересная и нескучная, в ней собраны 10 историй, с которыми так или иначе встречался каждый. Авторы этой книги, настоящие исследователи критического мышления, помогут найти правильные ответы и все разложить по полочкам.

Математические символы прошли долгую эволюцию, прежде чем «заговорили» на этом совершенном языке. В настоящей книге прослеживается вся история его развития, начиная от математических символов древности, арифметики во времена древнего Вавилона, геометрии Египта, логики античной Греции до математического языка Средневековья и Нового времени, с которого начались механический, а за ним электронный способ вычислений, рождение компьютеров и теории информации. В наше время алгоритм стал фактом реальности. Через него мы начинаем понимать реальность символической материи, реальность в прямом смысле этого слова. Символический материал существует в природе сам по себе, без человека. Алгоритмы не только диктуют, а и предугадывают наши желания, они принимают на себя ответственность за то, какую музыку мы слушаем, какие фильмы выбираем, какие отношения устанавливаем в социальных сетях. В заключительной главе книги рассмотрены исключительное влияние алгоритмов на нашу жизнь и прогнозы четвертой промышленной революции.

Данное учебно-методическое пособие включает в себя теоретический материал, разбор решений типовых задач по разделу «Математическая статистика» дисциплины «Теория вероятностей и математическая статистика», а также содержит методические указания для решения задач и варианты домашней контрольной работы по математической статистике. Предназначено для студентов, обучающихся по направлениям 09.03.03 Прикладная информатика, 02.03.03 Математическое обеспечение и администрирование информационных систем, а также может быть полезно студентам математических и физических факультетов вузов.

Когда древние люди научились считать и считали на пальцах, пришла и необходимость в приспособлениях для облегчения этого труда. Так, от дощечек с зарубками, узелков и счётных палочек, от механических счётных машин к электронным, вместе с неотвратимостью автоматизировать гигантские объёмы вычислений и виртуальной свободой человечество добралось до сетевых технологий. Кто помнит сейчас о первопроходцах, проложивших человечеству путь в современное цифровое настоящее? Автор книги совершает экскурс в историю и популярно рассказывает об этапах развития идеи инструментального счета от античности до наших дней, описывает логику развития вычислений и приходит к выводу: с появлением квантовых компьютеров круг завершится...

В учебном пособии рассматриваются формы абстрактного познания: понятия, высказывания и умозаключения. Изучаются определения и свойства, особенности разных форм познания, возможные логические ошибки в определениях. Рассматриваются отношения между понятиями, их графические схемы, типы и классификация высказываний. Изучаются непосредственные умозаключения, способы доказательства и опровержение разных типов высказываний.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность, включающего теоретическую механику, краткий курс сопротивления материалов, новый подход в механике машин, элементы механики сплошных сред, основанный на единой физике (колебания, прочность, устойчивость, удар). Главное внимание в курсе лекций уделено методам творчества как в области статики, кинематики, динамики (теоретическая механика), так и в механике машин. Подробно анализируются парадоксы механики, показаны их истоки и методы их преодоления. Доступность курса определяется компактами законов динамики, краткими компактами по колебаниям, устойчивости, удару, прочности, основным компактом задач динамики. Качественный подход к образованию подразумевает: включение взаимосвязанных нелинейных задач механики, которое позволило впервые получить единство механики Ньютона (классическая механика) и механики Эйлера (механика деформируемых тел); показана реализация единой механики при проектировании механизмов; представлены гипотезы качественной единой физики природы.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

В учебно методическом пособии изложены основные вопросы дискретной математики. Рассмотрены темы: Теория множеств, Комбинаторика. В тексте содержатся примеры и задачи но каждой теме, даны иллюстрации. Пособие предназначено для обучающихся по направлениям подготовки 09.03.02 Информационные системы и технологии, 09.03.03 Прикладная информатика.

Содержание учебного пособия соответствует Примерной программе изучения общеобразовательной дисциплины "Математика" в учреждениях начального и среднего профессионального образования. В пособии содержится значительное число упражнений и кратко изложенный соответствующий теоретический материал по всем разделам, изучаемым в данной дисциплине: числовые множества, степени, корни, логарифмы, тригонометрия, начала математического анализа, прямые и плоскости, многогранники и фигуры вращения, векторы и координаты, элементы комбинаторики, теории вероятностей и математической статистики.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Материал, сгруппированный по основным разделам математики (дифференциальное исчисление, интегралы, дифференциальные уравнения, ряды и пр.), пополнен некоторыми темами, не входящими в стандартный курс. В книге показано, как на практике работают разделы, изучаемые в курсе высшей математики. Учебное пособие способствует преодолению разрыва между материалом, излагаемым на первых курсах, и приложениями математики, с которыми студенты встречаются на последних стадиях обучения.

В данном методическом пособии рассматриваются основы проектирования систем и управления сложными экономическими объектами, а также вопросы моделирования экономических процессов.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Юи, дочь владельцев отеля, мечтает оснастить его по последнему слову техники. Но прежде, чем строить крупные планы, надо справиться с решением элементарных задач – в частности, наладить работу электрического оборудования в здании. Героиня манги пройдёт все этапы знакомства с электрооборудованием, начиная с простейшего (розетки и выключатели) и заканчивая электроприборами и сложными системами, включая трансформаторную подстанцию, аварийное освещение и средства защиты от стихийных бедствий. В разделах изложена базовая информация, при этом в каждой главе приводится дополнительный материал. Те, кому достаточно получить общее представление об устройстве и работе электрооборудования, могут пропустить эти страницы и остановиться на начальном уровне.

В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).

В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а также неклассических логик.

Изданная в Германии в 1930 г., книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм. Ласкера впервые выходит на русском языке. Любители шахмат почерпнут из этой книги основы и других, не менее увлекательных игр, таких как го, английские и немецкие шашки, трик-трак, также изобретенной самим маэстро игрой «Ласка»; «поломают» голову над математическими задачами, предназначенными для своего рода состязаний.

Чем больше одни стремятся что-то скрыть, тем больше другие хотят это «что-то» узнать. Когда люди только научились писать, их тайны материализовались, представ в образе символов, иероглифов, букв, цифр. Но в таком виде они стали доступны другим. С этого времени началось извечное соревнование между шифровальщиками, пытающимися скрыть информацию, и криптоаналитиками, стремящимися расшифровать ее. Криптография сегодня — это область научных, прикладных, инженерно-технических исследований, основанная на фундаментальных понятиях математики, физики, теории информации и сложности вычислений. В книге рассказывается об истории криптографии: от примитивных систем шифрования и дешифровки, придуманных людьми еще в древние времена, до современных компьютерных алгоритмов — как существующих, так и тех, над которыми работают нынешние ученые-криптографы.

Все началось с камня… Шел каменный век. Человек научился делать первые симметричные вещи — рубила. Человек вдруг начал различать структуры и создавать символы, и это выделило его из мира животных. Восприятие структур и производство символов с тех пор шли рука об руку. И то, и другое — абстрактные вещи. Восприятие и производство абстрактных вещей стало отличительной стороной деятельности людей и основой развития человеческой цивилизации. Книга посвящена анализу процесса осознания структур, которые реально существуют в природе вне зависимости от человека, и репрезентации их в символических формах.

Криптография существует уже несколько тысяч лет. Мастерство шифрования и дешифровки было востребованным издревле и в разных целях, будь то тайная любовная переписка монарших особ или радиограммы военных разведчиков из вражеского тыла. Книга рассказывает об истории этой шпионской науки, парадоксах и витках в ее развитии, приведших к новым революционным открытиям; об ученых, внесших мировой вклад в криптографическое дело. Сегодня, когда информация приобретает едва ли не главную коммерческую ценность и политическое значение, искусство криптографии становится мощным средством в борьбе за влияние и превосходство. Грядет новый и решающий этап в эволюции вычислительных систем: эпоха квантовых компьютеров. Уже очень скоро информация, хранимая в наших базах данных, устремится в совсем другую реальность, странный и таинственный мир, открытый для нас Максом Планком век назад. Мир, в котором правят иные законы физики и живут иные частицы, делая его столь привлекательным для сокровенных человеческих тайн. Итак, мы снова ждем ответа на вопрос: грядет ли окончательная победа шифрования над дешифровкой в свете ожидаемого появления квантовых компьютеров?

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

Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.

Книга посвящена применению философии в образовании, науке, технике. Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность. Рассмотрены методы поиска новых задач в науке, образовании, технике. В методах творчества сочетаются приемы технического творчества, системные операторы, включающие элементы математики, физики и прикладной философии, а также непосредственный комплекс прикладной философии объекта для преодоления противоречий. Рассмотрены математические парадоксы, физические парадоксы, парадоксы прикладной философии в механике. Кратко изложены результаты решения нового класса задач математики и физики — взаимосвязанных нелинейных задач механики. На основе бифуркационной логики анализируются основания классической математики. Единая физика механики рассматривается как единство взаимосвязанных нелинейных задач колебаний, устойчивости, прочности и удара (на основе винтового деформированного движения). Единая физика механики предложена в качестве гена природы, рассматривающая в единстве гипотезы: Большого взрыва, теории света, квантовой механики, элементов полевой структуры эфира. Качественная модель единой физики природы основана на обосновании только известных экспериментальных явлений. Данная книга заканчивает основной цикл работ автора по интеграционной механике, которая показала, что природа описывается не простейшими математическими зависимостями, а сложными нелинейными взаимосвязанными задачами, лежащими в искусственно созданной области нерешаемых задач.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).