Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
в найденном
 Найдено в других БД:Картотека статей (15)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 10
 1-10    11-15 
1.
   51
   К56

    Ковалева, Лидия Федоровна.
    Математическая логика [Текст] : учебное пособие; [Руководство по изучению дисциплины; Сб. задач] / Л. Ф. Ковалева, Э. Л. Балюкевич ; МО РФ; Международный образовательный консорциум "Открытое образование"; Московский гос. ун-т экономики, статистики и информатики; АНО "Евразийский открытый ин-т". - Москва : [б. и.], 2003. - 103, [1] с. - Библиогр. : с. 51, 58. - ISBN 5-7764-0396-0 : 68.50 р.
РУБ 51
Рубрики: Математическая логика--Учебники и пособия
Кл.слова (ненормированные):
алгебра высказываний -- логические операции -- импликация -- логические отношения -- дедукция -- теорема дедукции -- математическая логика -- логика математическая -- задачи по математической логике -- матлогика
Аннотация: Данное пособие расчитано на читателя, впервые знакомящегося с математической логикой - формальным математическим аппаратом, изучающим различные способы логических рассуждений.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Балюкевич, Э. Л.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
2.
   51
   С81

    Стойлова, Любовь Петровна.
    Математика [Текст] : [учеб. пособие для сред. пед. учеб. заведений] / Л. П. Стойлова. - 2-е изд., испр. - Москва : Академия, 1997. - 453, [1] с. : ил. - (Педагогическое образование). - ISBN 5-7695-0167-7 (в пер.) : 23.40 р., 18.20 р.
РУБ 51
Рубрики: Математика--Учебники и пособия
Кл.слова (ненормированные):
математика -- специальность Педагогика и методика начального образования -- начальный курс математики -- основания математики -- элементы логики -- матлогика -- математическая логика -- множества -- теория множеств -- математические понятия -- понятия математические -- математические предложения -- теоремы -- математическое доказательство -- математические задачи -- задачи по математике -- текстовые задачи -- комбинаторные задачи -- правило суммы -- решение математических задач -- решение задач -- алгоритмы -- теория алгоритмов -- элементы алгебры -- алгебра -- соответствия между множествами -- числовые функции -- функции числовые -- отношения на множестве -- бинарное отношение -- алгебраические операции -- выражения математические -- числовые выражения -- выражения с переменными -- неравенства -- уравнения -- натуральные числа и нуль -- нуль и натуральные числа -- аксиоматика -- аксиомы -- числа -- теория чисел -- целые неотрицательные числа -- неотрицательные числа -- десятичная система счисления -- счисления системы -- системы счисления -- делимость чисел -- простые числа -- положительные рациональные числа -- рациональные числа -- десятичные дроби -- дроби -- геометрия -- геометрия Лобачевского -- Лобачевского геометрия -- гиперболическая геометрия -- геометрические фигуры -- геометрические тела и фигуры -- элементарная геометрия -- пространственные фигуры на плоскости -- геометрические преобразования -- преобразования геометрические -- геометрические величины -- измерение геометрических величин -- измерение геометрических тел -- площадь геометрической фигуры -- площадь фигуры геометрической -- вычисление площадей
Аннотация: В учебнике изложены научные основы начального курса математики. Профессионально-педагогическая направленность книги обеспечивается за счёт тщательного отбора теоретического материала и методических подходов к его изложению. Теоретическая часть дополнена тренировочными упражнениями и заданиями для самостоятельной работы. Книга может быть использована также студентами педколледжей и училищ, учителями начальных классов.

Держатели документа:
Библиотека НТГСПА
Экземпляры всего: 16
АБ (16)
Свободны: АБ (16)
Найти похожие
3.
   51
   С81

    Стойлова, Любовь Петровна.
    Математика [Текст] : [учеб. пособие для сред. пед. учеб. заведений] / Л. П. Стойлова. - 3-е изд., испр. - Москва : Академия, 1998. - 453, [1] с. : ил. - (Педагогическое образование). - ISBN 5-7695-0224-X (в пер.) : 20.00 р., 40.50 р.
