Пошуковий запит: (<.>U=В121 я73$<.>) |
Загальна кількість знайдених документів : 41
Представлено документи з 1 до 20
|
| |
1. ![](/irbis_nbuv/images/printer.jpg) | ВА574210 Карамишева, Неллі Василівна. Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | ВА575391 Курбатов, В. И.. Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0 Замена ВА575491Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ВА584981 Лиман, Федір Миколайович. Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для студ. фіз.-мат. спец. пед. вузів / Ф. М. Лиман ; Ін-т змісту і методів навчання. - Суми : Слобожанщина, 1998. - 152 с. - ISBN 966-535-022-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Інститут змісту і методів навчання (Київ)
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | ВА587117 Тарєлкін, Юрій Павлович. Основи формальної логіки [Текст] : навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Сумський державний педагогічний інститут
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | ВА591086 Гладкий, Алексей Всеволодович. Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с. - ISBN 5-7281-0025-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Российский государственный гуманитарный университет
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | В344320/Ч. 1 Самуйлов, Константин Евгеньевич Лекции по дискретной математике [Текст] : учеб. пособие / К. Е. Самуйлов [и др]. - М. : Издательство Российского ун-та дружбы народов, 2000 . Ч. 1 : Логика. - М. : [б.и.], 2000. - 59 с. - ISBN 5-209-01304-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Севастьянов, Леонид Антонович; Спесивов, Сергей Степанович
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | ВА571779 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-ХРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | ВА615667 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Максимова, Лариса Львовна
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | ВА628189 Фролов, И. С.. Элементы математической логики [Текст] : учеб. пособие для студ. матем. спец. / И. С. Фролов ; Самарский гос. ун-т. Кафедра алгебры и геометрии. - Самара : Самарский университет, 2001. - 80 с. - Библиогр.: с. 79Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Самарский гос. университет. Кафедра алгебры и геометрии
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | Р97730 Содномов, Базар Содномович. Двенадцать лекций по математической логике [Текст] : учеб. пособие / Б. С. Содномов ; Якутский гос. ун-т им. М.К.Аммосова. - Якутск : Издательство Якутского ун-та, 1998. - 48 с. - Библиогр.: с.48. - ISBN 5-7513-0173-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Якутский гос. университет имени М. К. Аммосова
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | ВА651018 Нікітченко, Микола Степанович. Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119. - ISBN 966-594-523-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | ВА653178 Якимова, Наталья Анатольевна. Математическая логика [Текст] : курс лекций для студ. V, VI курсов спец. "Прикладная лингвистика" / Н. А. Якимова ; Одесский национальный ун-т им. И.И.Мечникова. - О. : Астропринт, 2004. - 73 с.: рис., табл. - Библиогр.: с. 72. - ISBN 966-318-156-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Одесский национальный университет имени И. И. Мечникова
Видання зберігається у :
Основний фонд
|
13. ![](/irbis_nbuv/images/printer.jpg) | В348050/Ч. 1 Методичні вказівки для самостійної роботи студентів з дисципліни "Математичні основи інформаційної діяльності" [Текст] : для студ. спец. "Документознавство та інформаційна діяльність" / уклад. В. Г. Черенков, Д. Ф. Томілін ; Луганський національний педагогічний ун-т ім. Тараса Шевченка. - Луганськ : Альма-матер, 2004 . Ч. 1. - [Б. м.] : [б.в.], 2004. - 35 с. - Бібліогр.: с. 34Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Черенков, Валентин Григорович \уклад.\; Томілін, Денис Федорович \уклад.\; Луганський національний педагогічний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
14. ![](/irbis_nbuv/images/printer.jpg) | ВА692441 Тимофеева, Ирина Леонидовна. Математическая логика [Текст] : курс лекций: учеб. пособие для студ. вузов, обучающихся по специальности 032100 - математика / И. Л. Тимофеева. - 2-е изд., перераб. - М. : КДУ, 2007. - 304 с. - Библиогр.: с. 294. - ISBN 978-5-98227-307-9Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
15. ![](/irbis_nbuv/images/printer.jpg) | ВС44547 Символическая логика [Текст] : учебник для студ. и аспирантов филос. ф-тов ун-тов / И. Н. Бродский [и др.] ; ред. Я. А. Слинин [и др.] ; Санкт-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского ун-та, 2005. - 505 с. - ISBN 5-288-02447-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бродский, И. Н.; Гусев, С. С.; Караваев, Э. Ф.; Лисанюк, Е. Н.; Микиртумов, И. Б.; Мухачев, В. П.; Подниекс, К. М.; Серебрянников, О. Ф.; Федоров, Б. И.; Черноскутов, Ю. Ю.; Слинин, Я. А. (ред.); Санкт-Петербургский гос. университет
Видання зберігається у :
Основний фонд
|
16. ![](/irbis_nbuv/images/printer.jpg) | ВА695455 Шушура, Алексей Николаевич. Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій для студ. спец. 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - 2-е вид. - Донецьк : ІПШІ "Наука і освіта", 2004. - 85 с. - Библиогр.: с. 83Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Донецький державний інститут штучного інтелекту
Видання зберігається у :
Основний фонд
|
17. ![](/irbis_nbuv/images/printer.jpg) | Р111101 Шушура, Алексей Николаевич. Логика в системах искусственного интеллекта [Текст] : метод. вказ. до самост. роботи студ. заоч. ф-ту: для студ. спец.: 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - Донецьк : Наука і освіта, 2004. - 30 с. - Бібліогр.: с. 29Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Донецький державний інститут штучного інтелекту
Видання зберігається у :
Основний фонд
|
18. ![](/irbis_nbuv/images/printer.jpg) | ВА700508 Прийма, Сергій Миколайович. Математичниа логіка і теорія алгоритмів [Текст] : навч. посібник для студ. вищих пед. навч. закл. / С. М. Прийма. - Мелітополь : Видавничий будинок ММД, 2008. - 134 c.: рис., табл. - Бібліогр.: с. 130-132. - ISBN 978-966-8563-84-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
19. ![](/irbis_nbuv/images/printer.jpg) | В349641/Ч. 1 Практикум з математичної логіки та теорії алгоритмів [Текст] / Ніжинський держ. ун-т ім. Миколи Гоголя. - Ніжин : Видавництво НДУ ім. М.Гоголя, 2006 . Ч. 1 / В. М. Харченко, О. В. Доліч. - [Б. м.] : [б.в.], 2006. - 58 с. - Бібліогр.: с. 58Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Доліч, Олег Валентинович; Ніжинський державний університет імені Миколи Гоголя
Видання зберігається у :
Основний фонд
|
20. ![](/irbis_nbuv/images/printer.jpg) | ВА639448 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] / В. А. Успенский [и др.]. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8 Н обл. авт. не указ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Верещагин, Николай Константинович; Плиско, Валерий Егорович
Видання зберігається у :
Основний фонд
|
| |