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

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (13)Автореферати дисертацій (4)Реферативна база даних (111)Журнали та продовжувані видання (3)
Пошуковий запит: (<.>U=В123$<.>)
Загальна кількість знайдених документів : 39
Представлено документи з 1 до 20
...
      
Категорія: Фізико-математичні науки   
1.
Глушков В.М./ВА633

Гильберт, Д.
Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. проф. С. А. Яновской. - М. : Гос. изд-во иностр. лит., 1947. - 302 с. - Бібліогр.: с. 297-298. - Пер. изд. : Grundzuge der theoretischen Logik / D. Hilbert, W. Ackermann. - 2., verb. Aufl. - New York, 1946. - 10000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
2.
Глушков В. М. /Р26

Яблонский, С. В.
О невозможности элиминации перебора всех функций из Р2 при решении некоторых задач теории схем [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 44-47. - Библиогр.: с. 47
Отт. из Докл. Акад. наук СССР. - 1959.- Т. 124, № 1. - С дарств. надписью

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
3.
Глушков В.М./В48/6

Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппарат кибернетики" [Текст] / чл.-кор. Глушков В. М. - К. : [б. и.].
Лекция 6 : Теорема о функциональной полноте /неослабленная/ / Дом науч.-техн. пропаганды Киевского гор. отд-ния о-ва по распространению полит. и науч. знаний. - К. : [б. и.], 1960. - 22 с. - 1000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
4.
Глушков В.М./В48/2

Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппарат кибернетики" [Текст] / Акад. Глушков В. М. - К. : [б. и.].
Лекция 2 : Алгебра логики / Киев. Дом науч.-техн. пропаганды. - 1961. - 26 с. - 1000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
5.
Глушков В.М./В48/4

Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппарат кибернетики" [Текст] / Акад. Глушков В. М. - К. : [б. и.].
Лекция 4 : Линейные и монотонные функции / Киев. Дом науч.-техн. пропаганды. - 1961. - 11 с. - 1000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
6.
Глушков В. М. /Р29

Рабинович, З. Л.
Об одном классе канонических форм представления трёхзначных функций [Текст] / З. Л. Рабинович, Ю. Л. Иваськив. - М. : [б. и.], 1963. - С. 27-33 : табл.
Отд. отт. из изд.: Известия Академии наук СССР. Техническая кибернетика. - 1963, № 5. - С дарств. надписью

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Комп'ютерна арифметика 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
7.
Глушков В.М./ВА148

Калужнін, Лев Аркадійович.
Алгоритми і математичні машини [Текст] : навч. посіб. для студ. фіз.-мат. ф-тів пед. ін-тів УРСР / Л. А. Калужнін, В. С. Королюк. - К. : Радянська школа, 1964. - 282 с. : табл. - Бібліогр.: с. 279-280. - 2800 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Теорія алгоритмів 
 Математичні машини 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
8.
Глушков В.М./ВА950

Поспелов, Дмитрий Александрович.
Логические методы анализа и синтеза схем [Текст] / Д. А. Поспелов. - М. ; Ленинград : Энергия, 1964. - 320 с. : рис. - Бібліогр.: с. 316-320. - 9000 прим.
З дарчим написом Глушкову В. М. від авт.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Логічні елементи дискретної обчислювальної техніки 




Видання зберігається у :

      
Категорія: Фізико-математичні науки   
9.
Глушков В.М./ВА1047

Яблонский, Сергей Всеволодович.
Функции алгебры логики и классы Поста [Текст] / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - М. : Наука, Гл. ред. физ.-мат. лит., 1966. - 119 с. : рис., табл. - (Математическая логика и основания математики). - Бібліогр.: с. 113-115. - 10000 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
10.
Глушков В.М./ВА233

Рвачев, Владимир Логвинович.
Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. - К. : Техніка, 1967. - 212 с. : рис. - Бібліогр.: с. 207-209 . - 5800 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Аналітична геометрія 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
11.
Глушков В.М./ВА900


Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
12.
Глушков В.М./ВА173

Гиндикин, Семён Григорьевич.
Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, Гл. ред. физ.-мат. лит., 1972. - 288 с. : рис. - Бібліогр.: с. 282-284 . - 50000 прим.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
13.
Глушков В.М./ВА303

Рвачев, Владимир Логвинович.
Методы алгебры логики в математической физике [Текст] / В. Л. Рвачев ; АН УССР, Ин-т проблем машиностроения. - К. : Наукова думка, 1974. - 258, [1] с. - Бібліогр.: с. 251-257. - 3150 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Загальні роботи <Математична фізика> 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
14.
ВА657238

Марченков, Сергей Серафимович.
Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
15.
ВА624917


Избранные вопросы теории булевых функций [Текст] / А. С. Балюк [и др.] ; ред. С. Ф. Винокуров, Ю. В. Перязева ; Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы". - М. : Физматлит, 2001. - 192 с.: рис. - Библиогр.: с. 188-191. - ISBN 5-9221-0085-8

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
16.
ВА635517

Закревский, Аркадий Дмитриевич.
Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Багатозначна логіка 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
17.
ВА627080

Трохимчук, Ростислав Миколайович.
Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
18.
В345249/Ч. 1

Блюмин, Семен Львович
Математическое обеспечение информационных технологий [Текст] : учеб. пособие / С. Л. Блюмин [и др.]. - Липецк : НОУ "Липецкий эколого-гуманитарный ин-т", 2001 .
Ч. 1 : Реляционная математика и базы данных. - [Б. м.] : [б.и.], 2001. - 74 с. - Библиогр.: с. 74

Рубрики:
 Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів 
 Реляційні бази даних 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
19.
ДС76317

Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Формальні методи програмування 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
20.
РА321007

Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Формальні методи програмування 




Видання зберігається у :
Основний фонд

...
 

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