Книги жанра математическая логика
Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колмогорова, сравнение выполнено по теореме Геделя. Получен результат, что уравнения Навье-Стокса не охватывают турбулентность.Решена по-видимому проблема тысячелетия, сформулированная институтом Клея - решение уравнений Навье-Стокса на пространстве R3. То. что не описывает модель Ан…
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пользой провести свой досуг, развить логику, внимательность и воображение.
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пользой провести свой досуг, развить логику, внимательность и воображение.
Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их вып…
Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие, принципы, противоречия и прогнозы развития. Но речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой лог…
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых тео…
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых тео…
Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском политехническом университете Петра Великого. Книга имеет обширный справочный аппарат: указатель обозначений, детальный…
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой л…
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой л…
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой л…
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой л…
Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвященная нестареющей математике, она будет равно интересна юным читателям, знакомым по школьному курсу с алгеброй и геометрией, и взрослым любителям занимательных задач. Игры и развлечения, описанные на страницах книги, помогут развить молодые умы и отт…
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение пробле…
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение пробле…