 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.210$<.>) |
Загальна кількість знайдених документів : 34
Представлено документи з 1 до 20
|
| | |
1.  |
Глушков В.М./Р125
К построению практического формального языка для записи математических теорий [Текст] / В. М. Глушков [и др.]. - [К.] : [б. и.], [1972]. - [10] с.
Окр. відб. з журн.: Кибернетика. - 1972.- № 5. - С. 19-28. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Глушков, Виктор Михайлович; Капитонова, Ю. В.; Летичевский, А. А.; Вершинин, К. П.; Малеваный, Н. П.
Видання зберігається у :
Основний фонд
| | 2. |
Глушков В.М./Р124
 Глушков, Виктор Михайлович.
Автоматизация поиска доказательств теорем математических теорий и интеллектуальные машины [Текст] / В. М. Глушков, Ю. В. Капитонова. - [К.] : [б. и.], [1972]. - [6] с.
Окр. відб. з журн.: Кибернетика. - 1972, сент.-окт.-№ 5. - С. 1-6. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Капитонова, Ю. В.
Видання зберігається у :
Основний фонд
| | 3. |
ВА843090
Спекторський, Ігор Якович.
Формальні мови та автомати [Текст] : підруч. для здобувачів ступеня бакалавра за спец. "Системний аналіз" / І. Я. Спекторський, В. М. Статкевич ; [відп. ред. Г. Б. Подколзін] ; Нац. техн. ун-т України "Київ. політехн. ін-т ім. Ігоря Сікорського", Ін-т приклад. систем. аналізу, Каф. мат. методів систем. аналізу. - Київ : КПІ ім. Ігоря Сікорського, 2020. - 167 с. : рис., табл. - Бібліогр.: с. 162-164. - 55 прим. - ISBN 978-966-622-967-3Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Статкевич, Віталій Михайлович; Подколзін, Г. Б. (ред.); "Київський політехнічний інститут імені Ігоря Сікорського", національний технічний університет України. Інститут прикладного системного аналізу
Видання зберігається у :
Основний фонд
| | 4. |
ВА807821
Захарія, Любов Михайлівна.
Формальні мови, граматики та автомати [Текст] : навч. посібник / Л. М. Захарія, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2016. - 194 с. : рис., табл. - Бібліогр.: с. 192. - 200 прим. - ISBN 978-617-607-941-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Заяць, Марія Михайлівна; "Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
| | 5. |
РА402358
Мартиросян, Геворг Артурович.
О встроенных константах функциональных языков программирования [Text] : автореф. дис. ... канд. физ.-мат. наук : 05.13.04 / Мартиросян Геворг Артурович ; Ин-т проблем информатики и автоматизации НАН РА. - Ереван, 2013. - 22 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Армении; Институт проблем информатики и автоматизации
Видання зберігається у :
Основний фонд
| | 6. |
Р119586
Методичні вказівки до виконання розрахункового завдання "Синтаксис та семантика мов програмування" з курсу "Теорія програмування" для студентів напрямку 6.040302 "Інформатика" [Текст] / Нац. техн. ун-т "Харк. політехн. ін-т" ; [уклад. В. О. Колбасін]. - Х. : НТУ "ХПІ", 2011. - 40 с. : табл. - Бібліогр.: с. 38. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Колбасін, Вячеслав Олександрович (уклад.); "Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
| | 7. |
ВА749271
Системне програмування: формальні граматики та методи синтаксичного аналізу [Текст] : навч. посіб. / О. В. Авдюшина [та ін.] ; Донец. нац. ун-т, Мат. ф-т. - Донецьк : ДонНУ, 2011. - 188 с. : рис., табл. - Парал. тит. арк. англ. - Бібліогр.: с. 187. - 300 прим. - ISBN 978-966-639-363-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Авдюшина, Олена Володимирівна; Дзундза, Алла Іванівна; Моісеєнко, Ігор Олексійович; Нескородєв, Роман Миколайович; Донецький національний університет. Математичний факультет
Видання зберігається у :
Основний фонд
| | 8. |
В276985/Vol. A.2
Lisovyk, Leonid Petrovych
The formal languages and transducers [Text] / L. P. Lisovyk. - Kiev : Phoenix, 2009 .
Vol. A.2 : Algebra and automata. - 2009. - 464 p. - Бібліогр.: P.448-460. - ISBN 987-966-651-670-4. - ISBN 978-966-651-671-1 (Vol.A). - ISBN 978-966-651-672-8 (Book 2)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| | 9. |
ДС115257
Лялецький, Олександр Олександрович.
Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2009. - 110 арк. - Бібліогр.: арк. 106-110. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 10. |
ВА724077
Ільман, Валерій Михайлович.
Формальні структури та їх застосування [Текст] : монографія / В. М. Ільман, В. В. Скалозуб, В. І. Шинкаренко ; Дніпропетр. нац. ун-т залізничного трансп. ім. В. Лазаряна. - Д. : Вид-во Дніпропетр. нац. ун-ту залізн. трансп. ім. В. Лазаряна, 2009. - 205 с. : рис., табл. - Бібліогр.: с. 199-205. - 300 прим. - ISBN 978-966-8471-43-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Скалозуб, Владислав Васильович; Шинкаренко, Віктор Іванович; Дніпропетровський національний університет залізничного транспорту імені В. Лазаряна
Видання зберігається у :
Основний фонд
| | 11. |
РА368702
Лялецький, Олександр Олександрович.
Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 12. |
ДС106219
Мейтус, Владимир Юльевич.
Категорные методы в теории языковых преобразователей [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Мейтус Владимир Юльевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2008. - 252 л. - Библиогр.: л. 239-252Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| | 13. |
РА356973
Мейтус, Володимир Юлійович.
Категорні методи в теорії мовних перетворювачів [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Мейтус Володимир Юлійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 27 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 14. |
В348822/Т. 3, кн. 6
Лисовик, Леонид Петрович
Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление").
Т. 3, кн. 6 : Функции и аппликативные системы (кн. 6). - [Б. м.] : [б.и.], 2007. - 284 с. - Библиогр.: с. 273-282 (119 назв.). - ISBN 966-651-375-7 (том 3). - ISBN 978-966-651-466-3 (книга 6)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 15. |
В349284/Т. 2, кн. 1
Лисовик, Леонид Петрович
Формальные языки и трансдьюсеры [Текст] : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3.
Т. 2, кн. 1 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 400 с. - Библиогр.: с. 389-397. - ISBN 966-651-283-1 (т. 2). - ISBN 966-651-284-X (кн. 1)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 16. |
В348822/Т. 2, кн. 4
Лисовик, Леонид Петрович
Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление").
Т. 2, кн. 4 : Размеченные деревья. - [Б. м.] : [б.и.], 2006. - 352 с. - Библиогр.: с. 341-348. - ISBN 966-651-393-5 (т. 2). - ISBN 966-651-394-3 (кн. 4)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 17. |
В349537/Ч. 1
Лисовик, Леонид Петрович
Трансдьюсеры [Текст] / Л. П. Лисовик. - К. : Феникс, 2006 .
Ч. 1. - [Б. м.] : [б.и.], 2006. - 368 с. - Библиогр.: с. 326-364. - ISBN 966-651-340-4Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 18. |
В349284/Т. 2, кн. 2
Лисовик, Леонид Петрович
Формальные языки и трансдьюсеры [Текст] : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3.
Т. 2, кн. 2 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 440 с. - Библиогр.: с. 416-435. - ISBN 966-651-283-1(том 2). - ISBN 966-651-313-7(книга 2-я)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 19. |
В348822/Т. 1, гл. 1-4, кн. 1
Лисовик, Леонид Петрович
Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление").
Т. 1, гл. 1-4, кн. 1 : Типы языков и машин. - [Б. м.] : [б.и.], 2005. - 272 с. - Библиогр.: с. 264-269. - ISBN 966-651-251-3 (том І). - ISBN 966-651-270-X (книга І)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 20. |
ДС97435
Паскевич, Андрій Юрійович.
Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| | |
|
|
Простий
Розширений
Пам`ятка користувача