51 М181 Малаховский, Владислав Степанович. Введение в математику [Текст] : [Учебное издание] / В. С. Малаховский; Худож. С. И. Соболев. - Калининград : Янтарный сказ, 1998. - 439, [1] с. : ил. - Библиогр.: с. 428-433 . -Алф. указ.: с. 434-439. - ISBN 5-7406-0230-0 : 39.04 р. Рубрики: Математика--Учебные издания Кл.слова (ненормированные): введение в математику -- математика для аспирантов -- комплексные числа -- действительные числа -- натуральные числа -- алгебраические структуры -- элементарная геометрия -- геометрия -- линейные уравнения -- иррациональные уравнения -- показательные уравнения -- логарифмические уравнения -- векторная алгебра -- аналитическая геометрия -- функции -- числовые последовательности -- числовые ряды -- производные -- исследование функций -- построение графиков функций -- интегралы -- дифференциальные уравнения -- топология -- риманова геометрия -- геометрия Лобачевского -- геометрия Римана -- математический анализ -- комбинаторика -- матлогика -- планиметрия -- стереометрия Аннотация: В книге изложен широкий круг вопросов, дающих достаточно полное представление о математике: числовые сножества, элементы комбинаторики и математической логики, основные алгебраические структуры, алгебраические и трансцендентные уравнения, основные понятия планиметрии и стереометрии, математического анализа и дифференциальных уравнений, векторная алгебра, элементы аналитической геометрии. В ней рассмотрены также основные принципы дедуктивного построения математической теории, группы преобразований и геометрии, определяемые ими, включая геометрию Лобачевского и Римана. Большое внимание уделяется историческим вопросам развития математической науки и доступности для восприятия излагаемых математических понятий. Книга рассчитана на широкий круг читателей: учащихся и преподавателей школ, студентов, аспирантов и преподавателей вузов, научных работников, интересующихся математикой. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Соболев, С. И. \худ.\ Экземпляры всего: 3 ЧЗ (1), АБ (2) Свободны: ЧЗ (1), АБ (2) |
51 К56 Ковалева, Лидия Федоровна. Математическая логика [Текст] : учебное пособие; [Руководство по изучению дисциплины; Сб. задач] / Л. Ф. Ковалева, Э. Л. Балюкевич ; МО РФ; Международный образовательный консорциум "Открытое образование"; Московский гос. ун-т экономики, статистики и информатики; АНО "Евразийский открытый ин-т". - Москва : [б. и.], 2003. - 103, [1] с. - Библиогр. : с. 51, 58. - ISBN 5-7764-0396-0 : 68.50 р. Рубрики: Математическая логика--Учебники и пособия Кл.слова (ненормированные): алгебра высказываний -- логические операции -- импликация -- логические отношения -- дедукция -- теорема дедукции -- математическая логика -- логика математическая -- задачи по математической логике -- матлогика Аннотация: Данное пособие расчитано на читателя, впервые знакомящегося с математической логикой - формальным математическим аппаратом, изучающим различные способы логических рассуждений. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Балюкевич, Э. Л. Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
51 С81 Стойлова, Любовь Петровна. Математика [Текст] : [учеб. пособие для сред. пед. учеб. заведений] / Л. П. Стойлова. - 3-е изд., испр. - Москва : Академия, 1998. - 453, [1] с. : ил. - (Педагогическое образование). - ISBN 5-7695-0224-X (в пер.) : 20.00 р., 40.50 р. Рубрики: Математика--Учебники и пособия Кл.слова (ненормированные): математика -- специальность Педагогика и методика начального образования -- начальный курс математики -- основания математики -- элементы логики -- матлогика -- математическая логика -- множества -- теория множеств -- математические понятия -- понятия математические -- математические предложения -- теоремы -- математическое доказательство -- математические задачи -- задачи по математике -- текстовые задачи -- комбинаторные задачи -- правило суммы -- решение математических задач -- решение задач -- алгоритмы -- теория алгоритмов -- элементы алгебры -- алгебра -- соответствия между множествами -- числовые функции -- функции числовые -- отношения на множестве -- бинарное отношение -- алгебраические операции -- выражения математические -- числовые выражения -- выражения с переменными -- неравенства -- уравнения -- натуральные числа и нуль -- нуль и натуральные числа -- аксиоматика -- аксиомы -- числа -- теория чисел -- целые неотрицательные числа -- неотрицательные числа -- десятичная система счисления -- счисления системы -- системы счисления -- делимость чисел -- простые числа -- положительные рациональные числа -- рациональные числа -- десятичные дроби -- дроби -- геометрия -- геометрия Лобачевского -- Лобачевского геометрия -- гиперболическая геометрия -- геометрические фигуры -- геометрические тела и фигуры -- элементарная геометрия -- пространственные фигуры на плоскости -- геометрические преобразования -- преобразования геометрические -- геометрические величины -- измерение геометрических величин -- измерение геометрических тел -- площадь геометрической фигуры -- площадь фигуры геометрической -- вычисление площадей Аннотация: В учебнике изложены научные основы начального курса математики. Профессионально-педагогическая направленность книги обеспечивается за счёт тщательного отбора теоретического материала и методических подходов к его изложению. Теоретическая часть дополнена тренировочными упражнениями и заданиями для самостоятельной работы. Книга может быть использована также студентами педколледжей и училищ, учителями начальных классов. Держатели документа: Библиотека НТГСПА Экземпляры всего: 29 АБ (28), ЧЗ (1) Свободны: АБ (28), ЧЗ (1) |
51 С81 Стойлова, Любовь Петровна. Математика [Текст] : [учеб. для вузов по спец. «Педагогика и методика нач. образования»] / Л. П. Стойлова. - Москва : Академия, 2002. - 420, [1] с. : ил. - (Высшее образование). - ISBN 5-7695-0456-0 (в пер.) : 115.00 р., 135.00 р. Рубрики: Математика--Учебники и пособия Кл.слова (ненормированные): математика -- начальный курс математики -- основания математики -- элементы логики -- матлогика -- математическая логика -- множества -- теория множеств -- математические понятия -- понятия математические -- математические предложения -- теоремы -- математическое доказательство -- математические задачи -- задачи по математике -- текстовые задачи -- комбинаторные задачи -- правило суммы -- решение математических задач -- решение задач -- алгоритмы -- теория алгоритмов -- элементы алгебры -- алгебра -- соответствия между множествами -- числовые функции -- функции числовые -- отношения на множестве -- бинарное отношение -- алгебраические операции -- выражения математические -- числовые выражения -- выражения с переменными -- неравенства -- уравнения -- натуральные числа и нуль -- нуль и натуральные числа -- аксиоматика -- аксиомы -- числа -- теория чисел -- целые неотрицательные числа -- неотрицательные числа -- десятичная система счисления -- счисления системы -- системы счисления -- делимость чисел -- простые числа -- положительные рациональные числа -- рациональные числа -- десятичные дроби -- дроби -- геометрия -- геометрия Лобачевского -- Лобачевского геометрия -- гиперболическая геометрия -- геометрические фигуры -- геометрические тела и фигуры -- элементарная геометрия -- пространственные фигуры на плоскости -- геометрические преобразования -- преобразования геометрические -- геометрические величины -- измерение геометрических величин -- измерение геометрических тел -- площадь геометрической фигуры -- площадь фигуры геометрической -- вычисление площадей Аннотация: В учебнике изложены научные основы начального курса математики. Профессионально-педагогическая направленность книги обеспечивается за счёт тщательного отбора теоретического материала и методических подходов к его изложению. Теоретическая часть дополнена тренировочными упражнениями и заданиями для самостоятельной работы. Книга может быть использована также студентами педколледжей и училищ, учителями начальных классов. Держатели документа: Библиотека НТГСПА Экземпляры всего: 99 АБ (98), ЧЗ (1) Свободны: АБ (68), ЧЗ (1) |
51 М13 Мадер, Виктор Викторович. Школьнику об алгебре логики [Текст] : книга для внеклас. чтения учащихся 10–11-х кл. сред. шк. / В. В. Мадер. - Москва : Просвещение, 1993. - 126, [2] с. : ил. ; 20 см. - (Мир знаний). - ISBN 5-09-003544-X (в обл.) : 68.00 р. Рубрики: Алгебраическая логика--Книги для внеклассного чтения Кл.слова (ненормированные): математика -- алгебра логики -- алгебраическая логика -- математическая логика -- матлогика -- логика математическая -- логические задачи -- занимательная математика -- математика занимательная Аннотация: Книга знакомит читателя с аппаратом алгебры логики, содержит так называемые "логические задачи", а также задачи, посвященные анализу умозаключений. В приложении рассмотрены различные парадоксы, приведены занимательные сведения из истории математики и логики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Кованов, Гелий Николаевич \худож.\ Экземпляры всего: 3 АБ (1), МБ (2) Свободны: АБ (1), МБ (2) |
51 Н64 Никольская, Инна Львовна. Учимся рассуждать и доказывать [Текст] : книга для учащихся 6–10-х кл. сред. шк. / И. Л. Никольская, Е. Е. Семенов. - Москва : Просвещение, 1989. - 190, [2] с. : ил. ; 22 см. - ISBN 5-09-000591-5 (в пер.) : 1.00 р. Есть автограф: Экз. 460256 : Семенов, Ефим Евстафьевич Рубрики: Математическая логика (д. л.) Кл.слова (ненормированные): математическая логика -- матлогика -- логика математическая -- правильное рассуждение -- рассуждение -- доказательство -- аргументация -- учимся рассуждать -- учимся доказывать -- учимся анализировать -- умение рассуждать -- умение доказывать -- умение анализировать -- математика -- 6 класс -- 7 класс -- 8 класс -- 9 класс -- 10 класс Аннотация: Помочь школьнику научиться рассуждать, доказывать, вести аргументированный спор, проводить анализ, обобщение, конкретизацию, использовать индукцию, наблюдение, аналогию — главная цель этой книги. Материал книги подан в виде небольших рассказов, диалогов, бесед, задач, загадок. Изложение ведется в занимательной форме. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Семенов, Ефим Евстафьевич; Галкин, В. А. \худож.\; Аратовский, Юрий Михайлович \худож.\; Титков, Е. П. \худож.\ Экземпляры всего: 5 АБ (4), МБ (1) Свободны: АБ (4), МБ (1) |
51 К268 Карри, Хаскелл Брукс. Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : табл., черт. ; 22 см. - Доп. тит. л. англ. - Библиогр.: с. 518-547. - Указ. символов, терминов и именной.: с. 548-567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. - (в пер.) : 2.64 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- матлогика -- логика математическая -- формальные системы -- эпитеория -- реляционная логическая алгебра -- логическая алгебра -- теория импликации -- отрицание -- кванторы -- модальности -- математика Аннотация: Книга американского учёного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич \ред. пер.\; Curry, Haskell Brooks; Curry, H. B. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |