Пошуковий запит: (<.>U=В121<.>) |
Загальна кількість знайдених документів : 18
Представлено документи з 1 до 18
|
1. | ДС63406 Шрамко, Ярослав Владиславович. Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт философии имени Г. С. Сковороды (Киев)
Видання зберігається у :
Основний фонд
|
2. | РА299626 Шрамко, Ярослав Владиславович. Логічне слідування і інтуїціонізм (проблема релевантизації інтуїціоністської логіки) [Текст] : автореф. дис... д-ра філос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; НАН України, Ін-т філософії ім. Г. С. Сковороди. - К., 1998. - 42 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут філософії імені Г. С. Сковороди (Київ)
Видання зберігається у :
Основний фонд
|
3. | В341094/. 2 Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения). 2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Смирнов, В. А. (отв. ред.); РАН
Видання зберігається у :
Основний фонд
|
4. | Р93104 Шеремет, М. С.. Теоремы полноты для логики тождеств Эванса [Текст] / М. С. Шеремет. - Новосибирск : [б.и.], 2001. - 12 с. - (Препр. / НИИ дискретной математики и информатики ; 56). - Библиогр.: с. 11-12Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: НИИ дискретной математики и информатики
Видання зберігається у :
Основний фонд
|
5. | CDR108 Классические и альтернативные минимальные формы логических функций [Электронный ресурс] [Текст] : каталог-справочник / Ю. А. Кочкарев [и др.]. - Черкассы : [б.и.], Б.г... - 1 электрон. опт. диск (CDR)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Кочкарев, Ю. А.; Казаринова, Н. Л.; Пантелеева, Н. Н.; Шакун, С. А.
Видання зберігається у :
Основний фонд
|
6. | ВА653175 Зыков, Александр Александрович. Логико-философское введение в высшую математику [Текст] : учеб. пособие / А. А. Зыков. - О. : Астропринт, 2003. - 115 с.: рис. - Библиогр.: с. 115. - ISBN 966-318-093-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
7. | ВА693520 Клини, Стивен Коул. Математическая логика [Текст] / С. К. Клини ; пер. с англ. Ю. А. Гастев ; ред. пер. МиГ. Е. Минц. - Изд. 3-е, стер. - М. : URSS. КомКнига, 2007. - 480 с. - Библиогр.: с. 451-465. - ISBN 978-5-484-00802-5. - ISBN 5-484-00802-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Минц, Г. Е. (ред.); (ред.пер.); Гастев, Ю. А. (пер. с англ.)
Видання зберігається у :
Універсальний підсобний фонд
|
8. | ВА693516 Пуанкаре, Анри. Математика и логика [Текст] / А. Пуанкаре, Л. Кутюра ; пер. с фр. П. Юшкевич, А. Долин. - Изд. 2-е: [репр. изд.]. - М. : URSS. ЛКИ, 2007. - 148 с. - (Из наследия мировой философской мысли : философия науки). - ISBN 978-5-382-00019-0Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Кутюра, Луи; Юшкевич, П. (пер. с фр.); Долин, А. (пер. с фр.)
Видання зберігається у :
Універсальний підсобний фонд
|
9. | ВА660139 Зиновьев, Александр Александрович. Очерки комплексной логики [Текст] / А. А. Зиновьев ; отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 560 с. - Библиогр.: в конце разд. - ISBN 5-8360-0125-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Сидоренко, Е. А. (отв. ред.)
Видання зберігається у :
Основний фонд
|
10. | Р98642 Мельник, Володимир Іванович. Парадокси математики. Теореми Гьоделя. Онтологічне доведення Бога [Текст] / В. І. Мельник. - К. : Знання України, 2003. - 20 с. - ISBN 966-7999-82-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
11. | ВА703098 Карпенко, Александр Степанович. Логики Лукасевича и простые числа [Текст] / А. С. Карпенко ; отв. ред. В. К. Финн. - Изд. 2-е, испр. - М. : URSS. ЛКИ, 2007. - 255 с. - Библиогр.: с. 223-243. - ISBN 978-5-382-00268-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Финн, В. К. (отв. ред.); Лукасевич, Ян (1878-1956) (о нём)
Видання зберігається у :
Універсальний підсобний фонд Основний фонд
|
12. | Глушков В. М./В31/1 Чёрч, А. Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 . Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo
Видання зберігається у :
Основний фонд
|
13. | Глушков В. М./В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)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
14. | Глушков В.М./В48/5 Глушков, Виктор Михайлович Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппатат кибернетики" [Текст] / Акад. Глушков В. М. ; Киев. Дом науч.-техн. пропаганды. - К. : [б. и.], [19--?] . Лекция 5 : Теорема о функциональной полноте (ослабленная). - 1961. - 26 с. - 1000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Киевский Дом научно-технической пропаганды
Видання зберігається у :
Основний фонд
|
15. | Глушков В.М./ВА941 Карри, Хаскелл Б.. Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - М. : Мир, 1969. - 568 с. : рис. - Бібліогр.: с. 518-547. - Пер. изд. : Foundations of mathematical logic / Haskell B. Curry. - New York [a. o.], 1963Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Донченко, В. В. (пер.); Гастев, Ю. А. (ред.); Curry, Haskell B.
Видання зберігається у :
Основний фонд
|
16. | Глушков В.М./ВА1041 Столяр, Абрам Аронович. Элементарное введение в математическую логику [Текст] : пособ. для учителей / А. А. Столяр. - М : Просвещение, 1965. - 163 с. : рис., табл. - Бібліогр.: с. 162. - 25000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
17. | ВА755749 Бурдюк, Володимир Якович. Абстрактні множини (системний аналіз) [Текст] : [монографія] / В. Я. Бурдюк. - Д. : Ліра, 2012. - 159 с. : рис. - Бібліогр.: с. 153. - 150 прим. - ISBN 978-966-383-396-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
18. | РА454227 Грушка, Ярослав Іванович. Теоретико-множинні методи в релятивістській кінематиці [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.01.06 / Грушка Ярослав Іванович ; НАН України, Ін-т математики. - Київ, 2024. - 47 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут математики (Київ)
Видання зберігається у :
Основний фонд
|