Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
|
| |
1. | Глушков В. М./В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)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
2. | ІВ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
Видання зберігається у :
|
3. | Österr.bibl./№3682 Stadler, Friedrich. Studien zum Wiener Kreis [Text] : Ursprung, Entwicklung und Wirkung des logischen Empirismus im Kontext / F. Stadler. - Frankfurt am Main : Suhrkamp, 1997. - 1035 S. - Бібліогр.: s.962-1012. - ISBN 3-518-58207-0Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Видання зберігається у :
|
4. | ВА755749 Бурдюк, Володимир Якович. Абстрактні множини (системний аналіз) [Текст] : [монографія] / В. Я. Бурдюк. - Д. : Ліра, 2012. - 159 с. : рис. - Бібліогр.: с. 153. - 150 прим. - ISBN 978-966-383-396-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
5. | Глушков В. М./В31/1 Чёрч, А. Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 . Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo
Видання зберігається у :
Основний фонд
|
6. | ВА639448 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] / В. А. Успенский [и др.]. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8 Н обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
7. | ВА700517 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский [и др.]. - М. : ФИЗМАТЛИТ, 2007. - 125 с. - Библиогр.: с. 122. - ISBN 978-5-9221-0278-0 На обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
8. | АО266909 Гладунський, Василь Назарович. Вища математика й елементи логіки. Означення, формули, приклади [Текст] : навч. посіб. для студ. ВНЗ / В. Н. Гладунський ; Львівський ін-т банківської справи Університету банківської справи Національного банку України. - Вид. 2-ге, доп. - Л. : Афіша, 2008. - 503 c. - Бібліогр.: с. 489. - ISBN 978-966-325-102-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Львівський інститут банківської справи Університету банківської справи Національного банку України
Видання зберігається у :
Основний фонд
|
9. | Р97730 Содномов, Базар Содномович. Двенадцать лекций по математической логике [Текст] : учеб. пособие / Б. С. Содномов ; Якутский гос. ун-т им. М.К.Аммосова. - Якутск : Издательство Якутского ун-та, 1998. - 48 с. - Библиогр.: с.48. - ISBN 5-7513-0173-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Якутский гос. университет имени М. К. Аммосова
Видання зберігається у :
Основний фонд
|
10. | СО35556 Ломакович, Афанасій Миколайович. Елементи математичної логіки і теорії алгоритмів [Текст] : навч. посіб. / А. М. Ломакович ; Кремен. обл. гуманітар.-пед. акад. ім. Тараса Шевченка. - Кременець : ВЦ КОГПА ім. Тараса Шевченка, 2017. - 189 с. : іл. - Бібліогр.: с. 187. - 300 прим. - ISBN 978-966-1546-45-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Кременецька обласна гуманітарно-педагогічна академія імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
11. | ВА651835 Любченко, Костянтин Миколайович. Елементи математичної логіки з комп'ютерною підтримкою [Текст] : посіб. для вчителів / К. М. Любченко, Ю. В. Триус ; Черкаський національний ун-т ім. Богдана Хмельницького. - Черкаси : Видавничий відділ ЧНУ, 2004. - 87 с.: рис., табл. - Бібліогр.: с. 73. - ISBN 966-7986-72-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Триус, Юрій Васильович; Черкаський національний університет імені Богдана Хмельницького
Видання зберігається у :
Основний фонд
|
12. | ВА837634 Авдеюк, Павло Іванович. Елементи математичної логіки та теорії алгоритмів [Текст] : навч.-метод. посіб. / П. І. Авдеюк, О. В. Зеленський ; Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка. - Кам'янець-Подільський : Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка, 2019. - 159 с. - Бібліогр.: с. 158-159. - 50 прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Зеленський, Олексій Віталійович; Кам'янець-Подільський національний університет імені Івана Огієнка
Видання зберігається у :
Основний фонд
|
13. | ВА739027 Дрозд-Корольова, Олена Юріївна. Задачі з математичної логіки [Текст] : навч. посіб. / О. Ю. Дрозд-Корольова ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2010. - 95 с. : табл. - Бібліогр.: с. 95. - 120 прим. - ISBN 978-966-439-343-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
14. | ВА615667 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
15. | ВА571779 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-ХРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
16. | ВА713039 Трохимчук, Ростислав Миколайович. Збірник задач і вправ з математичної логіки [Текст] : навчальний посібник / Р. М. Трохимчук ; Міжрегіональна академія управління персоналом (МАУП). - К. : Персонал, 2008. - 115 с. - Бібліогр.: с. 113. - ISBN 978-966-608-854-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Міжрегіональна академія управління персоналом (МАУП)
Видання зберігається у :
Основний фонд
|
17. | ВА574210 Карамишева, Неллі Василівна. Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет
Видання зберігається у :
Основний фонд
|
18. | ВА589484 Фреге, Готлоб. Избранные работы [Текст] / Г. Фреге ; пер. с нем. В. В. Анашвили ; сост. В. В. Анашвили, А. Л. Никифоров. - М. : ДИК, 1997. - 159 с. - ISBN 5-7333-0435-9Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Анашвили, В. В. (сост.); Никифоров, А. Л. (сост.); Анашвили, В. В. (пер. с нем.)
Видання зберігається у :
Основний фонд
|
19. | CDR108 Классические и альтернативные минимальные формы логических функций [Электронный ресурс] [Текст] : каталог-справочник / Ю. А. Кочкарев [и др.]. - Черкассы : [б.и.], Б.г... - 1 электрон. опт. диск (CDR)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Кочкарев, Ю. А.; Казаринова, Н. Л.; Пантелеева, Н. Н.; Шакун, С. А.
Видання зберігається у :
Основний фонд
|
20. | ВА734436 Кондратенко, Наталія Романівна. Комп'ютерний практикум з математичної логіки [Текст] : [навч. посіб.] / Н. Р. Кондратенко. - [Вінниця] : [ВНТУ], [2010]. - 117 с. : табл. - Бібліогр.: с. 98. - 300 прим. - ISBN 978-966-641-381-2Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| |