bannerbanner
logo

Математическая логика

Элементы математической логики. 5 класс
Элементы математической логики. 5 класс
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…
Подробнее
Математические головоломки
Математические головоломки
Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно …
Подробнее
Логические задания. 4 класс
Логические задания. 4 класс
Тренажёр «Логические задания. 4 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее
Стёртые
Стёртые
В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интриги, любовь и предательство. Всё это на фоне безумного ст…
Подробнее
Дискретная математика
Дискретная математика
Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгори…
Подробнее
Задачи по дискретной математике
Задачи по дискретной математике
В учебном пособии даны задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникацио…
Подробнее
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ
Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназн…
Подробнее
Математическая логика
Математическая логика
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их примене…
Подробнее
Практикум по математическим основам информатики. Часть 2. Введение в математическую логику
Практикум по математическим основам информатики. Часть 2. Введение в математическую логику
Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления выска…
Подробнее
Дискретная математика в примерах и задачах
Дискретная математика в примерах и задачах
Изложен краткий теоретический материал по разделам дискретной математики: множества, отношения, комбинаторика, математическая логика, графы. Приведены…
Подробнее
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Теорема Гёделя как причина раскола американского общества
Теорема Гёделя как причина раскола американского общества
Я рассказываю о неожиданных фактах, которые могут быть причиной раскола американского общества.
Подробнее
Теоретические основы информатики
Теоретические основы информатики
В издании рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика,…
Подробнее
Нечеткая логика
Нечеткая логика
Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как соверше…
Подробнее
Элементарная и высшая математика. Учебное пособие для вузов
Элементарная и высшая математика. Учебное пособие для вузов
В пособии рассмотрены основные разделы математики: алгебра, векторы, начала анализа, логические операции, теория множеств, дифференциальное и интеграл…
Подробнее
Краткое содержание «Теория игр. Искусство стратегического мышления в бизнесе и жизни»
Краткое содержание «Теория игр. Искусство стратегического мышления в бизнесе и жизни»
3
Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевы…
Подробнее
Теория игр. Для тех, кто хочет все успеть
Теория игр. Для тех, кто хочет все успеть
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее
Classification of countable models of complete theories. Рart 2
Classification of countable models of complete theories. Рart 2
The book is the second part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the book, generic E…
Подробнее
Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса / The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equations
Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса / The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equations
Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колмогорова, сравнение выполнено п…
Подробнее
Теория игр. Для тех, кто хочет все успеть
Теория игр. Для тех, кто хочет все успеть
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее
Элементы математической логики. 5 класс
Элементы математической логики. 5 класс
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…
Подробнее
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены…
Подробнее
Classification of countable models of complete theories. Рart 1
Classification of countable models of complete theories. Рart 1
The book is the first part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the monograph, a cla…
Подробнее
История с узелками
История с узелками
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пол…
Подробнее
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление …
Подробнее
Универсальная алгебра и теория решеток
Универсальная алгебра и теория решеток
В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читате…
Подробнее
Модели и методы искусственного интеллекта
Модели и методы искусственного интеллекта
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционир…
Подробнее
Классификация счётных моделей полных теорий. Часть 2
Классификация счётных моделей полных теорий. Часть 2
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эрен…
Подробнее
История с узелками, или Все не так, как кажется (сборник)
История с узелками, или Все не так, как кажется (сборник)
Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухие цифры, он замечал увлекатель…
Подробнее
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основны…
Подробнее
Универсальная алгебра и теория квазимногообразий
Универсальная алгебра и теория квазимногообразий
В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики.…
Подробнее
Аристотель vs Будда
Аристотель vs Будда
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965…
Подробнее
Математические игры
Математические игры
Вышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным популяризатором наук Яковом Исидоровичем Перельман…
Подробнее
Математические методы в приложениях. Дискретная математика
Математические методы в приложениях. Дискретная математика
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отн…
Подробнее
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Задачи по дискретной математике с алгоритмами на Python
Задачи по дискретной математике с алгоритмами на Python
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуник…
Подробнее
О сущности ускоренного расширения Вселенной
О сущности ускоренного расширения Вселенной
Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления.…
Подробнее
Математические развлечения и игры
Математические развлечения и игры
Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвящ…
Подробнее
Изменчивая природа математического доказательства. Доказать нельзя поверить
Изменчивая природа математического доказательства. Доказать нельзя поверить
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные матема…
Подробнее
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Логические задания. 3 класс
Логические задания. 3 класс
Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее
Динамически переопределяемые системы в моделировании двух популяционных процессов с пороговыми эффектами
Динамически переопределяемые системы в моделировании двух популяционных процессов с пороговыми эффектами
Предложен метод построения динамически переопределяемых структур для моделирования резких изменений в биологических процессах. Метод предусматривает а…
Подробнее
Классификация счётных моделей полных теорий. Часть 1
Классификация счётных моделей полных теорий. Часть 1
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация…
Подробнее
Прикладная логика
Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – ус…
Подробнее
Вход В личный кабинетРегистрация