Пошуковий запит: (<.>U=В128$<.>) |
Загальна кількість знайдених документів : 53
Представлено документи з 1 до 20
|
| | |
1.  |
ДС41396
Романенко, Игорь Борисович.
Машинные методы построения вывода в некоторых неклассических исчислениях [Текст] : дис...канд.техн.наук:05.25.05 / Романенко Игорь Борисович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1992. - 122 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 2. |
ДС68921
Пынько, Алексей Павлович.
Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 3. |
РА311145
Пинько, Олексій Павлович.
Алгебраїчна інтерпретація пропозиційних секвенційних обчислень [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.01.08 / Пинько Олексій Павлович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2000. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 4. |
РА321511
Болибекян, Оганес Рафаелович.
Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
| 5. |
РА352369
Саядян, Сергей Мушегович.
Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
| 6. |
В341948/Ч. 1
Четвериков, Григорий Григорьевич
Многозначные структуры (анализ, сравнение, синтез, обобщение) [Текст] : учеб. пособие / Г. Г. Четвериков. - К. : Харьковский технический ун-т радиоэлектроники, 1997 .
Ч. 1. - [Б. м.] : [б.в.], 1997. - 191 с. - ISBN 5-7763-9095-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский технический ун-т радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 7. |
Р83078
Корпало, Ольга Леонідівна.
Некласична логіка [Текст] : метод. рекомендації та плани семінарських занять: Для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 40 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка
Видання зберігається у :
|
| 8. |
Р83079
Корпало, Ольга Леонідівна.
Некласична логіка [Текст] : навч. програма для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 16 с. - ISBN 966-529-090-8Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка
Видання зберігається у :
|
| 9. |
ВА585454
Волгин, Леонид Иванович.
АМ-алгебра и ее применения [Текст] : две лекции по курсу "Логические основы и модели нейронных сетей" / Л. И. Волгин ; Ульяновский гос. технический ун-т. - Ульяновск : [б.и.], 1997. - 52 с. - ISBN 5-89146-019-XРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ульяновский гос. технический университет
Видання зберігається у :
Основний фонд
|
| 10. |
ВА585455
Волгин, Леонид Иванович.
Векторная комплементарная алгебра и ее применения [Текст] : две лекции по курсу "Логические основы и модели нейронных сетей" / Л. И. Волгин ; Ульяновский гос. технический ун-т. - 2.изд., доп. - Ульяновск : [б.в.], 1996. - 52 с. - ISBN 5-230-18384-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ульяновский гос. технический ун-т
Видання зберігається у :
|
| 11. |
ВА585456
Волгин, Леонид Иванович.
Комплементарная алгебра и предикатная алгебра выбора [Текст] : три лекции по курсу "Логические основы и модели нейронных сетей" / Л. И. Волгин ; Ульяновский гос. технический ун-т. - 2.изд. - Ульяновск : [б.в.], 1996. - 68 с. - ISBN 5-230-18367-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ульяновский гос. технический ун-т
Видання зберігається у :
|
| 12. |
ВА585429
Волгин, Леонид Иванович.
Непрерывная логика и ее схемотехнические применения [Текст] : пять лекций по курсу "Логические основы и модели нейронных сетей" / Л. И. Волгин ; Ульяновский гос. технический ун-т. - Ульяновск : [б.в.], 1996. - 108 с. - ISBN 5-230-18368-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ульяновский гос. технический ун-т
Видання зберігається у :
|
| 13. |
ВА615467
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств [Текст] : учеб. пособие / Н. К. Косовский, А. В. Тишков ; С.-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского гос. ун-та, 2000. - 268 с. - ISBN 5-288-02049-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Тишков, Артем Валерьевич; С. -Петербургский гос. университет
Видання зберігається у :
Основний фонд
|
| 14. |
ВА600796
Роженко, Микола Маркович.
Квантова логіка: Теорія. Історія. Філософія [Текст] : авториз., опрацьов. і доп. пер.з рос. / М. М. Роженко, Н. М. Роженко. - К. : Український Центр духовної культури, 2000. - 308 с. - Бібліогр.: с.189-258. - ISBN 966-7276-72-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Роженко, Наталія Миколаївна
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
| 15. |
ВА627696
Марченков, Сергей Серафимович.
S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с. - Библиогр.: с. 78-79. - ISBN 5-9221-0152-8Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 16. |
Р95878
Пономарев, Александр Семенович.
Принятие решений при нечетком отношении предпочтения на множестве альтернатив [Текст] : учеб.-метод. пособие по курсу "Математические основы автоматизированного управления" для студ. спец. "Информационные управляющие системы и технологии" и "Программное обеспечение автоматизированных систем управления" / А. С. Пономарев ; Национальный технический ун-т "Харьковский политехнический ин-т". - Х. : НТУ "ХПИ", 2002. - 31 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальный технический университет "Харьковский политехнический институт" (Харьков)
Видання зберігається у :
Основний фонд
|
| 17. |
ВА635517
Закревский, Аркадий Дмитриевич.
Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
|
| 18. |
ВА634600
Исследование операций (модели, системы, решения) [Текст] / отв. ред. А. П. Абрамов ; РАН, Вычислительный центр. - М. : Вычислительный центр РАН, 2001. - 117 с.: ил. - Библиогр.: в конце статей. - ISBN 5-201-09778-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Абрамов, А. П. (отв. ред.); РАНВычислительный центр
Видання зберігається у :
Основний фонд
|
| 19. |
Р97919
Пономарьов, Олександр Семенович.
Нечіткі множини та операції над ними [Текст] : конспект лекції з курсу "Математичні основи автоматизованого управління" для студ. спец. "Інформаційні управляючі системи і технології" та "Програмне забезпечення автоматизованих систем управління" / О. С. Пономарьов ; Національний технічний ун-т "Харківський політехнічний ін-т". - Х. : НТУ "ХПІ", 2003. - 28 с. - Бібліогр.: с. 27Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
|
| 20. |
Р99186
Пономарьов, Олександр Семенович.
Нечіткі відношення та нечіткі відображення [Текст] : конспект лекції з курсу "Математичні основи автоматизованого управління" для студ. спец. "Інформаційні управляючі системи і технології" та "Програмне забезпечення автоматизованих систем управління" / О. С. Пономарьов ; Національний технічний ун-т "Харківський політехнічний ін-т". - Х. : НТУ "ХПІ", 2003. - 43 с.: рис. - Бібліогр.: с. 43Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача