Математическая логика
Математика
  • формат djv
  • размер 3.16 МБ
  • добавлен 04 октября 2009 г.
Кац М., Улам С. Математика и логика
М., Мир, 1971г. 252 с.
Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук.
Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику, так и все использующие математические методы направления научной мысли, а также обсуждению возможного будущего математики.
Интересная по содержанию и блестящая по форме книга М. Каца и С. Улама бесспорно привлечёт внимание читателей самых разных кругов.

Примеры.
Бесконечность множества простых чисел.
Иррациональность числа ?2.
Приближения рациональными числами.
Трансцендентные числа: канторовское доказательство.
Ещё некоторые доказательства невозможности.
Лемма Шпернера.
Искусство и наука счёта.
Отступление о числовых системах и о функциях.
Искусство и наука счёта (продолжение).
Вероятность и независимость.
Мера.
Ещё о теории вероятностей.
Группы и преобразования.
Группы гомологий.
Векторы, матрицы и геометрия.
Специальная теория относительности как пример геом. подхода в физике.
Преобразования, потоки и эргодичность.
Ещё об итерации и композиции отображений.
Легко ли доказать очевидное?
Темы, тенденции и синтез.
Связь с другими науками.
Итоги и перспективы.

Рассчитана на широкий круг читателей.
Похожие разделы
Смотрите также

Гордон Е.И. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 529.58 КБ
  • добавлен 24 сентября 2010 г.
Нижний новгород, 1998. 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.

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

Реферат
  • формат doc
  • размер 309.5 КБ
  • добавлен 06 апреля 2009 г.
Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Дрозд Ю. Основи математичної логіки (на укр. языке)

  • формат pdf
  • размер 664.47 КБ
  • добавлен 01 ноября 2010 г.
К.: Київський університет імені Т. Шевченка, 2003. - 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.

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

  • формат djvu
  • размер 6.64 МБ
  • добавлен 28 декабря 2008 г.
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ма...

Лекции по математической логике

Статья
  • формат doc
  • размер 47.43 КБ
  • добавлен 20 декабря 2008 г.
Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления. Полнота. Логика предикатов. Лингвистические соображения, формулы. Общезначимость. Следование. Доказуемость и выводимость. Теорема о дедукции. Непротиворе...

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

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

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

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

Мельников Г.П. Азбука математической логики

  • формат djvu
  • размер 1.79 МБ
  • добавлен 28 ноября 2009 г.
М.: Знание, 1967. - 104 с. Небольшое за объемом пособие, доступное даже тем, кто не имеет значительной математической подготовки. Состоит из трех разделов: "Общие исходные понятия", "Логические отношения и законы математической логики", "Логика и математика".

Никольская И.Л. Математическая Логика

  • формат djvu
  • размер 1.06 МБ
  • добавлен 09 августа 2009 г.
Учебник. - М., Высш. школа, 1981, 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретич. материал, соответств. программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно и последовательно изложен материал. Предназначается для учащихся средних специ...

Таланов В.А. Математическая логика и модели вычислений

  • формат djvu
  • размер 2.61 МБ
  • добавлен 28 октября 2011 г.
Учебное пособие.- Нижний Новгород: изд. ННГУ, 1994. – 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.