База данных: Электронные ресурсы ИБО
Страница 1, Результатов: 6
Отмеченные записи: 0
1.
Файл для загрузки:
Ershov Yu.L. Matematicheskaya logika. 1987.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
Файл для загрузки:
Ershov Yu.L. Matematicheskaya logika. 2011.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
Файл для загрузки:
Гурьянова К.Н. Математический анализ 2014.pdf
Подробнее
22.161
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - ISBN 9785799613402 : Б. ц. - Текст : непосредственный.
ББК 22.161
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - ISBN 9785799613402 : Б. ц. - Текст : непосредственный.
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
4.
Подробнее
22.1
М 34
Математика [Текст] : учебное пособие для студентов пед. институтов по специальности №2121 - "Педагогика и методика начального обучения" / Н. Я. Виленкин, А. М. Пышкало, В. В. Рождественская, Л. П. Стойлова. - М. : [б. и.], 1977. - 352 с. с ил. - Б. ц. - Текст : непосредственный.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Методика начального обучения -- Теория множеств -- Математическая логика -- Геометрия
Аннотация: Книга предназначена будущим учителям начальных классов. Она полностью соответствует как новой программе для педагогических институтов, так и содержанию действующих учебников математики для I - III классов.
Держатели документа:
ЗКУ
Доп.точки доступа:
Виленкин, Н.Я.
Пышкало, А.М.
Рождественская, В.В.
Стойлова, Л.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
М 34
Математика [Текст] : учебное пособие для студентов пед. институтов по специальности №2121 - "Педагогика и методика начального обучения" / Н. Я. Виленкин, А. М. Пышкало, В. В. Рождественская, Л. П. Стойлова. - М. : [б. и.], 1977. - 352 с. с ил. - Б. ц. - Текст : непосредственный.
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Методика начального обучения -- Теория множеств -- Математическая логика -- Геометрия
Аннотация: Книга предназначена будущим учителям начальных классов. Она полностью соответствует как новой программе для педагогических институтов, так и содержанию действующих учебников математики для I - III классов.
Держатели документа:
ЗКУ
Доп.точки доступа:
Виленкин, Н.Я.
Пышкало, А.М.
Рождественская, В.В.
Стойлова, Л.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
5.
Подробнее
22.1
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - Б. ц. - Текст : непосредственный.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - Б. ц. - Текст : непосредственный.
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
6.
Подробнее
22.12
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
Страница 1, Результатов: 6