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 В623 Воднев, Владимир Трофимович. Основные математические формулы [Текст] : справочник / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - Изд. 2-е, перераб. и доп. - Минск : Вышэйшая школа, 1988. - 268, [1] с. : граф., рис. - Предм. указ.: с.256. - ISBN 5-339-00083-4 (в пер.) : 1.10 р. Рубрики: Математические формулы Кл.слова (ненормированные): элементарная геометрия -- уравнения -- неравенства -- аналитическая геометрия -- высшая алгебра -- дифференциальное исчисление -- дифференциальная геометрия -- интегральное исчисление -- комплексный анализ -- элементы теории поля -- тензорное исчисление -- дифференциальные уравнения -- математическая логика -- теория вероятностей -- математическая статистика Аннотация: В справочнике собраны основные формулы из начальных разделов математики, а также дифференциального и интегрального исчисления, аналитической и дифференциальной геометрии, высшей алгебры, комплексного и векторного анализа, логики, теории вероятностей и математической статистики. Для студентов вузов и техникумов, инженеров и техникумов, а также учащихся старших классов, абитуриентов и лиц, занимающихся математическим самообразованием. Первое издание вышло в 1980 г. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Наумович, Адольф Федорович; Наумович, Нил Федорович; Богданов, Ю. С. \ред.\ Экземпляры всего: 3 АБ (3) Свободны: АБ (3) |
51 Г474 Гильберт, Давид. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1979. - 557 с. ; 22 см. - (Математическая логика и основания математики). - На пер. авт. и загл. не указаны. - Алф. указ.: с. 551-557. - Пер. изд. : Crundlagen der Mathematik. I / D. Hilbert und P. Bernays. - 2. Aufl. - Berlin etc, 1968. - (в пер., в суперобл.) : 2.70 р. Есть автограф: Экз. 460250 : Студенты 43-й гр. математиков ФМФ Рубрики: Математическая логика Кл.слова (ненормированные): математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики -- формальная аксиоматика -- элементарная арифметика -- финитный способ рассуждений -- исчисление высказываний -- исчисление предикатов -- бесконечные индивидные области -- рекурсивные определения -- математическое доказательство Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Бернайс, Пауль; Bernays P.; Нагорный, Николай Макарьевич \пер.\; Адян, Сергей Иванович \ред., предисл.\; Hilbert D.; Hilbert, D. ; Bernays, P. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |
51(07) Е455 Екимова, Марина Алексеевна. Задачи на разрезание [Текст] / М. А. Екимова, Г. П. Кукин. - Изд. 2-е, стер. - Москва : МЦНМО, 2005. - 118, [2] с. : ил. - (Секреты преподавания математики). - Библиогр.: с. 118. - ISBN 5-94057-051-8 (в обл.) : 49.00 р. Рубрики: Математика--Методические пособия Кл.слова (ненормированные): логические задачи -- математическая логика -- головоломки -- развивающие задачи Аннотация: Эта книга является первой книгой серии "Секреты преподавания математики", призванной изложить о обобщить накопленный опыт в области математического образования. Данный сборник представляет собой одну из частей курса "Развивающая логика в 5-7 классах". Ко всем задачам, пиведенным в книге, даны решения или указания. Книга рекомендуется для внеклассной работы по математике. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Кукин, Георгий Петрович Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 (в пер.) : 552.00 р. Рубрики: Математическая логика--Учебники и пособия Кл.слова (ненормированные): математическая логика -- логика Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
Х Л683 Лобовиков, Владимир Олегович. Математическая логика естественного права и политической экономии [Текст] : Математическая философия экономики и права : ч. 1, 2 / В. О. Лобовиков ; [науч. ред. Н. В. Бряник] ; РАН УрО, Ин-т философии и права. - Екатеринбург : УрО РАН, 2005. - 657, [1] с. - Библиогр.: с. 611-653 (550 назв.). - ISBN 5-7691-1587-4 (в пер.) : [320.00] р. Есть автограф: Экз. 447855 : Лобовиков, Владимир Олегович (д-р философ. наук) Содержание: Критика политической экономии: совершенная конкуренция и абсолютная монополия; состояние равновесия и предпринимательство; laissez faire и государственное управление рынком : часть 1. - С .24-331 Математическая модель естественного права и политической экономии частной собственности : часть 2. - С .332-610 Рубрики: Естественное право--Математическое моделирование Политическая экономия--Математическое моделирование Экономическая теория--Взаимосвязь с другими науками Кл.слова (ненормированные): естественное право -- политическая экономия -- политэкономия -- математическая логика -- математико-философские исследования -- философия права -- математическая философия -- экономика и право -- право и экономика -- математическая аксиология -- алгебра поступков -- дискретная математическая модель естественного права -- математическая модель естественного права -- математическое моделирование философии права -- собственность -- частная собственность Аннотация: Монография посвящена исследованию формально-логических противоречий антиномий, возникающих на стыке экономики и права а также изучению возможностей разрешения этих противоречий с помощью логико-математических моделей взаимодействия указанных дисциплин. В книге впервые конструируются и обсуждаются простейшие дискретные математические модели объединения морали, права и экономики. Предметом логико-математического моделирования оказывается морально-правовой аспект экономической деятельности. Право трактуется как единство, синтез (отношение соответствия) позитивного, естественного и обычного права. В качестве простейшего искусственного языка теоретического описания этого единства используется алгебра поступков - двузначная математическая модель естественного права как системы. В монографии впервые предлагается и всесторонне изучается некий вариант математической логики политической экономии. Излагается оригинальная концепция роли частных монополий в рыночной экономике. Строго обосновывается возможность, и точно указываются границы (условия) адекватности "экономического экуменизма", т.е. логически непротиворечивого синтеза классического либерализма с кейнсианством. Всесторонне исследуется математическая логика естественного права собственности вообще и частной собственности в особенности. Книга адресована научным работникам, преподавателям и студентам юридических, экономических и философских факультетов, теоретикам практикам управления. Она может быть использована в качестве учебного пособия по спецкурсам лекций "Математические модели социальных и политических процессов", "Математическая логика политической экономии", "Математическое правоведение", "Математическая этика", "Математическая философия правового регулирования экономики", "Философия права", "Логика права", "Математические модели в теории управления", "Философия экономики", "Математические модели системы философских дисциплин". Держатели документа: Библиотека НТГСПА Доп.точки доступа: Бряник, Надежда Васильевна \ред.\; Институт философии и права Уральского отделения Российской академии наук (Екатеринбург) Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
517.8 И201 Иванов, Борис Николаевич. Дискретная математика. Алгоритмы и программы. Расширенный курс [Текст] : [учебник для вузов по специальности "Прикладная математика и информатика" / Б. Н. Иванов. - Москва : Известия, 2011. - 511 с. - ISBN 978-5-206-00824-1 (в пер.) : 670.00 р. Рубрики: Дискретная математика--Учебники и пособия Вычислительная математика--Учебники и пособия Кл.слова (ненормированные): системы счисления -- булева алгебра -- комбинаторные схемы -- математическая логика -- методы подсчета и оценивания -- комбинаторные объекты -- абстрактные объекты -- теория графов -- алгоритмы графов -- теория групп -- теория чисел -- теория кодирования Аннотация: Книга посвящена современному курсу дискретной математики. Теоретические основы курса сопровождаются практически значимыми алгоритмами, реализованными в конкретных компьютерных программах. Книгу можно рассматривать в качестве хорошего справочника методов и алгоритмов дискретной математики, широко применяемых в практическом программировании. Пособие рассчитано на студентов специальностей, учебные планы которых предполагают изучение каких-либо разделов курса дискретной математики, в первую очередь на математиков-прикладников, а также программистов, занятых разработкой прикладного программного обеспечения. Держатели документа: Библиотека НТГСПА Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
517.8 К653 Конышева, Людмила Константиновна. Дискретная математика [Текст] : учебное пособие : [для вузов по спец. 050501.65 Проф. обучение (по отраслям)] / Л. К. Конышева ; М-во образования и науки Рос. Федерации, ФГАОУ ВПО "Рос. гос. проф.-пед. ун-т", Учреждение Рос. акад. образования "Урал. отд-ние". - Екатеринбург : РГППУ, 2010. - 205 с. : ил. ; 29 см. - Библиогр.: с. 200. - Предм. указ.: с. 201-203. - 500 экз. - ISBN 978-5-8050-0394-4 (в обл.) : 86.30 р. Приложение: Задачник по дискретной математике : [учеб.-метод. пособие для вузов по спец. 050501.65 Проф. обучение (по отраслям)] / Л. К. Конышева, В. В. Мешков. - Екатеринбург : РГППУ, 2010. - 139. - ISBN 978-5-8050-0376-0. Шифр 517.8/К653 Рубрики: Дискретная математика--Учебники и пособия Кл.слова (ненормированные): дискретная математика -- множества -- бинарные отношения -- комбинаторика -- алгебраические структуры -- булевы функции -- математическая логика -- теория графов Аннотация: В пособии рассмотрены основные разделы дискретной математики: теория множеств, бинарные отношения, комбинаторика, алгебраические структуры, математическая логика, теория булевых функций, теория графов и алгоритмы на графах. Предназначено студентам специальностей 050501 Профессиональное обучение (030501.06, 030502.06, 030501.08, 030502.08, 030504.08, 030505.08, 030501.09, 030503.09, 030501.15, 030501.19, 030503.15, 030504.19), 080801 Прикладная информатика (351400). Держатели документа: Библиотека НТГСПА Доп.точки доступа: Министерство образования и науки Российской Федерации (Москва); Российский государственный профессионально-педагогический университет (Екатеринбург); Уральское отделение Российской академии образования (Екатеринбург) Экземпляры всего: 10 АБ (10) Свободны: АБ (10) |
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) |
512 Х265 Хаусдорф, Феликс (1868-1942). Теория множеств [Текст] / Ф. Хаусдорф ; пер. с нем. Н. Б. Веденисова ; под ред. и с доп.: П. С. Александрова, А. Н. Колмогорова. - Москва ; Ленинград : ОНТИ, Глав. ред. техн.-теоретич. лит-ры, 1937. - 304 с. : черт. ; 23 см. - Библиогр.: "Монографии и учебники" (23 назв.) - Указ. лит-ры: с. 291-295. - (в пер.) : [1.00] р. Рубрики: Теория множеств Теория множеств--Библиография Математика--Математическая логика Кл.слова (ненормированные): алгебра множеств -- алгебраическая логика -- действительные функции -- дескриптивная теория множеств -- кардинальные числа -- математическая логика -- метрические пространства -- множества -- основания математики -- порядковые типы -- порядковые числа -- системы множеств -- топологические пространства Держатели документа: Библиотека НТГСПА Доп.точки доступа: Веденисов, Николай Борисович (1905-1941) \пер.\; Александров, Павел Сергеевич (проф. ; 1896-1982) \ред.\; Колмогоров, Андрей Николаевич (проф. ; 1903-1987) \ред.\ Экземпляры всего: 1 РедФ (1) Свободны: РедФ (1) |