Пошуковий запит: (<.>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
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |