Математическая логика
Сортировка по:
добавлено
Аристотель vs БуддаАвтор не определенНечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечётко…
добавлено
О сущности ускоренного расширения ВселеннойПетр ПутенихинЧто означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космолог…
добавлено
Динамически переопределяемые системы в моделировании двух популяционных процессов с пороговыми эффектамиА. Ю. ПереварюхаПредложен метод построения динамически переопределяемых структур для моделирования резких изменений …
добавлено
Математическая логикаВиктор Леонидович МатросовВ учебнике изложены основные понятия математической логики, язык и средства математической логики, в…
добавлено
Теоретические основы информатикиАлександр Александрович ЗабугаВ издании рассматриваются такие разделы классической математики, как комбинаторика, теория вероятнос…
добавлено
Classification of countable models of complete theories. Рart 2Sergey V. SudoplatovThe book is the second part of the monograph “Classification of countable models of complete theorie…
добавлено
Classification of countable models of complete theories. Рart 1Sergey V. SudoplatovThe book is the first part of the monograph “Classification of countable models of complete theories…
добавлено
Классификация счётных моделей полных теорий. Часть 2Сергей Владимирович СудоплатовКнига является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из …
добавлено
Математические игрыВильгельм АренсВышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным …
добавлено
Математические развлечения и игрыГерман ШубертСпустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX сто…
добавлено
Классификация счётных моделей полных теорий. Часть 1Сергей Владимирович СудоплатовКнига является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из …
добавлено
Практикум по математическим основам информатики. Часть 2. Введение в математическую логикуА. Л. МейлахсПриведены материалы трех практических занятий логически объединенных общим названием. На уровне несл…
добавлено
Нечеткая логикаФеликс ЛангеНечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассм…
добавлено
Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса / The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equationsКонстантин Владимирович ЕфановРешена проблема турбулентности - показано некорректности применения модельных представлений Навье, п…
добавлено
История с узелкамиЛьюис КэрроллВ этой книге собраны интересные истории, занимательные математические головоломки, увлекательные зад…
добавлено
Математическая логика и теория алгоритмовЕлена Вячеславовна ЗайцеваИзложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультет…
добавлено
История с узелками, или Все не так, как кажется (сборник)Льюис КэрроллМатематика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие д…
добавлено
Математические методы в приложениях. Дискретная математикаО. Н. ЗайцеваВ представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной мате…
добавлено
Изменчивая природа математического доказательства. Доказать нельзя поверитьСтивен КранцКнига знакомит читателя с тем, как развивалось с течением времени понятие математического доказатель…
добавлено
Прикладная логикаСергей Викторович ПоповЛогический формализм рассматривается как инструмент для формулировки и решения содержательных задач.…
добавлено
Задачи по теории множеств, математической логике и теории алгоритмовИгорь Андреевич ЛавровВ книге в форме задач систематически изложены основы теории множеств, математической логики и теории…
добавлено
Квантовая логикаВладимир Леонидович ВасюковКнига посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математи…
добавлено
Четыре алгоритмических лица случайностиВладимир Андреевич УспенскийБрошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Совреме…