Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (485)Автореферати дисертацій (28)Реферативна база даних (811)Наукова періодика України (1)
Пошуковий запит: (<.>U=В12$<.>)
Загальна кількість знайдених документів : 773
Представлено документи з 1 до 20
...
1.
ІВ231633
موحد, ضیا.
منطق موجهات [Text] / .ض موحد. - تهران : هرمس, 1381. - 320+7 .ص. - ISBN 964-363-111-7

Рубрикатор НБУВ:
 В128.1 
УДК:
 510.643 
Тематичні рубрики:
 Модальна логіка 


Видання зберігається у :
Чит. зал Іранськой бібліотеки

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

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


Дод. точки доступу:
Аккерман, В.; Ерофеева, А. А. (пер.); Яновская, С. А. (ред., авт. вступ. ст.); Hilbert, D.; Ackermann, W.

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

3.
Глушков В.М./ІВ36
Wright, Georg H. (von).
An essay in modal logic [Text] / Georg H. von Wright. - Amsterdam : North Holland, 1951. - VI, 90 p. : tab. - (Studies in logic and the foundations of mathematics)

Рубрикатор НБУВ:
 В128.1 
Тематичні рубрики:
 Модальна логіка 


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

4.
Глушков В.М./ІВ35
Rosser , J. Barkley.
Many-valued logics [Text] / J. Barkley Rosser , Atwell R. Turquette. - Amsterdam : North Holland, 1952. - 124 p. - (Studies in logic and the foundations of mathematics). - Бібліогр.: с. 112-115

Рубрикатор НБУВ:
 В128.2 
Тематичні рубрики:
 Багатозначна логіка 


Дод. точки доступу:
Turquette, Atwell R.

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

5.
Глушков В.М./ВА603
Петер, Р.
Рекурсивные функции [Текст] / Р. Петер ; пер. с нем. В. А. Успенского ; под. ред. и с предисл. А. Н. Колмогорова. - М. : Изд-во иностранной литературы, 1954. - 264 с. - Пер. изд. : Rekursive Funktionen / Péter Rózsa. - Budapest, 1951

Рубрикатор НБУВ:
 В127 
Тематичні рубрики:
 Теорія алгоритмів, рекурсивні функції 


Дод. точки доступу:
Успенский, В. А. (пер.); Колмогоров, А. Н. (ред.); Péter, R.

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

6.
Глушков В.М./ІВ38
Ackermann, W.
Solvable cases of the decision problem [Text] / by W. Ackermann. - Amsterdam : North-Holland, 1954. - VIII, 114 p. - (Studies in logic and foundations of mathematics). - Бібліогр.: с. 108-112

Рубрикатор НБУВ:
 В124 
Тематичні рубрики:
 Теорія доведень. Пошук виведення і розв'язності в логіці 


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

7.
Глушков В. М./В53/1
   Church, Alonzo
Introduction to mathematical logic [Text] / by Alonzo Church. - Princeton, New Jersey : Princeton univ. press, 1956 .
Vol. 1. - 1956. - IX, 376 p. - (Princeton mathematical series ; № 17)

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:
 Математична логіка 


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

8.
Глушков В. М./ІВ7
Heyting, A.
Intuitionism. An introduction [Text] / A. Heyting. - Amsterdam : North-Holland Publishing Company, 1956. - VIII, 132 p. : fig. - (Studies in logic and the foundations of mathematics)

Рубрикатор НБУВ:
 В120 
Тематичні рубрики:
 Основи математики 


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

9.
Глушков В.М./ВС59
Клини, Стефен К..
Введение в метаматематику [Текст] / Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Изд-во иностр. лит., 1957. - 526 с. - Бібліогр.: с. 493-509. - Пер. изд. : Introduction to metamathematics / Stephen Cole Kleene. - New York ; Toronto, 1952

Рубрикатор НБУВ:
 В120 
Тематичні рубрики:
 Основи математики 


Дод. точки доступу:
Есенин-Вольпин, А. С. (пер.); Успенский, В. А. (ред.); Kleene, Stephen Cole

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

10.
Глушков В. М. /Р34
   Мальцев, А. И.
О некоторых классах моделей [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1958. - С. 245-248. - Библиогр.: с. 248
Отт. из Докл. Акад. наук СССР. - 1958.- Т. 120, № 2. - С дарств. надписью

Рубрикатор НБУВ:
 В122 
 В152.7 
Тематичні рубрики:
 Теорія моделей 
 Загальна теорія алгебраїчних систем. Універсальні алгебри 


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

11.
Глушков В.М./ІВ68
Culbertson, James T..
Mathematics and logic for digital devices [Text] / James T. Culbertson. - Princeton, New Jersey[etc.] : D. van Nostrand company, 1958. - X, 224 p. : fig.

Рубрикатор НБУВ:
 В12 
 В152.61 
 З973-047 
Тематичні рубрики:
 Основи математики. Математична логіка. Дискретна математика 
 Булеві кільця і алгебри. Дистрибутивні структури 
 Арифметичні та логічні елементи 


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

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

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


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

13.
Глушков В. М. /Р28
   Мальцев, А. И.
О малых моделях [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 258-261. - Библиогр.: с. 261
Отт. из Докл. Акад. наук СССР. - 1959.- Т. 127, № 2. - С дарств. надписью

Рубрикатор НБУВ:
 В122 
Тематичні рубрики:
 Теорія моделей 


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

14.
Глушков В.М./ВА1063

Логические исследования [Текст] : сб. ст. / Акад. наук СССР, Ин-т философии ; [редкол. : Э. Кольман и др.]. - М. : Изд-во АН СССР, 1959. - 266 с. : рис., табл. - Бібліогр. в кінці ст. - 5000 прим.

Рубрикатор НБУВ:
 В12 я43 
Тематичні рубрики:
 Основи математики. Математична логіка. Дискретна математика 


Дод. точки доступу:
Кольман, Э. (ред.); Поваров, Г. Н. (ред.); Таванец, П. В. (ред.); Академия наук СССР; Институт философии (Москва)

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

15.
Глушков В. М. /Р39
   Мальцев, А. И.
Модельные соответствия [Текст] / А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 313-336. - Библиогр.: с. 335-336
Отт. из Известий Академии наук. Серия математическая. - 1959, № 23. - С дарств. надписью

Рубрикатор НБУВ:
 В122 
Тематичні рубрики:
 Теорія моделей 


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

16.
Глушков В. М. /Р27
Яблонский, С. В.
О некоторых свойствах счётных замкнутых классов из Р [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 990-993 : табл. - Библиогр.: с. 993
Отт. из Докл. Акад. наук СССР. - 1959. -Т. 124, № 5

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:
 Некласичні логічні системи 


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

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

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


Дод. точки доступу:
Общество по распространению политических и научных знаний. Киевское городское отделение. Дом научно-технической пропаганды; "Математический аппарат кибернетики", научно-технический семинар

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

18.
Глушков В.М./ВА1031
Успенский, Владимир Андреевич.
Лекции о вычислимых функциях [Текст] / В. А. Успенский. - М. : Физматгиз, 1960. - 492 с. : табл. - (Математическая логика и основания математики). - Бібліогр.: с. 476-481. - 9000 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
 В127 
Тематичні рубрики:
 Теорія алгоритмів, рекурсивні функції 


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

19.
Глушков В. М./В31/1
   Чёрч, А.
Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 .
Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:
 Математична логіка 


Дод. точки доступу:
Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo

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

20.
Глушков В.М./ВА844
Трахтенброт, Борис Авраамович.
Алгоритмы и машинное решение задач [Текст] / Б. А. Трахтенброт ; под ред. С. В. Яблонского. - Изд. 2-е. - М. : Физматгиз, 1960. - 120 с. : рис., табл. - 25 000 прим.

Рубрикатор НБУВ:
 В127.3 
 З973-018 
Тематичні рубрики:
 Теорія алгоритмів 
 Програмування 


Дод. точки доступу:
Яблонский, С. В. (ред.)

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

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

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