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