База данных: Электронная библиотека
Страница 1, Результатов: 11
Отмеченные записи: 0
1.
Файл для загрузки:
Ershov Yu.L. Matematicheskaya logika. 1987.pdf
Ershov Yu.L. Matematicheskaya logika. 1987.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
Файл для загрузки:
Ershov Yu.L. Matematicheskaya logika. 2011.pdf
Ershov Yu.L. Matematicheskaya logika. 2011.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
Файл для загрузки:
Гурьянова К.Н. Математический анализ 2014.pdf
Гурьянова К.Н. Математический анализ 2014.pdf
Подробнее
22.161
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.161
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
4.
Файл для загрузки:
Гурьянова К.Н. Математический анализ 2014.pdf
Подробнее
22.161
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.161
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Г 95
Гурьянова, К. Н.
Математический анализ [Текст] : учебное пособие / К. Н. Гурьянова, У. А. Алексеева, В. В. Бояршинов ; М-во образования и науки Рос. Федерации. - Екатеринбург : [б. и.], 2014. - 330 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математический анализ
Кл.слова (ненормированные):
Математический анализ -- понятие множества -- математическая логика -- аксиомы -- принцип архимеда -- предел функции
Держатели документа:
ЗКУ
Доп.точки доступа:
Алексеева, У.А.
Бояршинов, В.В.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
5.
Подробнее
22.1
М 34
Математика [Текст] : учебное пособие для студентов пед. институтов по специальности №2121 - "Педагогика и методика начального обучения" / Н. Я. Виленкин, А. М. Пышкало, В. В. Рождественская, Л. П. Стойлова. - М. : [б. и.], 1977. - 352 с. с ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Методика начального обучения -- Теория множеств -- Математическая логика -- Геометрия
Аннотация: Книга предназначена будущим учителям начальных классов. Она полностью соответствует как новой программе для педагогических институтов, так и содержанию действующих учебников математики для I - III классов.
Держатели документа:
ЗКУ
Доп.точки доступа:
Виленкин, Н.Я.
Пышкало, А.М.
Рождественская, В.В.
Стойлова, Л.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
М 34
Математика [Текст] : учебное пособие для студентов пед. институтов по специальности №2121 - "Педагогика и методика начального обучения" / Н. Я. Виленкин, А. М. Пышкало, В. В. Рождественская, Л. П. Стойлова. - М. : [б. и.], 1977. - 352 с. с ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Методика начального обучения -- Теория множеств -- Математическая логика -- Геометрия
Аннотация: Книга предназначена будущим учителям начальных классов. Она полностью соответствует как новой программе для педагогических институтов, так и содержанию действующих учебников математики для I - III классов.
Держатели документа:
ЗКУ
Доп.точки доступа:
Виленкин, Н.Я.
Пышкало, А.М.
Рождественская, В.В.
Стойлова, Л.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
6.
Подробнее
22.1
Ж 79
Жолков, С. Ю.
Математика и информатика для гуманитариев [Текст] : учебник / С. Ю. Жолков. - М. : [б. и.], 2002. - 531 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- информатика -- алгебра -- геометрия -- математический анализ -- математическая логика -- векторы -- множества -- интегралы -- Декарт -- Лейбниц
Аннотация: В книге выделены разделы, предназначенные для студентов экономических факультетов. Принципиальная особенность книги - повышенное внимание к математической логике и концептуальным вопросам, поэтому в нее включены замечательные открытия математики ХХ в., включая основания информатики - дискретную математику, алгоритмы и рекурсию. Изложение следует историческому пути развития математики и информатики во взаимосвязи с развитием других наук. В конце каждой главы даются задачи.
Держатели документа:
ЗКГУ
Экземпляры всего: 3
ау (2), чз2 (1)
Свободны: ау (2), чз2 (1)
Ж 79
Жолков, С. Ю.
Математика и информатика для гуманитариев [Текст] : учебник / С. Ю. Жолков. - М. : [б. и.], 2002. - 531 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математика
Кл.слова (ненормированные):
математика -- информатика -- алгебра -- геометрия -- математический анализ -- математическая логика -- векторы -- множества -- интегралы -- Декарт -- Лейбниц
Аннотация: В книге выделены разделы, предназначенные для студентов экономических факультетов. Принципиальная особенность книги - повышенное внимание к математической логике и концептуальным вопросам, поэтому в нее включены замечательные открытия математики ХХ в., включая основания информатики - дискретную математику, алгоритмы и рекурсию. Изложение следует историческому пути развития математики и информатики во взаимосвязи с развитием других наук. В конце каждой главы даются задачи.
Держатели документа:
ЗКГУ
Экземпляры всего: 3
ау (2), чз2 (1)
Свободны: ау (2), чз2 (1)
7.
Подробнее
22.1
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
8.
Подробнее
22.12
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
9.
Подробнее
22.1
К 60
Колмогоров, А. Н.
Введение в математическую логику [Текст] / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский университет, 1982. - 120 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- аксиоматические теории -- логические законы
Держатели документа:
БҚМУ
Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
К 60
Колмогоров, А. Н.
Введение в математическую логику [Текст] / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский университет, 1982. - 120 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- аксиоматические теории -- логические законы
Держатели документа:
БҚМУ
Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
10.
Подробнее
517
М34
Математическая логика и ее применения. Сборник статей. [Текст]. - М. : [б. и.], 1965. - 341 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Высшая математика
Кл.слова (ненормированные):
Математическая логика и ее применения
Держатели документа:
ЗКГУ
Доп.точки доступа:
Негель, Э. и др.
Мальцев, А.И.
Экземпляры всего: 5
а. (2), к. (1), чз. (2)
Свободны: а. (2), к. (1), чз. (2)
М34
Математическая логика и ее применения. Сборник статей. [Текст]. - М. : [б. и.], 1965. - 341 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
| УДК |
Рубрики: Высшая математика
Кл.слова (ненормированные):
Математическая логика и ее применения
Держатели документа:
ЗКГУ
Доп.точки доступа:
Негель, Э. и др.
Мальцев, А.И.
Экземпляры всего: 5
а. (2), к. (1), чз. (2)
Свободны: а. (2), к. (1), чз. (2)
Страница 1, Результатов: 11