Пошуковий запит: (<.>U=В121 я73$<.>) |
Загальна кількість знайдених документів : 41
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ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
Видання зберігається у :
|
| 2. |
ВА639448
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] / В. А. Успенский [и др.]. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8
Н обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
| 3. |
ВА700517
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский [и др.]. - М. : ФИЗМАТЛИТ, 2007. - 125 с. - Библиогр.: с. 122. - ISBN 978-5-9221-0278-0
На обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
| 4. |
АО266909
Гладунський, Василь Назарович.
Вища математика й елементи логіки. Означення, формули, приклади [Текст] : навч. посіб. для студ. ВНЗ / В. Н. Гладунський ; Львівський ін-т банківської справи Університету банківської справи Національного банку України. - Вид. 2-ге, доп. - Л. : Афіша, 2008. - 503 c. - Бібліогр.: с. 489. - ISBN 978-966-325-102-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Львівський інститут банківської справи Університету банківської справи Національного банку України
Видання зберігається у :
Основний фонд
|
| 5. |
Р97730
Содномов, Базар Содномович.
Двенадцать лекций по математической логике [Текст] : учеб. пособие / Б. С. Содномов ; Якутский гос. ун-т им. М.К.Аммосова. - Якутск : Издательство Якутского ун-та, 1998. - 48 с. - Библиогр.: с.48. - ISBN 5-7513-0173-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Якутский гос. университет имени М. К. Аммосова
Видання зберігається у :
Основний фонд
|
| 6. |
СО35556
Ломакович, Афанасій Миколайович.
Елементи математичної логіки і теорії алгоритмів [Текст] : навч. посіб. / А. М. Ломакович ; Кремен. обл. гуманітар.-пед. акад. ім. Тараса Шевченка. - Кременець : ВЦ КОГПА ім. Тараса Шевченка, 2017. - 189 с. : іл. - Бібліогр.: с. 187. - 300 прим. - ISBN 978-966-1546-45-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Кременецька обласна гуманітарно-педагогічна академія імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 7. |
ВА837634
Авдеюк, Павло Іванович.
Елементи математичної логіки та теорії алгоритмів [Текст] : навч.-метод. посіб. / П. І. Авдеюк, О. В. Зеленський ; Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка. - Кам'янець-Подільський : Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка, 2019. - 159 с. - Бібліогр.: с. 158-159. - 50 прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Зеленський, Олексій Віталійович; Кам'янець-Подільський національний університет імені Івана Огієнка
Видання зберігається у :
Основний фонд
|
| 8. |
ВА739027
Дрозд-Корольова, Олена Юріївна.
Задачі з математичної логіки [Текст] : навч. посіб. / О. Ю. Дрозд-Корольова ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2010. - 95 с. : табл. - Бібліогр.: с. 95. - 120 прим. - ISBN 978-966-439-343-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 9. |
ВА571779
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-ХРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
| 10. |
ВА615667
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
| 11. |
ВА713039
Трохимчук, Ростислав Миколайович.
Збірник задач і вправ з математичної логіки [Текст] : навчальний посібник / Р. М. Трохимчук ; Міжрегіональна академія управління персоналом (МАУП). - К. : Персонал, 2008. - 115 с. - Бібліогр.: с. 113. - ISBN 978-966-608-854-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Міжрегіональна академія управління персоналом (МАУП)
Видання зберігається у :
Основний фонд
|
| 12. |
ВА574210
Карамишева, Неллі Василівна.
Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет
Видання зберігається у :
Основний фонд
|
| 13. |
В344320/Ч. 1
Самуйлов, Константин Евгеньевич
Лекции по дискретной математике [Текст] : учеб. пособие / К. Е. Самуйлов [и др]. - М. : Издательство Российского ун-та дружбы народов, 2000 .
Ч. 1 : Логика. - М. : [б.и.], 2000. - 59 с. - ISBN 5-209-01304-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Севастьянов, Леонид Антонович; Спесивов, Сергей Степанович
Видання зберігається у :
Основний фонд
|
| 14. |
ВА771064
 Рамський, Юрій Савіянович.
Логічні задачі [Текст] : для студ. вищ. навч. закл., учнів та вчителів шк. / Рамський Ю. С., Твердохліб І. А., Умрик М. А. ; Нац. пед. ун-т ім. М. П. Драгоманова. - К. : Вид-во НПУ ім. М. П. Драгоманова, 2012. - 62 с. - ISBN 978-966-660-839-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Твердохліб, Ігор Анатолійович; Умрик, Марія Анатоліївна; Національний педагогічний університет імені М. П. Драгоманова (Київ)
Видання зберігається у :
Основний фонд
|
| 15. |
Р111101
Шушура, Алексей Николаевич.
Логика в системах искусственного интеллекта [Текст] : метод. вказ. до самост. роботи студ. заоч. ф-ту: для студ. спец.: 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - Донецьк : Наука і освіта, 2004. - 30 с. - Бібліогр.: с. 29Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Донецький державний інститут штучного інтелекту
Видання зберігається у :
Основний фонд
|
| 16. |
ВА695455
Шушура, Алексей Николаевич.
Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій для студ. спец. 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - 2-е вид. - Донецьк : ІПШІ "Наука і освіта", 2004. - 85 с. - Библиогр.: с. 83Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Донецький державний інститут штучного інтелекту
Видання зберігається у :
Основний фонд
|
| 17. |
ВА575391
Курбатов, В. И..
Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0
Замена ВА575491Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 18. |
Глушков В.М./ВА177
Гудстейн, Р. Л.
Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957
Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернявский, В. С. (пер.); Яновская, С. А. (ред., авт. предисл.); Goodstein, R. L.
Видання зберігається у :
Основний фонд
|
| 19. |
ВА591086
Гладкий, Алексей Всеволодович.
Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с. - ISBN 5-7281-0025-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Российский государственный гуманитарный университет
Видання зберігається у :
Основний фонд
|
| 20. |
ВА653178
Якимова, Наталья Анатольевна.
Математическая логика [Текст] : курс лекций для студ. V, VI курсов спец. "Прикладная лингвистика" / Н. А. Якимова ; Одесский национальный ун-т им. И.И.Мечникова. - О. : Астропринт, 2004. - 73 с.: рис., табл. - Библиогр.: с. 72. - ISBN 966-318-156-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Одесский национальный университет имени И. И. Мечникова
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача