Поисковый запрос: (<.>K=математическая логика<.>) |
Общее количество найденных документов : 95
Показаны документы с 1 по 20 |
|
1.
| Алшаиа, Хайдер Яхья Атоун. Метод и алгоритм обработки данных на основе идентификаторов в специализированном вычислительном устройстве : автореф. дис. на соиск. ученой степ. канд. технических наук. Спец. 05.13.05 - Элементы и устройства вычислительной техники и систем управления. - Курск : Юго-западный гос. ун-т
, 2021. - 20 с. (
1 экз. )
|
2.
| Андерсон, Джеймс. Дискретная математика и комбинаторика : Пер. с англ.. - М. : Вильямс
, 2004. - 957[3] с. (
10 экз. )
|
3.
| Ахо, Альфред. Теория синтаксического анализа, перевода и компиляции [] : в 2 т.: пер. с англ.. Т. 1 : Синтаксический анализ. - М. : Мир
, 1978. - 612 с. (
3 экз. )
|
4.
| Бабичева, Ирина Владимировна. Дискретная математика. Контролирующие материалы к тестированию [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2022 on-line (
экз. )
|
5.
| Бабичева, Ирина Владимировна. Дискретная математика. Контролирующие материалы к тестированию : учебное пособие. - СПб. : Лань
, 2013. - 160 с. (
5 экз. )
|
6.
| Байиф, Жан-Клод. Логические задачи : научное издание. - М. : Мир
, 1983. - 172 с (
2 экз. )
|
7.
| Бартоломей, Петр Иванович. Электроэнергетика: информационное обеспечение систем управления [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
. - Екатеринбург : Издательство Уральского университета
, 2020 on-line (
экз. )
|
8.
| Борзунов, Сергей Викторович. Задачи по дискретной математике : учебное пособие. - СПб. : БХВ-Петербург
, 2016. - 520 с. (
1 экз. )
|
9.
| Введение в алгебру и математический анализ [Электр.ресурс] : учебное пособие для вузов. - СПб. : Лань
, 2023 on-line (
экз. )
|
10.
| Волгин, Леонид Иванович. Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника : научное издание. - Ульяновск : УлГТУ
, 2005. - 250 с. (
1 экз. )
|
11.
| Вольвачев, Раймонд Трофимович. Элементы математической логики и теории множеств : Учебное пособие для вузов : Университетское
, 1986. - 108[4] с. (
10 экз. )
|
12.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 122 : Прикладные аспекты математической логики : сборник научных трудов. - Новосибирск : Институт математики
, 1987. - 166[2] с. (
2 экз. )
|
13.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов. - Новосибирск : Институт математики
, 1989. - 198[4] с. (
2 экз. )
|
14.
| Гагарина, Лариса Геннадьевна. Алгоритмы и структуры данных : учебное пособие для вузов. - М. : Финансы и статистика
, 2009. - 304 с. (
57 экз. )
|
15.
| Гаек, Петр. Автоматическое образование гипотез. Математические основы общей теории : научное издание. - М. : Наука
, 1984. - 280 с. (
3 экз. )
|
16.
| Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : . - М. : Айрис-Пресс
, 2007. - 173[3] с. (
2 экз. )
|
17.
| Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : курс лекций. - М. : Айрис-Пресс
, 2008. - 176 с. (
1 экз. )
|
18.
| Гильберт, Давид. Основания математики. Логические исчисления и формализация арифметики : научное издание. - М. : Наука
, 1982. - 556 с (
2 экз. )
|
19.
| Гильберт, Давид. Основания математики. Теория доказательств : научное издание. - М. : Наука
, 1982. - 656 с (
2 экз. )
|
20.
| Горбатов, Вячеслав Афанасьевич. Основы дискретной математики : учебное пособие для вузов. - М. : Высшая школа
, 1986. - 310[2] с. (
37 экз. )
|
|
|
|
Основная база библиотеки
Стандартный