Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

В текущей базе данных найдено документов :7

В других БД по вашему запросу найдено:

Электронный каталог (5)

ЭБС "ЛАНЬ" (1)

Публикации учёных СГУ (2)

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

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

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

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

Игошин, Владимир Иванович.
Математическая логика как педагогика математики [Текст] : научное издание / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 2009. - 359, [1] с. : рис. - Библиогр.: с. 340-354 (69 назв.). - ISBN 978-5-91272-710-8 : 110.00 р.

УДК

51(072.8)

Рубрики: математика--математика

Кл.слова (ненормированные):
математическая логика -- математическое образование -- методика преподавания -- учителя математики -- обучение -- аксиоматические теории -- доказательства
Аннотация: Эта книга - о взаимодействии логики и математики, о той роли, которую играет логика, и в особенности математическая логика в математике, в обучении математике и в изучении математики. В процессе обучения математике происходит неизбежное дидактическое взаимодействие логики и математики. Логика выступает при этом как мощный инструмент дидактического воздействия. Это воздействие основывается на четырёх принципах логики в обучении математике. В монографии рассматрнивается методическая проблема логико-дидактической подготовки будущего учителя математики, т.е. подготовки его в области логических аспектов методики обучения математики. Для студентов математических факультетов педагогических вузов, для школьных учителей математики, для преподавателей математики вузов.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Найти похожие

Игошин, Владимир Иванович.
Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика

УДК

510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Игошин, Владимир Иванович.
Математическая логика в обучении математике. Логико-дидактическая подготовка учителя математики [Текст] : научное издание / В. И. Игошин. - Saarbrücken : Palmarium Academic Publishing, 2012. - 513, [1] с. - Библиогр. в конце разд. - ISBN 978-5-659-98033-6 : 450.00 р.

УДК

51(072.8)

Рубрики: математика--математика

Кл.слова (ненормированные):
математическая логика -- математика -- математическое образование -- дидактика -- методика преподавания -- учителя математики -- доказательства -- аксиоматические теории -- обучение
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Игошин, Владимир Иванович.
Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")

УДК

510.6(075.8)

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. : рис ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 . - ISBN 978-5-7695-5200-7 : 368.50 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ -- АЛГОРИТМЫ -- КОМПЬЮТЕРЫ -- ИНФОРМАТИКА -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Аннотация: Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Лавров, И. А.
Математическая логика [Текст] : учеб. пособие / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : ИЦ "Академия", 2006. - 240 с. ; 22 см. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230 (14 назв.). - ISBN 5-7695-2735-8 : 238.70 р.
Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
СЕМАНТИКА -- СИНТАКСИС -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИИ МНОЖЕСТВ -- ГЕОМЕТРИЧЕСКИЕ ТЕОРИИ -- ИНТЕРПРЕТАЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ
Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

Нечаев, В. И.
Числовые системы [Текст] : учеб. пособие / В. И. Нечаев. - М. : Просвещение, 1975. - 199 с. : ил. ; 22 см. - Библиогр.: с. 195-196 (40 назв.). - 0.40 р.
Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. физико-мат. фак. пед. ин-тов

ГРНТИ	27.15.01.33
УДК	511.2(075)

Рубрики: Математика--Теория чисел

Кл.слова (ненормированные):
АЛГЕБРАИЧЕСКИЕ ОПЕРАЦИИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- НАТУРАЛЬНЫЕ ЧИСЛА -- УПОРЯДОЧЕННЫЕ МНОЖЕСТВА -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- НОРМИРОВАННЫЕ ПОЛЯ -- ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА -- КОМПЛЕКСНЫЕ ЧИСЛА -- ТЕОРЕМА ФРОБЕНИУСА
Аннотация: В этой книге глубокие математические идеи, с которыми студенты знакомятся в курсах математического анализа, алгебры и теории чисел, применяются для последовательного построения основных числовых систем - натуральных, целых, рациональных, действительных, комплексных, а также р-адических чисел и кватернионов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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