Пошуковий запит: (<.>U=В121 я73<.>) |
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
|
| | |
1.  |
ВА587117
Тарєлкін, Юрій Павлович.
Основи формальної логіки [Текст] : навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Сумський державний педагогічний інститут
Видання зберігається у :
Основний фонд
|
| 2. |
ВА628189
Фролов, И. С..
Элементы математической логики [Текст] : учеб. пособие для студ. матем. спец. / И. С. Фролов ; Самарский гос. ун-т. Кафедра алгебры и геометрии. - Самара : Самарский университет, 2001. - 80 с. - Библиогр.: с. 79Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Самарский гос. университет. Кафедра алгебры и геометрии
Видання зберігається у :
Основний фонд
|
| 3. |
ВА651018
 Нікітченко, Микола Степанович.
Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119. - ISBN 966-594-523-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 4. |
В348050/Ч. 1
Методичні вказівки для самостійної роботи студентів з дисципліни "Математичні основи інформаційної діяльності" [Текст] : для студ. спец. "Документознавство та інформаційна діяльність" / уклад. В. Г. Черенков, Д. Ф. Томілін ; Луганський національний педагогічний ун-т ім. Тараса Шевченка. - Луганськ : Альма-матер, 2004 .
Ч. 1. - [Б. м.] : [б.в.], 2004. - 35 с. - Бібліогр.: с. 34Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Черенков, Валентин Григорович \уклад.\; Томілін, Денис Федорович \уклад.\; Луганський національний педагогічний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 5. |
Р111101
Шушура, Алексей Николаевич.
Логика в системах искусственного интеллекта [Текст] : метод. вказ. до самост. роботи студ. заоч. ф-ту: для студ. спец.: 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - Донецьк : Наука і освіта, 2004. - 30 с. - Бібліогр.: с. 29Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Донецький державний інститут штучного інтелекту
Видання зберігається у :
Основний фонд
|
| 6. |
ВА700508
Прийма, Сергій Миколайович.
Математичниа логіка і теорія алгоритмів [Текст] : навч. посібник для студ. вищих пед. навч. закл. / С. М. Прийма. - Мелітополь : Видавничий будинок ММД, 2008. - 134 c.: рис., табл. - Бібліогр.: с. 130-132. - ISBN 978-966-8563-84-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 7. |
ВА639448
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] / В. А. Успенский [и др.]. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8
Н обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
| 8. |
ВА700517
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский [и др.]. - М. : ФИЗМАТЛИТ, 2007. - 125 с. - Библиогр.: с. 122. - ISBN 978-5-9221-0278-0
На обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
| 9. |
АО266909
Гладунський, Василь Назарович.
Вища математика й елементи логіки. Означення, формули, приклади [Текст] : навч. посіб. для студ. ВНЗ / В. Н. Гладунський ; Львівський ін-т банківської справи Університету банківської справи Національного банку України. - Вид. 2-ге, доп. - Л. : Афіша, 2008. - 503 c. - Бібліогр.: с. 489. - ISBN 978-966-325-102-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Львівський інститут банківської справи Університету банківської справи Національного банку України
Видання зберігається у :
Основний фонд
|
| 10. |
ВА712722
Євладенко, В. М..
Математична логіка та теорія алгоритмів [Текст] : навч.-метод. посіб. / В. М. Євладенко [и др.] ; Кіровоградський держ. педагогічний ун-т ім. Володимира Винниченка. - Кіровоград : КОД, 2009. - 116 с. - Бібліогр.: с. 114. - ISBN 978-966-1508-17-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Халецька, З. П.; Нарадовий, В. В.; Кіровоградський державний педагогічний університет імені Володимира Винниченка
Видання зберігається у :
Основний фонд
|
| 11. |
ВА724236
Шкільняк, Степан Степанович.
Математична логіка. Основи теорії алгоритмів [Текст] : навч. посіб. / С. С. Шкільняк ; Міжрегіон. акад. упр. персоналом. - К. : Персонал, 2009. - 279 с. - Бібліогр.: с. 268-269. - 1200 прим. - ISBN 978-966-608-979-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 12. |
Глушков В.М./ВА177
Гудстейн, Р. Л.
Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957
Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернявский, В. С. (пер.); Яновская, С. А. (ред., авт. предисл.); Goodstein, R. L.
Видання зберігається у :
Основний фонд
|
| 13. |
ІВ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
Видання зберігається у :
|
| 14. |
ВА792936
Шаповалов, Сергій Павлович.
Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / С. П. Шаповалов, М. П. Матвієнко ; Сум. держ. ун-т. - Суми : Сумський державний університет, 2014. - 254 с. : рис., табл. - Бібліогр.: с. 243-245. - 300 прим. - ISBN 978-966-657-514-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Матвієнко, Микола Павлович; Сумський державний університет
Видання зберігається у :
Основний фонд
|
| 15. |
СО35556
Ломакович, Афанасій Миколайович.
Елементи математичної логіки і теорії алгоритмів [Текст] : навч. посіб. / А. М. Ломакович ; Кремен. обл. гуманітар.-пед. акад. ім. Тараса Шевченка. - Кременець : ВЦ КОГПА ім. Тараса Шевченка, 2017. - 189 с. : іл. - Бібліогр.: с. 187. - 300 прим. - ISBN 978-966-1546-45-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Кременецька обласна гуманітарно-педагогічна академія імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 16. |
ВА828904
Требенко, Оксана Олександрівна.
Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для орг. самост. роботи студентів / О. О. Требенко. - Київ : Вид-во НПУ ім. М. П. Драгоманова, 2018. - 217 с. - Бібліогр.: с. 216-217. - ISBN 978-966-931-167-2Рубрикатор НБУВ: УДК: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 17. |
ВА837634
Авдеюк, Павло Іванович.
Елементи математичної логіки та теорії алгоритмів [Текст] : навч.-метод. посіб. / П. І. Авдеюк, О. В. Зеленський ; Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка. - Кам'янець-Подільський : Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка, 2019. - 159 с. - Бібліогр.: с. 158-159. - 50 прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Зеленський, Олексій Віталійович; Кам'янець-Подільський національний університет імені Івана Огієнка
Видання зберігається у :
Основний фонд
|
| 18. |
ВА864239
Шкільняк, Степан Степанович.
Математична логіка. Приклади й задачі [Текст] : навч. посіб. / С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2022. - 303 с. : іл. - Бібліогр.: с. 297-300. - 100 прим. - ISBN 978-966-933-200-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 19. |
ВА865180
Шевельова, Алла Євгенівна.
Формальне доведення теорем числення висловлювань [Текст] : навч. посіб. / А. Є. Шевельова ; Дніпров. нац. ун-т ім. Олеся Гончара, Каф. обчислюв. математики та мат. кібернетики. - Дніпро : Ліра, 2023. - 79 с. - Бібліогр.: с. 75. - 20 прим. - ISBN 978-966-981-713-6Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Дніпровський національний університет імені Олеся Гончара. Кафедра обчислювальної математики та математичної кібернетики
Видання зберігається у :
Основний фонд
|
| 20. |
 МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ : учебное пособие (2021)
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача