Математическая логика
Самое популярноеНовое
- 0
- 0
- 0
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…
Подробнее- 0
- 0
- 0
Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно …
Подробнее- 0
- 0
- 0
Тренажёр «Логические задания. 4 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее- 0
- 0
- 0
Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгори…
Подробнее- 0
- 0
- 0
В учебном пособии даны задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникацио…
Подробнее- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее- 0
- 0
- 0
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназн…
Подробнее- 0
- 0
- 0
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их примене…
Подробнее- 0
- 0
- 0
Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления выска…
Подробнее- 0
- 0
- 0
Изложен краткий теоретический материал по разделам дискретной математики: множества, отношения, комбинаторика, математическая логика, графы. Приведены…
Подробнее- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее- 0
- 0
- 0
Я рассказываю о неожиданных фактах, которые могут быть причиной раскола американского общества.
Подробнее- 0
- 0
- 0
В издании рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика,…
Подробнее- 0
- 0
- 0
Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как соверше…
Подробнее- 0
- 0
- 0
В пособии рассмотрены основные разделы математики: алгебра, векторы, начала анализа, логические операции, теория множеств, дифференциальное и интеграл…
Подробнее- 0
- 0
- 0
Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевы…
Подробнее- 0
- 0
- 0
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее- 0
- 0
- 0
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…
Подробнее- 0
- 0
- 0
Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колмогорова, сравнение выполнено п…
Подробнее- 0
- 0
- 0
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее- 0
- 0
- 0
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…
Подробнее- 0
- 0
- 0
Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены…
Подробнее- 0
- 0
- 0
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…
Подробнее- 0
- 0
- 0
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пол…
Подробнее- 0
- 0
- 0
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление …
Подробнее- 0
- 0
- 0
В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читате…
Подробнее- 0
- 0
- 0
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционир…
Подробнее- 0
- 0
- 0
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эрен…
Подробнее- 0
- 0
- 0
Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухие цифры, он замечал увлекатель…
Подробнее- 0
- 0
- 0
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основны…
Подробнее- 0
- 0
- 0
В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики.…
Подробнее- 0
- 0
- 0
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965…
Подробнее- 0
- 0
- 0
Вышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным популяризатором наук Яковом Исидоровичем Перельман…
Подробнее- 0
- 0
- 0
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отн…
Подробнее- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее- 0
- 0
- 0
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуник…
Подробнее- 0
- 0
- 0
Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления.…
Подробнее- 0
- 0
- 0
Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвящ…
Подробнее- 0
- 0
- 0
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные матема…
Подробнее- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее- 0
- 0
- 0
Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее- 0
- 0
- 0
Предложен метод построения динамически переопределяемых структур для моделирования резких изменений в биологических процессах. Метод предусматривает а…
Подробнее- 0
- 0
- 0
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация…
Подробнее- 0
- 0
- 0
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – ус…
Подробнее