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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=матлогика<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

Вид документа : Однотомное издание
Шифр издания : 51/М181
Автор(ы) : Малаховский, Владислав Степанович
Заглавие : Введение в математику : [Учебное издание]
Выходные данные : Калининград: Янтарный сказ, 1998
Колич.характеристики :439, [1] с.: ил.
Примечания : Библиогр.: с. 428-433 . -Алф. указ.: с. 434-439.
ISBN, Цена 5-7406-0230-0: 39.04 р.
Предметные рубрики: Математика-- Учебные издания
Ключевые слова (''Своб.индексиров.''): введение в математику--математика для аспирантов--комплексные числа--действительные числа--натуральные числа--алгебраические структуры--элементарная геометрия--геометрия--линейные уравнения--иррациональные уравнения--показательные уравнения--логарифмические уравнения--векторная алгебра--аналитическая геометрия--функции--числовые последовательности--числовые ряды--производные--исследование функций--построение графиков функций--интегралы--дифференциальные уравнения--топология--риманова геометрия--геометрия лобачевского--геометрия римана--математический анализ--комбинаторика--матлогика--планиметрия--стереометрия
Аннотация: В книге изложен широкий круг вопросов, дающих достаточно полное представление о математике: числовые сножества, элементы комбинаторики и математической логики, основные алгебраические структуры, алгебраические и трансцендентные уравнения, основные понятия планиметрии и стереометрии, математического анализа и дифференциальных уравнений, векторная алгебра, элементы аналитической геометрии. В ней рассмотрены также основные принципы дедуктивного построения математической теории, группы преобразований и геометрии, определяемые ими, включая геометрию Лобачевского и Римана. Большое внимание уделяется историческим вопросам развития математической науки и доступности для восприятия излагаемых математических понятий. Книга рассчитана на широкий круг читателей: учащихся и преподавателей школ, студентов, аспирантов и преподавателей вузов, научных работников, интересующихся математикой.
Экземпляры : всего : ЧЗ(1), АБ(2)
Свободны : ЧЗ(1), АБ(2)
Найти похожие

2.

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

3.

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

4.

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

5.

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

6.

Вид документа : Однотомное издание
Шифр издания : 51/М13
Автор(ы) : Мадер, Виктор Викторович
Заглавие : Школьнику об алгебре логики : книга для внеклас. чтения учащихся 10–11-х кл. сред. шк.
Выходные данные : Москва: Просвещение, 1993
Колич.характеристики :126, [2] с.: ил.; 20 см
Серия: Мир знаний
ISBN (в обл.), Цена 5-09-003544-X: 68.00 р.
Предметные рубрики: Алгебраическая логика
Ключевые слова (''Своб.индексиров.''): математика--алгебра логики--алгебраическая логика--математическая логика--матлогика--логика математическая--логические задачи--занимательная математика--математика занимательная
Аннотация: Книга знакомит читателя с аппаратом алгебры логики, содержит так называемые "логические задачи", а также задачи, посвященные анализу умозаключений. В приложении рассмотрены различные парадоксы, приведены занимательные сведения из истории математики и логики.
Экземпляры : всего : АБ(1), МБ(2)
Свободны : АБ(1), МБ(2)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 51/Н64
Автор(ы) : Никольская, Инна Львовна, Семенов, Ефим Евстафьевич
Заглавие : Учимся рассуждать и доказывать : книга для учащихся 6–10-х кл. сред. шк.
Выходные данные : Москва: Просвещение, 1989
Колич.характеристики :190, [2] с.: ил.; 22 см
ISBN (в пер.), Цена 5-09-000591-5: 1.00 р.
Предметные рубрики: Математическая логика (д. л.)
Ключевые слова (''Своб.индексиров.''): математическая логика--матлогика--логика математическая--правильное рассуждение--рассуждение--доказательство--аргументация--учимся рассуждать--учимся доказывать--учимся анализировать--умение рассуждать--умение доказывать--умение анализировать--математика--6 класс--7 класс--8 класс--9 класс--10 класс
Аннотация: Помочь школьнику научиться рассуждать, доказывать, вести аргументированный спор, проводить анализ, обобщение, конкретизацию, использовать индукцию, наблюдение, аналогию — главная цель этой книги. Материал книги подан в виде небольших рассказов, диалогов, бесед, задач, загадок. Изложение ведется в занимательной форме.
Экземпляры : всего 7: АБ(4), МБ(1)
Свободны : АБ(4), МБ(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 51/К268
Автор(ы) : Карри, Хаскелл Брукс
Заглавие : Основания математической логики
Выходные данные : Москва: Мир, 1969
Колич.характеристики :567, [1] с.: табл., черт.; 22 см
Перевод издания: Curry H. B. Foundations of mathematical logic. -New York [etc.], 1963
Примечания : Доп. тит. л. англ. - Библиогр.: с. 518-547. - Указ. символов, терминов и именной.: с. 548-567
Цена : 2.64 р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--матлогика--логика математическая--формальные системы--эпитеория--реляционная логическая алгебра--логическая алгебра--теория импликации--отрицание--кванторы--модальности--математика
Аннотация: Книга американского учёного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Экземпляры : всего : АБ(1), МБ(1)
Свободны : АБ(1), МБ(1)
Найти похожие

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