Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математика -- математическая логика<.>
Общее количество найденных документов : 20
Показаны документы с 1 по 20
1.
   22.12
   А46

    Александров, П. С.
    Введение в теорию множеств и общую топологию [Текст] : учебное пособие для вузов / Александров П.С. - М. : Наука, 1977. - 368 с. : ил. - 1.00 р.
ББК 22.12 + 22.152
Рубрики: Математика--математическая логика
   Геометрия--топология
Кл.слова (ненормированные):
теория множеств -- топология -- упорядоченное -- бесконечность -- число -- пространство -- метрическое -- компактное -- спектр -- проекционный -- абсолют

Экз-ры: чзт(1), аб(2)

” Цитировать
Найти похожие
2.
   22.12
   А87

    Архангельский, А. В.
    Канторовская теория множеств [Текст] / Архангельский А.В. - М. : МГУ, 1988. - 112с. - ISBN 5211000803 : 20.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
канторовская теория множеств -- комбинаторная -- арифметика -- сравнение -- мощность -- точка -- цепь -- ординал -- теорема

Экз-ры: чзт(1), аб(1)

” Цитировать
Найти похожие
3.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 2-е изд., испр. и доп. - М. : Наука, 1987. - 336с. - 2 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
высказывание -- математическая логика -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1), аб(1)

” Цитировать
Найти похожие
4.
   22.12
   Х20

    Харин, Н. Н.
    Математическая логика и теория множеств (о соотношении абстрактного и конкретного) [Текст] / Под ред. Я.Л. Харапинского. - М. : Росвузиздат, 1963. - 192с. - 1.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
Математическая логика и теория множеств (о соотношении абстрактного и конкретного)



Соавторы:
Харапинский, Я.Л.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
5.
   22.1я92
   Г 20

    Гарднер, М.
    Математические чудеса и тайны. Математические фокусы и головоломки [Текст] / Пер. с англ. В.С. Бермана; Под ред. Г.Е. Шилова. - М. : Наука, 1977. - 128 с. : ил. - 2.00 р.
ББК 22.1я92
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
головоломка -- фокусы с картами -- предсказание -- кости игральные -- домино -- календарь -- часы -- спички -- монеты -- доска шахматная -- кольцо резиновое

Экз-ры: чзт(1)

” Цитировать
Найти похожие
6.
   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - 3-е изд., стер. - М. : Академия, 2008. - 448 с. - ISBN 9785765207 : 3100.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритма -- булевы функции -- исчисление -- аксиома -- логика предикатов

Экз-ры: чзт(4)

” Цитировать
Найти похожие
7.
   22.12
   Ж64

    Жетпісов, Қ.
    Математикалық логика және дискретті математика [Текст] : оқулық / Қ. Жетпісов. - Алматы : [б. и.], 2011. - 264 с. - ISBN 978-601-217-186-0 : 494 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
высшая математика -- математическая логика -- комбинаторный анализ -- дискретная математика -- теория графов

Экз-ры: чзт(5), аб(12)

” Цитировать
Найти похожие
8.
   22.12
   С-15

    Сакс, Д. Е.
    Теория насыщенных моделей [Текст] / Пер. с англ. Л.Л. Максимовой, Е.А. Палютина; Под ред. А.Д.Тайманова. - М. : Мир, 1976. - 192 с. - 1.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
   Книги в дар
Кл.слова (ненормированные):
Теория насыщенных моделей -- подсистема -- эквивалентность элементарная -- мономорфизм -- предел -- сигнатура -- поле замкнутое -- модель счетная -- теорема Вота -- теорема Чэна -- теорема Кейслера -- производная Кантора-Бендиксона -- производная Морли -- замыкание дифференциальное

Экз-ры: чзт(1)

” Цитировать
Найти похожие
9.
   22.12
   Г45

    Гжегорчик, А.
    Популярная логика. Общедоступный очерк логики предложений [Текст] / Пер. с пол. С.П. Беляева. - 2-е изд., испр. - М. : Наука, 1972. - 112 с. - 1.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
логика -- закон -- эквивалентность -- таблица -- множества -- предложение -- язык -- умозаключение

Экз-ры: чзт(1)

” Цитировать
Найти похожие
10.
   22.12
   М34

    Хомутенко, Л. Г.
    Математическая логика [Текст] : опорный конспект лекций / Сост. Л.Г. Хомутенко. - Павлодар : ПаУ, 2004. - 60с. - б/ц р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- множество -- теория доказательств -- булевы функции -- формула -- соответствия -- предиката -- кванторы

Экз-ры:

” Цитировать
Найти похожие
11.
   22.12
   И26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - М. : Академия, 2004. - 448с. - ISBN 5769513632 : 2300.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- булевы функции -- логика предикатов -- аксиоматический -- множества -- анализ -- алгебра -- геометрия -- математическое программирование -- язык -- ПРОЛОГ -- информатика

Экз-ры:

” Цитировать
Найти похожие
12.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 3-е изд., стер. - СПб. М. : Лань, 2004. - 336с. - ISBN 5811405332 : 2400.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория доказательств



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
13.
   22.1
   М74

    Мочалов, Л. П.
    Головоломки [Текст] / Мочалов Л.П. - М. : Наука, 1980. - 128с. - 1.00 р.
ББК 22.1
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
головоломка -- ребус -- арифметика -- цифра -- число -- домино -- полимино -- игра -- сквэрворд -- лабиринт -- алфавит

Экз-ры: аб(1)

” Цитировать
Найти похожие
14.
   22.12
   К60

    Колмогоров, А. Н.
    Математическая логика [Текст] : учебное пособие / Колмогоров А.Н., Драгалин А.Г. - 3-е изд., стер. - М. : Комкнига, 2006. - 240 с. - ISBN 5484005205 : 1900.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
число натуральное -- теория множеств -- функция -- отношения -- булева алгебра -- исчисление -- предикаты -- логические законы -- дедукция -- аксиома -- алгорифм -- теория доказательств -- математическая логика -- математика



Соавторы:
Драгалин, А.Г.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
15.
   22.12
   И26

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - ISBN 5769513632 : 2800.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- функции -- булевы функции -- логика предикатов -- аксиома -- множества -- анализ -- алгебра -- геометрия -- математическое программирование

Экз-ры: чзт(1)

” Цитировать
Найти похожие
16.
   22.1
   А 44

    Акулич, И. Ф.
    Королевские прогулки [Текст] / Акулич И.Ф. - М. : Бюро квантум, 2008. - 144 с. - (Библиотечка Квант). - ISBN 9785430728 : 250 р.
ББК 22.1
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- число -- целое -- теория чисел -- арифметика -- геометрия -- математический анализ -- геометрическая прогрессия -- алгебра -- дроби -- интегральное -- исчисление -- дифференциальные -- уравнения -- алгоритм -- вычислительная математика -- математическое программирование

Экз-ры:

” Цитировать
Найти похожие
17.
   22.12
   К 98

    Кэрролл, Л.
    Логическая игра [Текст] / Л. Кэрролл; Пер. с англ. Ю. Данилова. - М. : Наука, 1991. - 192 с. - 3 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- логическая игра -- арифметика -- логическая задача -- суждение -- головоломки -- силлогизм -- диаграмма

Экз-ры:

” Цитировать
Найти похожие
18.
   22.12
   Д 70

    Досанбай, П. Т.
    Математикалық логика [Текст] : оқулық / П. Т. Досанбай. - Алматы : [б. и.], 2011. - 278 с. - ISBN 978-601-217-244-7 : 666 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
число натуральное -- математикалық логика -- теория множеств -- функция -- отношения -- булева алгебра -- исчисление -- предикаты -- логические законы -- дедукция -- аксиома -- алгорифм -- теория доказательств -- математическая логика

Экз-ры: чзт(2)

” Цитировать
Найти похожие
19.
   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 448 с. - ISBN 978-5-7695-7045-2 : 6000 р.
ГРНТИ
27
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика и теория алгоритмов -- булевы функции -- исчисление -- аксиома -- логика предикатов -- информатика -- программное обеспечение -- язык программирования -- программирование -- программа -- ПРОЛОГ

Экз-ры: чзт(1)

” Цитировать
Найти похожие
20.
22.1
Д 75

    Дроботун, Б. Н.
    Руководство к решению задач по дискретной математике и математической логике. Часть I [Текст] / Б. Н. Дроботун. - Новое изд. - Астана : Фолиант, 2019. - 528 с. - (Высшее образование). - ISBN 978-601-338-239-5 : 4165 р.
ГРНТИ
27
ББК 22.1
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
Руководство к решению по дискретной математике и математической логике -- алгебра множеств -- диаграммы Эйлера-Венна -- Декартово произведение множеств -- БИНАРНЫЕ ОТНОШЕНИЯ -- предикаты на данном множестве -- функции алгебры логики -- Булевы функции -- Полиномы Жегалкина -- функциоально замкнутые классы и теорема Поста -- методы минимизации булевых функций -- карты Карно -- метод Блейка -- ядровые импликанты -- релейно-контактные схемы -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- комбинаторная математика -- ТРЕУГОЛЬНИК ПАСКАЛЯ и бином Ньютона -- числа Каталана -- МОДУЛЯРНАЯ АРИФМЕТИКА -- функция Эйлера -- алгоритм Эвклида и конечные непрерывные дроби -- линейные диофантовы уравнения -- РЕКОМЕНДОВАНО РУМС МОН РК

Экз-ры: аб2(3), аб(3)

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