Content










защитный код
Advertisement

Основания математики. Математическая логика

<b>Феликс Хаусдорф</b><br />
<span style='color:red;'>Теория множеств(временно отсутствует)</span>

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа, которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств. Данная работа оказала вли

<b></b><br />
<span style='color:red;'>Теория множеств(временно отсутствует)</span>

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868--1942), которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств. Данная работ

<b>Геннадий Мельников</b><br />
<span style='color:red;'>Азбука математической логики(временно отсутствует)</span>

Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д.), а затем эти понятия связываются с нек

<b></b><br />
<span style='color:red;'>О математических структурах(временно отсутствует)</span>

В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными примерами. Книга рассчитана на широкий круг читателей, интер

<b>В. Босс</b><br />
<span style='color:red;'>Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие(временно отсутствует)</span>

Настоящий том "Лекций" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее современного (аксиоматического) состояния. Наряду с простейшими понятиями и результатами о манипулировании бесконечностями рассматриваются довольно тонкие

<b>Ричард Дедекинд</b><br />
<span style='color:red;'>Что такое числа и для чего они служат?(временно отсутствует)</span>

Работа Дедекинда "Что такое числа и для чего они служат?", изданная в 1888 году в Германии, содержит изложение его теории множеств как числовых систем, созданной в один период с теорией множеств Георга Кантора и в совместных с ним спорах и обсуждениях. Кн

<b>Софья Яновская</b><br />
<span style='color:red;'>Лекции по алгебре логики(временно отсутствует)</span>

Софья Александровна Яновская - советский математик, логик, философ, доктор физико-математических наук. Ее труды посвящены проблемам истории, методологии и философии математики. С.А.Яновская внесла большой вклад в развитие математической логики в нашей стр

<b>Готлоб Фреге</b><br />
<span style='color:red;'>Логика и логическая семантика(временно отсутствует)</span>

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба, труды которого по своему значению сопоставимы с логическим наследи

<b>Готлоб Фреге</b><br />
<span style='color:red;'>Логика и логическая семантика(временно отсутствует)</span>

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по своему значению сопоставимы с логическим н

<b>В. Босс</b><br />
<span style='color:red;'>Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Учебное пособие(временно отсутствует)</span>

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых

<b>Сергей Гашков</b><br />
<span style='color:red;'>Сложение однобитных чисел. Треугольник Паскаля, салфетка Серпинского и теорема Куммера(временно отсутствует)</span>

В книге рассказывается о любопытной связи задачи о сложении чисел в двоичной записи с алгеброй логики, многочленами Жегалкина, треугольником Паскаля, салфеткой Серпинского и теоремой Куммера о делимости биномиальных коэффициентов. Все необходимое для пони

<b>Максим Бабенко</b><br />
<span style='color:red;'>Введение в теорию алгоритмов и структур данных.(временно отсутствует)</span>

В курсе дается краткое изложение классических способов построения и анализа алгоритмов. Первая часть курса, представленная в данном пособии, в большей степени сконцентрирована на базовых структурах данных, а также задачах сортировки и поиска. Теоретически

<b>Игорь Цветков</b><br />
<span style='color:red;'>Обращающие и удваивающие самопополняемые алгорифмы(временно отсутствует)</span>

Решается задача получения обращений и удвоений слов с использованием различных самопополняемых алгорифмов - предложенных автором модификаций нормального алгорифма Маркова, схемы которых в процессе их применения могут изменяться. Разработаны семь самопопол

<b>Игорь Цветков</b><br />
<span style='color:red;'>Обращающие и удваивающие самопополняемые алгорифмы(временно отсутствует)</span>

Решается задача получения обращений и удвоений слов с использованием различных самопополняемых алгорифмов - предложенных автором модификаций нормального алгорифма Маркова, схемы которых в процессе их применения могут изменяться. Разработаны семь самопопол

<b>В. Босс</b><br />
<span style='color:red;'>Лекции по математике. Перебор и эффективные алгоритмы. Том 10(временно отсутствует)</span>

Настоящий том лекций посвящен теории сложности алгоритмов в той ее части, где речь идет о противостоянии P- и NP-задач. В резонанс с проблемой "P против NP" входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов,

<b>Рэймонд М. Смаллиан</b><br />
<span style='color:red;'>Вовеки неразрешимое. Путь к Геделю через занимательные загадки(временно отсутствует)</span>

Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному чи

<b>Владимир Кановей</b><br />
<span style='color:red;'>Современная теория множеств. Абсолютно неразрешимые классические проблемы(временно отсутствует)</span>

В математике XX века произошли принципиальные открытия, которые, по-видимому, не получили широкой известности среди математиков и философов. Эти открытия являются основным предметом изложения в нашей книге. 1) Оказалось возможным разумное определение слу

<< В начало < Предыдущая 1 2 3 Следующая > В конец >>
Всего 1 - 20 из 57