Научная библиотека Нижнетагильского государственного социально-педагогического института

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Электронный каталог НТГСПИ

Картотека газет и журналов

Картотека статей

Полнотекстовая база изданий НТГСПИ

Полнотекстовая база ВКР

Область поиска

в найденном

Найдено в других БД:

Картотека статей (15)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая логика<.>)

Общее количество найденных документов : 15
Показаны документы с 1 по 10

1-10 11-15

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 51/Г474
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики : Логические исчисления и формализация арифметики
Выходные данные : Москва: Наука, 1979
Колич.характеристики :557 с. ; 22 см
Серия: Математическая логика и основания математики
Перевод издания: Hilbert D. Crundlagen der Mathematik. I/ D. Hilbert, P. Bernays. -2. Aufl. -Berlin etc, 1968
Примечания : Алф. указ.: с. 551-557. - На пер. авт. и загл. не указаны
Цена : 2.70 р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--основания математики--математическая логика--логические исчисления--формализация арифметики--формальная аксиоматика--элементарная арифметика--финитный способ рассуждений--исчисление высказываний--исчисление предикатов--бесконечные индивидные области--рекурсивные определения--математическое доказательство
Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики.
Экземпляры : всего : АБ(1), МБ(1)
Свободны : АБ(1), МБ(1)
Найти похожие

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

Вид документа : Однотомное издание
Шифр издания : 51/Л656
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие . -Изд. 4-е, стер.
Выходные данные : Б.м., 2009
Колич.характеристики :276 с.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273
ISBN (в пер.), Цена 978-5-8114-0082-9: 552.00 р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика
Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Экземпляры : всего : ЧЗ(1), АБ(1)
Свободны : ЧЗ(1), АБ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Х/Л683
Автор(ы) : Лобовиков, Владимир Олегович
Заглавие : Математическая логика естественного права и политической экономии : Математическая философия экономики и права : ч. 1, 2
Выходные данные : Екатеринбург: УрО РАН, 2005
Колич.характеристики :657, [1] с.
Коллективы : Институт философии и права Уральского отделения Российской академии наук (Екатеринбург)
Примечания : Библиогр.: с. 611-653 (550 назв.)
ISBN (в пер.), Цена 5-7691-1587-4: [320.00] р.
ББК : Х022.155в631.0 + У01в631.0 + У010
Предметные рубрики: Естественное право-- Математическое моделирование
Политическая экономия-- Математическое моделирование
Экономическая теория-- Взаимосвязь с другими науками
Ключевые слова (''Своб.индексиров.''): естественное право--политическая экономия--политэкономия--математическая логика--математико-философские исследования--философия права--математическая философия--экономика и право--право и экономика--математическая аксиология--алгебра поступков--дискретная математическая модель естественного права--математическая модель естественного права--математическое моделирование философии права--собственность--частная собственность
Содержание : Критика политической экономии: совершенная конкуренция и абсолютная монополия; состояние равновесия и предпринимательство; laissez faire и государственное управление рынком ; Математическая модель естественного права и политической экономии частной собственности
Аннотация: Монография посвящена исследованию формально-логических противоречий антиномий, возникающих на стыке экономики и права а также изучению возможностей разрешения этих противоречий с помощью логико-математических моделей взаимодействия указанных дисциплин. В книге впервые конструируются и обсуждаются простейшие дискретные математические модели объединения морали, права и экономики. Предметом логико-математического моделирования оказывается морально-правовой аспект экономической деятельности. Право трактуется как единство, синтез (отношение соответствия) позитивного, естественного и обычного права. В качестве простейшего искусственного языка теоретического описания этого единства используется алгебра поступков - двузначная математическая модель естественного права как системы. В монографии впервые предлагается и всесторонне изучается некий вариант математической логики политической экономии. Излагается оригинальная концепция роли частных монополий в рыночной экономике. Строго обосновывается возможность, и точно указываются границы (условия) адекватности "экономического экуменизма", т.е. логически непротиворечивого синтеза классического либерализма с кейнсианством. Всесторонне исследуется математическая логика естественного права собственности вообще и частной собственности в особенности. Книга адресована научным работникам, преподавателям и студентам юридических, экономических и философских факультетов, теоретикам практикам управления. Она может быть использована в качестве учебного пособия по спецкурсам лекций "Математические модели социальных и политических процессов", "Математическая логика политической экономии", "Математическое правоведение", "Математическая этика", "Математическая философия правового регулирования экономики", "Философия права", "Логика права", "Математические модели в теории управления", "Философия экономики", "Математические модели системы философских дисциплин".
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 517.8/И201
Автор(ы) : Иванов, Борис Николаевич
Заглавие : Дискретная математика. Алгоритмы и программы. Расширенный курс : [учебник для вузов по специальности "Прикладная математика и информатика"
Выходные данные : Москва: Известия, 2011
Колич.характеристики :511 с.
ISBN (в пер.), Цена 978-5-206-00824-1: 670.00 р.
Предметные рубрики: Дискретная математика
Вычислительная математика
Ключевые слова (''Своб.индексиров.''): системы счисления--булева алгебра--комбинаторные схемы--математическая логика--методы подсчета и оценивания--комбинаторные объекты--абстрактные объекты--теория графов--алгоритмы графов--теория групп--теория чисел--теория кодирования
Аннотация: Книга посвящена современному курсу дискретной математики. Теоретические основы курса сопровождаются практически значимыми алгоритмами, реализованными в конкретных компьютерных программах. Книгу можно рассматривать в качестве хорошего справочника методов и алгоритмов дискретной математики, широко применяемых в практическом программировании. Пособие рассчитано на студентов специальностей, учебные планы которых предполагают изучение каких-либо разделов курса дискретной математики, в первую очередь на математиков-прикладников, а также программистов, занятых разработкой прикладного программного обеспечения.
Экземпляры : всего : ЧЗ(1), АБ(1)
Свободны : ЧЗ(1), АБ(1)
Найти похожие

1-10 11-15

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)