РУБ 51
Рубрики: Математика--Учебники и пособия
Кл.слова (ненормированные):
математика -- специальность Педагогика и методика начального образования -- начальный курс математики -- основания математики -- элементы логики -- матлогика -- математическая логика -- множества -- теория множеств -- математические понятия -- понятия математические -- математические предложения -- теоремы -- математическое доказательство -- математические задачи -- задачи по математике -- текстовые задачи -- комбинаторные задачи -- правило суммы -- решение математических задач -- решение задач -- алгоритмы -- теория алгоритмов -- элементы алгебры -- алгебра -- соответствия между множествами -- числовые функции -- функции числовые -- отношения на множестве -- бинарное отношение -- алгебраические операции -- выражения математические -- числовые выражения -- выражения с переменными -- неравенства -- уравнения -- натуральные числа и нуль -- нуль и натуральные числа -- аксиоматика -- аксиомы -- числа -- теория чисел -- целые неотрицательные числа -- неотрицательные числа -- десятичная система счисления -- счисления системы -- системы счисления -- делимость чисел -- простые числа -- положительные рациональные числа -- рациональные числа -- десятичные дроби -- дроби -- геометрия -- геометрия Лобачевского -- Лобачевского геометрия -- гиперболическая геометрия -- геометрические фигуры -- геометрические тела и фигуры -- элементарная геометрия -- пространственные фигуры на плоскости -- геометрические преобразования -- преобразования геометрические -- геометрические величины -- измерение геометрических величин -- измерение геометрических тел -- площадь геометрической фигуры -- площадь фигуры геометрической -- вычисление площадей
Аннотация: В учебнике изложены научные основы начального курса математики. Профессионально-педагогическая направленность книги обеспечивается за счёт тщательного отбора теоретического материала и методических подходов к его изложению. Теоретическая часть дополнена тренировочными упражнениями и заданиями для самостоятельной работы. Книга может быть использована также студентами педколледжей и училищ, учителями начальных классов.

Держатели документа:
Библиотека НТГСПА
Экземпляры всего: 29
АБ (28), ЧЗ (1)
Свободны: АБ (28), ЧЗ (1)
Найти похожие
4.
   51
   С81

    Стойлова, Любовь Петровна.
    Математика [Текст] : [учеб. для вузов по спец. «Педагогика и методика нач. образования»] / Л. П. Стойлова. - Москва : Академия, 2002. - 420, [1] с. : ил. - (Высшее образование). - ISBN 5-7695-0456-0 (в пер.) : 115.00 р., 135.00 р.
РУБ 51
Рубрики: Математика--Учебники и пособия
Кл.слова (ненормированные):
математика -- начальный курс математики -- основания математики -- элементы логики -- матлогика -- математическая логика -- множества -- теория множеств -- математические понятия -- понятия математические -- математические предложения -- теоремы -- математическое доказательство -- математические задачи -- задачи по математике -- текстовые задачи -- комбинаторные задачи -- правило суммы -- решение математических задач -- решение задач -- алгоритмы -- теория алгоритмов -- элементы алгебры -- алгебра -- соответствия между множествами -- числовые функции -- функции числовые -- отношения на множестве -- бинарное отношение -- алгебраические операции -- выражения математические -- числовые выражения -- выражения с переменными -- неравенства -- уравнения -- натуральные числа и нуль -- нуль и натуральные числа -- аксиоматика -- аксиомы -- числа -- теория чисел -- целые неотрицательные числа -- неотрицательные числа -- десятичная система счисления -- счисления системы -- системы счисления -- делимость чисел -- простые числа -- положительные рациональные числа -- рациональные числа -- десятичные дроби -- дроби -- геометрия -- геометрия Лобачевского -- Лобачевского геометрия -- гиперболическая геометрия -- геометрические фигуры -- геометрические тела и фигуры -- элементарная геометрия -- пространственные фигуры на плоскости -- геометрические преобразования -- преобразования геометрические -- геометрические величины -- измерение геометрических величин -- измерение геометрических тел -- площадь геометрической фигуры -- площадь фигуры геометрической -- вычисление площадей
Аннотация: В учебнике изложены научные основы начального курса математики. Профессионально-педагогическая направленность книги обеспечивается за счёт тщательного отбора теоретического материала и методических подходов к его изложению. Теоретическая часть дополнена тренировочными упражнениями и заданиями для самостоятельной работы. Книга может быть использована также студентами педколледжей и училищ, учителями начальных классов.

Держатели документа:
Библиотека НТГСПА
Экземпляры всего: 99
АБ (98), ЧЗ (1)
Свободны: АБ (81), ЧЗ (1)
Найти похожие
5.
   51
   В623

    Воднев, Владимир Трофимович.
    Основные математические формулы [Текст] : справочник / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - Изд. 2-е, перераб. и доп. - Минск : Вышэйшая школа, 1988. - 268, [1] с. : граф., рис. - Предм. указ.: с.256. - ISBN 5-339-00083-4 (в пер.) : 1.10 р.
РУБ 51(083)
Рубрики: Математические формулы
Кл.слова (ненормированные):
элементарная геометрия -- уравнения -- неравенства -- аналитическая геометрия -- высшая алгебра -- дифференциальное исчисление -- дифференциальная геометрия -- интегральное исчисление -- комплексный анализ -- элементы теории поля -- тензорное исчисление -- дифференциальные уравнения -- математическая логика -- теория вероятностей -- математическая статистика
Аннотация: В справочнике собраны основные формулы из начальных разделов математики, а также дифференциального и интегрального исчисления, аналитической и дифференциальной геометрии, высшей алгебры, комплексного и векторного анализа, логики, теории вероятностей и математической статистики. Для студентов вузов и техникумов, инженеров и техникумов, а также учащихся старших классов, абитуриентов и лиц, занимающихся математическим самообразованием. Первое издание вышло в 1980 г.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Наумович, Адольф Федорович; Наумович, Нил Федорович; Богданов, Ю. С. \ред.\
Экземпляры всего: 3
АБ (3)
Свободны: АБ (3)
Найти похожие
6.
   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-й гр. математиков ФМФ
РУБ 51
Рубрики: Математическая логика
Кл.слова (ненормированные):
математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики -- формальная аксиоматика -- элементарная арифметика -- финитный способ рассуждений -- исчисление высказываний -- исчисление предикатов -- бесконечные индивидные области -- рекурсивные определения -- математическое доказательство
Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Бернайс, Пауль; Bernays P.; Нагорный, Николай Макарьевич \пер.\; Адян, Сергей Иванович \ред., предисл.\; Hilbert D.; Hilbert, D. ; Bernays, P.
Экземпляры всего: 2
АБ (1), МБ (1)
Свободны: АБ (1), МБ (1)
Найти похожие
7.
   51(07)
   Е455

    Екимова, Марина Алексеевна.
    Задачи на разрезание [Текст] / М. А. Екимова, Г. П. Кукин. - Изд. 2-е, стер. - Москва : МЦНМО, 2005. - 118, [2] с. : ил. - (Секреты преподавания математики). - Библиогр.: с. 118. - ISBN 5-94057-051-8 (в обл.) : 49.00 р.
РУБ 51(07)
Рубрики: Математика--Методические пособия
Кл.слова (ненормированные):
логические задачи -- математическая логика -- головоломки -- развивающие задачи
Аннотация: Эта книга является первой книгой серии "Секреты преподавания математики", призванной изложить о обобщить накопленный опыт в области математического образования. Данный сборник представляет собой одну из частей курса "Развивающая логика в 5-7 классах". Ко всем задачам, пиведенным в книге, даны решения или указания. Книга рекомендуется для внеклассной работы по математике.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Кукин, Георгий Петрович
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
8.
   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 (в пер.) : 552.00 р.
РУБ 51(075.3)
Рубрики: Математическая логика--Учебники и пособия
Кл.слова (ненормированные):
математическая логика -- логика
Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
9.
   Х
   Л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
ББК Х022.155в631.0 + У01в631.0 + У010
Рубрики: Естественное право--Математическое моделирование
   Политическая экономия--Математическое моделирование
   Экономическая теория--Взаимосвязь с другими науками
Кл.слова (ненормированные):
естественное право -- политическая экономия -- политэкономия -- математическая логика -- математико-философские исследования -- философия права -- математическая философия -- экономика и право -- право и экономика -- математическая аксиология -- алгебра поступков -- дискретная математическая модель естественного права -- математическая модель естественного права -- математическое моделирование философии права -- собственность -- частная собственность
Аннотация: Монография посвящена исследованию формально-логических противоречий антиномий, возникающих на стыке экономики и права а также изучению возможностей разрешения этих противоречий с помощью логико-математических моделей взаимодействия указанных дисциплин. В книге впервые конструируются и обсуждаются простейшие дискретные математические модели объединения морали, права и экономики. Предметом логико-математического моделирования оказывается морально-правовой аспект экономической деятельности. Право трактуется как единство, синтез (отношение соответствия) позитивного, естественного и обычного права. В качестве простейшего искусственного языка теоретического описания этого единства используется алгебра поступков - двузначная математическая модель естественного права как системы. В монографии впервые предлагается и всесторонне изучается некий вариант математической логики политической экономии. Излагается оригинальная концепция роли частных монополий в рыночной экономике. Строго обосновывается возможность, и точно указываются границы (условия) адекватности "экономического экуменизма", т.е. логически непротиворечивого синтеза классического либерализма с кейнсианством. Всесторонне исследуется математическая логика естественного права собственности вообще и частной собственности в особенности. Книга адресована научным работникам, преподавателям и студентам юридических, экономических и философских факультетов, теоретикам практикам управления. Она может быть использована в качестве учебного пособия по спецкурсам лекций "Математические модели социальных и политических процессов", "Математическая логика политической экономии", "Математическое правоведение", "Математическая этика", "Математическая философия правового регулирования экономики", "Философия права", "Логика права", "Математические модели в теории управления", "Философия экономики", "Математические модели системы философских дисциплин".

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Бряник, Надежда Васильевна \ред.\; Институт философии и права Уральского отделения Российской академии наук (Екатеринбург)
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
10.
   517.8
   И201

    Иванов, Борис Николаевич.
    Дискретная математика. Алгоритмы и программы. Расширенный курс [Текст] : [учебник для вузов по специальности "Прикладная математика и информатика" / Б. Н. Иванов. - Москва : Известия, 2011. - 511 с. - ISBN 978-5-206-00824-1 (в пер.) : 670.00 р.
РУБ 517.84(075.3) + 518(075.3)
Рубрики: Дискретная математика--Учебники и пособия
   Вычислительная математика--Учебники и пособия
Кл.слова (ненормированные):
системы счисления -- булева алгебра -- комбинаторные схемы -- математическая логика -- методы подсчета и оценивания -- комбинаторные объекты -- абстрактные объекты -- теория графов -- алгоритмы графов -- теория групп -- теория чисел -- теория кодирования
Аннотация: Книга посвящена современному курсу дискретной математики. Теоретические основы курса сопровождаются практически значимыми алгоритмами, реализованными в конкретных компьютерных программах. Книгу можно рассматривать в качестве хорошего справочника методов и алгоритмов дискретной математики, широко применяемых в практическом программировании. Пособие рассчитано на студентов специальностей, учебные планы которых предполагают изучение каких-либо разделов курса дискретной математики, в первую очередь на математиков-прикладников, а также программистов, занятых разработкой прикладного программного обеспечения.

Держатели документа:
Библиотека НТГСПА
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
 1-10    11-15 
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)