Математика

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

Подзоров С. Ю. Теория алгоритмов. Полный конспект лекций. - НГУ, 2003 – 2004. - 130 с. Слово "алгоритм" возникло довольно поздно (оно образовано от имени арабского математика аль-Хорезми, жившего в 9 веке н. э.) Несмотря на это, понятие алгоритма является одним из базовых понятий математики. Прежде чем вести разговор об …

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

Плиско В.Е. Теория алгоритмов. Курс лекций

02.08.201327.01.2018

Плиско В.Е. Теория алгоритмов. Курс лекций. - 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.201325.11.2019

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

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

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

02.08.201316.03.2018

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