| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Электронный каталог (5)ЭБС "ЛАНЬ" (1)Публикации учёных СГУ (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=аксиоматические теории<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : 080874
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика как педагогика математики : научное издание
Выходные данные : Саратов: Издательский центр "Наука", 2009
Колич.характеристики :359, [1] с.: рис.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 340-354 (69 назв.)
ISBN, Цена 978-5-91272-710-8: 110.00 р.
УДК : 51(072.8)
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): математическая логика--математическое образование--методика преподавания--учителя математики--обучение--аксиоматические теории--доказательства
Аннотация: Эта книга - о взаимодействии логики и математики, о той роли, которую играет логика, и в особенности математическая логика в математике, в обучении математике и в изучении математики. В процессе обучения математике происходит неизбежное дидактическое взаимодействие логики и математики. Логика выступает при этом как мощный инструмент дидактического воздействия. Это воздействие основывается на четырёх принципах логики в обучении математике. В монографии рассматрнивается методическая проблема логико-дидактической подготовки будущего учителя математики, т.е. подготовки его в области логических аспектов методики обучения математики. Для студентов математических факультетов педагогических вузов, для школьных учителей математики, для преподавателей математики вузов.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :398, [2] с. + 1 эл. опт. диск (CD-ROM)
Серия: Высшее образование
Примечания : Библиогр.: с. 389-392. - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
ISBN (в пер.), Цена 978-5-16-005204-5: 229.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--логика предикатов --аксиоматические теории
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 51(072.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика в обучении математике. Логико-дидактическая подготовка учителя математики : научное издание
Выходные данные : Saarbrücken: Palmarium Academic Publishing, 2012
Колич.характеристики :513, [1] с
Примечания : Библиогр. в конце разд.
ISBN, Цена 978-5-659-98033-6: 450.00 р.
УДК : 51(072.8)
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): математическая логика--математика--математическое образование--дидактика--методика преподавания--учителя математики--доказательства--аксиоматические теории--обучение
Найти похожие
4.

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

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -3-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :448 с.: рис; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442 . - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-5200-7: 368.50 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--формализованное исчисление высказываний--неформальные аксиоматические теории--аксиоматические теории--формальные аксиоматические теории--элементы теории алгоритмов--алгоритмы--компьютеры--информатика--искусственный интеллект
Аннотация: Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Л 13
Автор(ы) : Лавров И. А.
Заглавие : Математическая логика : учеб. пособие
Выходные данные : М.: ИЦ "Академия", 2006
Колич.характеристики :240 с. ; 22 см
Серия: Университетский учебник .
    Прикладная математика и информатика
Примечания : Библиогр.: с. 230 (14 назв.). - Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.
ISBN, Цена 5-7695-2735-8: 238.70 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): семантика--синтаксис--аксиоматические теории--теории множеств--геометрические теории--интерпретации--исчисление высказываний--исчисление предикатов--логические исчисления--алгебраические системы--логические системы
Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 511(075)/Н 59
Автор(ы) : Нечаев В. И.
Заглавие : Числовые системы : учеб. пособие
Выходные данные : М.: Просвещение, 1975
Колич.характеристики :199 с.: ил.; 22 см
Примечания : Библиогр.: с. 195-196 (40 назв.). - Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. физико-мат. фак. пед. ин-тов
Цена : 0.40 р.
ГРНТИ : 27.15.01.33
УДК : 511.2(075)
Предметные рубрики: Математика-- Теория чисел
Ключевые слова (''Своб.индексиров.''): алгебраические операции--аксиоматические теории--натуральные числа--упорядоченные множества--алгебраические системы--нормированные поля--действительные числа--комплексные числа--теорема фробениуса
Аннотация: В этой книге глубокие математические идеи, с которыми студенты знакомятся в курсах математического анализа, алгебры и теории чисел, применяются для последовательного построения основных числовых систем - натуральных, целых, рациональных, действительных, комплексных, а также р-адических чисел и кватернионов.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)