Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
|
| |
1. | РА299626 Шрамко, Ярослав Владиславович. Логічне слідування і інтуїціонізм (проблема релевантизації інтуїціоністської логіки) [Текст] : автореф. дис... д-ра філос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; НАН України, Ін-т філософії ім. Г. С. Сковороди. - К., 1998. - 42 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут філософії імені Г. С. Сковороди (Київ)
Видання зберігається у :
Основний фонд
|
2. | РА299164 Гладунський, Василь Назарович. Методичні основи вивчення курсу логіки в середніх загальноосвітніх, спеціалізованих та професійних навчальних закладах [Текст] : автореф. дис... канд. пед. наук: 13.00.02 / Гладунський Василь Назарович ; АПН України, Ін-т педагогіки і психології проф. освіти. - К., 1998. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Академія педагогічних наук України (Київ); Інститут педагогіки і психології професійної освіти (Київ)
Видання зберігається у :
Основний фонд
|
3. | РА367236 Сінько, Юрій Іванович. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій [Текст] : автореф. дис... канд. пед. наук : 13.00.02 / Сінько Юрій Іванович ; Херсонський держ. ун-т. - Херсон, 2009. - 20 с. : рисРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Херсонський державний університет
Видання зберігається у :
Основний фонд
|
4. | ДС63406 Шрамко, Ярослав Владиславович. Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт философии имени Г. С. Сковороды (Киев)
Видання зберігається у :
Основний фонд
|
5. | ДС111849 Сінько, Юрій Іванович. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій [Текст] : дис. ... канд. пед. наук : 13.00.02 / Сінько Юрій Іванович ; Херсон. держ. ун-т. - Херсон, 2009. - 270 арк. : рис., табл. - Бібліогр.: арк. 252-270.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Херсонський державний університет
Видання зберігається у :
Основний фонд
|
6. | Глушков В. М./В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)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
7. | Глушков В. М./В31/1 Чёрч, А. Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 . Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo
Видання зберігається у :
Основний фонд
|
8. | Глушков В.М./В48/5 Глушков, Виктор Михайлович Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппатат кибернетики" [Текст] / Акад. Глушков В. М. ; Киев. Дом науч.-техн. пропаганды. - К. : [б. и.], [19--?] . Лекция 5 : Теорема о функциональной полноте (ослабленная). - 1961. - 26 с. - 1000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Киевский Дом научно-технической пропаганды
Видання зберігається у :
Основний фонд
|
9. | Глушков В.М./ВА177 Гудстейн, Р. Л. Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957 Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Чернявский, В. С. (пер.); Яновская, С. А. (ред., авт. предисл.); Goodstein, R. L.
Видання зберігається у :
Основний фонд
|
10. | Глушков В.М./ВА902 Стяжкин, Николай Иванович. Становление идей математической логики [Текст] / Н. И. Стяжкин ; АН СССР, Ин-т философии. - М. : Наука, 1964. - 204 с. - Бібліогр.: с. 277-298. - 4000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Академия наук СССР; Институт философии
Видання зберігається у :
Основний фонд
|
11. | Глушков В.М./ВА192 Калужнин, Лев Аркадьевич. Что такое математическая логика? [Текст] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с. : рис. - Библиогр.: с. 149-150. - 42 000 прим. З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
12. | Глушков В.М./ВА1041 Столяр, Абрам Аронович. Элементарное введение в математическую логику [Текст] : пособ. для учителей / А. А. Столяр. - М : Просвещение, 1965. - 163 с. : рис., табл. - Бібліогр.: с. 162. - 25000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
13. | Глушков В.М./ВА941 Карри, Хаскелл Б.. Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - М. : Мир, 1969. - 568 с. : рис. - Бібліогр.: с. 518-547. - Пер. изд. : Foundations of mathematical logic / Haskell B. Curry. - New York [a. o.], 1963Рубрикатор НБУВ: Дод. точки доступу: Донченко, В. В. (пер.); Гастев, Ю. А. (ред.); Curry, Haskell B.
Видання зберігається у :
Основний фонд
|
14. | ТРУДЫ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОГО СЕМИНАРА ЛОГИЧЕСКОГО ЦЕНТРА ИНСТИТУТА ФИЛОСОФИИ РАН.1993. (1994)
|
15. | ВА571779 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-ХРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Максимова, Лариса Львовна
Видання зберігається у :
|
16. | В341094/. 2 Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения). 2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Смирнов, В. А. (отв. ред.); РАН
Видання зберігається у :
Основний фонд
|
17. | В340074/Ч. 2 Гладунський, Василь Назарович Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 . Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл. - ISBN 5-7745-0571-5Рубрикатор НБУВ: Дод. точки доступу: Гладунська, Ганна Андріївна
Видання зберігається у :
Основний фонд
|
18. | ВА570776 Смирнова, Е. Д.. Логика и философия [Текст] / Е. Д. Смирнова. - М. : РОССПЭН, 1996. - 302 с. - (Научная философия). - ISBN 5-86004-039-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
19. | ВА575391 Курбатов, В. И.. Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0 Замена ВА575491Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
20. | ІВ196231 Urchs, Max.... Klasyczny rachunek zdań [Text] : wykład i zadania. Skrypt dla studentów pierwszego roku / M. Urchs [i i] [i i] ; Uniwersytet Mikołaja Kopernika. - Toruń : [б.в.], 1997. - 91 s. - ISBN 83-231-0858-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Nasieniewski, Marek; Kwiatkowski, Skarbimir; Uniwersytet Mikołaja Kopernika
Видання зберігається у :
|
| |