Дискретная математика, мат. логика, теория алгоритмов, численные методы

Плиско В. Е. Математическая логика. Курс лекций ОНЛАЙН

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Плиско В. Е. Математическая логика. Курс лекций ОНЛАЙН

02.08.201327.01.2018

Плиско В. Е. Математическая логика. Курс лекций. - 2004. - 86 с. Потребность в такой науке возникла в математике в конце XIX - начале XX веков. К концу XIX века в работах Коши, Больцано, Вейерштрасса, Кантора, Дедекинда и др. была завершена так называемая арифметизация математического анализа. На место туманной геометрической …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Пензов Ю.П. Элементы математической логики и теории множеств ОНЛАЙН

02.08.201327.01.2018

Пензов Ю.П. Элементы математической логики и теории множеств. - Саратов, Изд. Саратовского ун-та, 1968. -144 с. Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Новиков П.С. Элементы математической логики ОНЛАЙН

02.08.201327.01.2018

Новиков П.С. Элементы математической логики. - М., 1973, 400 с. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

02.08.201316.03.2018

Никольская И.Л. Математическая логика. - М., 1981, 127 с Книга предназначена для учащихся техникумов по специальности «Прикладная математика» и содержит теоретический материал, соответствующий программе курса «Математическая логика», а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Нагель Э., Ньюмен Дж. Р. Теорема Гёделя ОНЛАЙН

02.08.201327.01.2018

Э. Нагель, Дж. Р. Ньюмен. Теорема Гёделя. - Красанд, 2010 г. -121 с.(Науку - всем! Шедевры научно-популярной литературы) Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Михайлов А.Б. и др. Упражнения по основам математической логики. Формальные системы первого порядка ОНЛАЙН

02.08.201326.01.2018

Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета - Санкт-Петербург: РГПУ. 1997. - 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгорифмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Мендельсон Э. Введение в математическую логику ОНЛАЙН

02.08.201310.03.2018

Мендельсон Э. Введение в математическую логику. - М., 1971. - 322 с. Дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей …