Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Наукова електронна бібліотека - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повний стислий
 Знайдено в інших БД:Автореферати дисертацій (4)Реферативна база даних (111)Книжкові видання та компакт-диски (39)Журнали та продовжувані видання (3)
Пошуковий запит: (<.>U=В123$<.>)
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
1.Баврин И. И. Старинные задачи [Електронний ресурс] / И. И. Баврин, Е. А. Фрибус. - М. : Просвещение, 1994. - 128 с.
2.Барендрегт Х. П. Ламбда-исчисление [Електронний ресурс] : его синтаксис и семантика : пер. с англ. / Х. П. Барендрегт. - М. : Мир, 1985. - 606 с.
3.Вагин В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
4.Гиндикин С. Г. Алгебра логики в задачах [Електронний ресурс] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с.
5.Депман И. Я. Первое знакомство с математической логикой [Електронний ресурс] / И. Я. Депман. - Ленинград : Знание, 1963. - 57 с.
6.Ивин А. А. Логика [Електронний ресурс] : учеб. пособие для студентов вузов / А. А. Ивин. - М. : Оникс, 2008. - 338 с.
7.Избранные вопросы теории булевых функций [Електронний ресурс] / ред.: С. Ф. Финокуров, Н. А. Перязев. - М. : Физматлит, 2001. - 196 с.
8.Марченков С. С. Замкнутые классы булевых функций [Електронний ресурс] / С. С. Марченков. - М. : Физматлит, 2000. - 128 с.
9.Пензов Ю. Е. Элементы математической логики и теории множеств [Електронний ресурс] / Ю. Е. Пензов. - Саратов : Изд-во Саратовского ун-та, 1968. - 143 с.
10.Робинсон А. Введение в теорию моделей и математику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с. - (Математическая логика и основания математики)
11.Серебрянников О. Ф. Эвристические принципы и логические исчисления [Електронний ресурс] / О. Ф. Серебрянников. - М. : Наука, 1970. - 283 с.
12.Яблонский С. В. Функции алгебры логики и классы Поста [Електронний ресурс] / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - М. : Наука. Главная редакция физико-математической литературы, 1966. - 120 с. - (Математическая логика и основания математики)
13.Яглом И. М. Необыкновенная алгебра [Електронний ресурс] / И. М. Яглом. - М. : Наука. Главная редакция физико-математической литературы, 1968. - 72 с. - (Популярные лекции по математике. Вып. 45)
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського