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

Все поджанры
    О сущности ускоренного расширения Вселенной
    добавлено 2021-04-07 17:57:24
    Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и...
    Динамически переопределяемые системы в моделировании двух популяционных процессов с пороговыми эффектами
    добавлено 2021-03-15 17:49:03
    Предложен метод построения динамически переопределяемых структур для моделирования резких изменений в биологических проц...
    Стёртые
    добавлено 2021-02-18 18:46:32
    Это оригинальная история. В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интри...
    Нечеткая логика
    добавлено 2020-05-18 14:52:23
    Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становлен...
    Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса \/ The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equations
    добавлено 2020-03-26 16:15:42
    Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колм...
    Математическая логика
    добавлено 2020-02-03 20:14:22
    В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы л...
    История с узелками
    добавлено 2019-12-30 14:03:26
    В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадо...
    Глобальная система химических соединений. Матрица соединений второго ранга и алгоритмы их превращений. Том 2
    добавлено 2019-12-27 12:10:02
    Глобальная системы химических соединений включает в себя матричный способ описания совокупности известных веществ на осн...
    Глобальная система химических соединений. Матрица соединений второго ранга и алгоритмы их превращений. Том 1
    добавлено 2019-12-27 13:46:01
    Глобальная системы химических соединений включает в себя матричный способ описания совокупности известных веществ на осн...
    Теория игр: как просчитать ходы друг друга?
    добавлено 2019-09-02 14:08:05
    Теория игр – это математическая теория стратегий, которая предполагает, что есть минимум два игрока и результат игры опр...
    Игра разума. Как Клод Шеннон изобрел информационный век
    добавлено 2018-11-30 13:37:25
    Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое са...
    Классификация счётных моделей полных теорий. Часть 2
    добавлено 2018-11-30 14:16:24
    Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге...
    Классификация счётных моделей полных теорий. Часть 1
    добавлено 2018-11-30 14:15:45
    Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В моног...
    Игра разума. Как Клод Шеннон изобрел информационный век
    добавлено 2018-11-08 10:04:24
    Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое са...
    Математические игры
    добавлено 2018-07-06 12:38:49
    Вышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным популяризатором наук...
    Путеводитель для влюбленных в математику
    добавлено 2018-07-03 18:53:02
    Принято считать, что математика – наука точная и совершенно скучная, но Эдвард Шейнерман берется доказать обратное. Он у...
    Теоретические основы информатики
    добавлено 2018-04-25 10:42:16
    В издании рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая ...
    Дискретная математика
    добавлено 2018-01-22 13:52:13
    Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математ...
    Математическая логика. Курс лекций и практических занятий
    добавлено 2018-01-10 16:13:07
    В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление...
    Математические развлечения и игры
    добавлено 2018-06-01 13:22:51
    Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберт...
    Практикум по математическим основам информатики. Часть 2. Введение в математическую логику
    добавлено 2017-08-25 16:36:44
    Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны осн...
    Математическая логика и теория алгоритмов
    добавлено 2017-08-25 12:25:14
    Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и и...
    История с узелками, или Все не так, как кажется (сборник)
    добавлено 2017-07-28 11:49:09
    Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухи...
    Задачи по дискретной математике
    добавлено 2017-05-31 23:26:58
    В учебном пособии даны задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со специфи...
    Алгоритмы и вычислимость в человеческом познании
    добавлено 2017-01-26 13:51:47
    Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается...
    Изменчивая природа математического доказательства. Доказать нельзя поверить
    добавлено 2016-07-12 02:52:39
    Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллю...
    Задачи по теории множеств, математической логике и теории алгоритмов
    добавлено 2016-03-31 14:25:24
    В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга п...
    Математические методы в приложениях. Дискретная математика
    добавлено 2016-07-31 22:27:00
    В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, бул...
    Лекции по математической логике и теории алгоритмов
    добавлено 2016-02-26 16:45:41
    Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено доста...
    Квантовая логика
    добавлено 2016-01-17 19:17:23
    Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и филос...
    Математическая логика и теория алгоритмов для программистов
    добавлено 2015-10-04 16:49:02
    Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения до...
    Рассказы о множествах
    добавлено 2015-11-29 01:04:09
    В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через ...
    Четыре алгоритмических лица случайности
    добавлено 2015-10-11 13:39:30
    Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Д...
    Популярная логика и занимательные задачи
    добавлено 2015-12-17 13:04:31
    Логика – это наука о формах и законах правильного мышления. Что такое правильное мышление, и какое мышление можно назват...
    Математика – это просто 2.0. Думай математически
    добавлено 2015-08-04 01:01:20
    «Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается ...
    Номерной подход к определению принадлежности функций алгебры логики к классу монотонных функций
    добавлено 2015-05-27 14:14:32
    В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из ло...
    Практические занятия по элементарной математике (2-й курс)
    добавлено 2014-12-28 22:18:34
    В учебном пособии представлены материалы по арифметике (четность, делимость), логике, простейшим алгоритмам, теории инфо...
    Теория игр. Искусство стратегического мышления в бизнесе и жизни
    добавлено 2014-12-09 11:28:11
    Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника вкупе со знанием т...
    Прикладная логика
    добавлено 2013-07-05 14:22:52
    Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его д...
    Введение в логику и научный метод
    добавлено 2012-09-30 20:22:13
    На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских ву...
    Страницы: 12
    Показывать по
    Рейтинг@Mail.ru