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

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

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

Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.

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

Аннотация: Предлагаемая вниманию читателя книга известного английского математика И. Лакатоса (1922 -1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.