Математическая логика
- 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
В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через несколько десятилетий почти вс…
Подробнее
- 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
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965…
Подробнее
- 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
Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python …
Подробнее
- 0
- 0
- 0
Данное пособие предназначено для выпускников, сдающих ОГЭ и ЕГЭ на базовом и профильном уровнях, а также для учителей, организующих процесс подготовки…
Подробнее
- 0
- 0
- 0
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отн…
Подробнее
- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
- 0
- 0
- 0
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказы…
Подробнее
- 0
- 0
- 0
Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python …
Подробнее
- 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
Учебное пособие содержит 10 лекций по курсу «Логика». В 8 лекциях представлен материал по традиционной логике, в последних двух лекциях – по математич…
Подробнее
- 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
Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для с…
Подробнее