Гудстейн Р.Л. Рекурсивный математический анализ

формат djvu
размер 3.15 МБ
добавлен 24 сентября 2010 г.

М. , 1970. 472 с.
Рекурсивная теория чисел.
Определение по рекурсии.
Исчисление равенств.
Логические константы.
Основные теоремы арифметики.
Формализация примитивно рекурсивной арифметики.
Сведения к примитивной рекурсии.
Устранение параметров.
Гёделевская нумерация и неполнота арифметики.
Рекурсивный анализ.
Рекурсивная сходимость.
Рекурсивная и относительная непрерывность.
Рекурсивная и относительная дифференцируемость.
Относительный интеграл.
Элементарные функции.
Трансфинитные ординалы.
Рекурсивная иррациональность и трансцендентность.
Разрешимый фрагмент рекурсивной арифметики.
Конструктивистская теория плоских кривых.
Формализация рекурсивной арифметики.
Эквивалентность некоторых формализации примитивно рекурсивной арифметики.

Смотрите также

Гайштут А.Г. Математика в логических упражнениях

формат djvu
размер 1.83 МБ
добавлен 23 января 2009 г.

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

Гудстейн Р.Л. Математическая логика

формат djvu
размер 3.68 МБ
добавлен 22 ноября 2010 г.

М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при неболь...

Джонстон П. Теория топосов

формат djvu
размер 6 МБ
добавлен 20 февраля 2011 г.

М.: Наука, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы. Категорный анализ логики». Для математиков разных специальностей, аспирантов и студентов университетов. Оглавление: Предварительные сведения. Элементарные топосы. Внутренняя теория категорий. Топол...

Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ

формат djvu
размер 7.77 МБ
добавлен 07 марта 2011 г.

М.: Едиториал УРСС, 2003. - 544 с. А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина «Математический интуициониз...

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств

формат djvu
размер 3.26 МБ
добавлен 23 апреля 2011 г.

М.: Наука, 1979. - 256 с. Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специа...

Кочергин В.И. Теория многомерных цифровых множеств в приложениях к электроприводам и системам электропитания

формат pdf
размер 6.52 МБ
добавлен 18 октября 2011 г.

Томск: Изд-во Том. ун-та, 2002. – 444 с. ISBN 5-7511-1583-Х Рассматривается широкий круг вопросов, связанных с синтезом цифровых устройств и систем электропитания, который выполняется на основе разработанного автором метода многомерных цифровых множеств – аналога аналитической теории нумераций. Основанием этого метода является идея упаковки пространства, которая была предложена в «новой геометрии» основоположником современной структурной крист...

Маркин П.М. Математическая логика

формат doc
размер 1.22 МБ
добавлен 04 января 2012 г.

Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Математическая логика и основания математики (23 выпуска)

формат djvu
размер 105.57 МБ
добавлен 05 ноября 2010 г.

М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

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

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Слупецкий Е., Борковский Л. Элементы математический логики и теории множеств

формат djvu
размер 2.33 МБ
добавлен 10 сентября 2010 г.

Перевод с польского О. Ф. Серебрянникова, Издательство Прогресс, Москва, 1965. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.