Л63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн
Рубрики: Математична логіка Кібернетика фывфывфыв: интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг Аннотация: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 3, кн. 5 : Типы функций. Интерполяция. Фрактальность. - 2006. - Бібліогр.: с. 307-317 . - ISBN 966-651-375-7 (том 3). - ISBN 966-651-376-5 (книга 5) : 015.00 грн
Рубрики: Математична логіка Кібернетика фывфывфыв: вычислимость -- обчислення -- функциональное пространство -- функціональний простір -- скриптоляции -- скріптоляції -- континуум -- контініум -- интерполяция -- інтерполяція -- фрактальность -- фрактальність -- кривая Пеано -- крива Пеано Аннотация: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений. Держатели документа: ЖОУНБ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 1, Кн. 1 : Типы языков и машин : главы 1-4. - 2005. - 271 с. - Лит.: с. 264-269. - ISBN 966-651-251-3 (том 1). - ISBN 966-651-270-X (книга 1) : 30.00 грн
Рубрики: Математична логіка Кібернетика Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [ в 3 т.] : монография / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 1 : Главы 5-12, кн. 2 : Алгебра и автоматы. I . - 2005. - 272 с. - Лит.: с. 260-263. - Доп. лит.: с. 267. - ISBN 966-651-251-3 (Т. 1) : 30.00 грн
Рубрики: Математична логіка--Наукові видання фывфывфыв: контекстные языки -- контекстні мови -- классы языков -- класи мов -- неразрешимость -- недозволеність -- математическая логика -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- конечно-неоднозначные преобразователи -- кінцево-неоднозначні перетворювачі -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы и языки -- групи і мови Аннотация: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [в 3 т.] : монография / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 1 : Главы 13-17, кн. 3 : Алгебра и автоматы. II . - 2005. - 262 с. - Лит.: с. 256-260. - ISBN 966-651-251-3 (т. 1). - ISBN 966-651-250-5 (кн. 3) : 30.00 грн
Рубрики: Математична логіка--Кібернетика--Наукові видання фывфывфыв: елементарно стійкі множини -- элементарно устойчивые множества -- конструктивні булеви алгебри -- конструктивные булеви алгебры -- відносна еквівалентність -- относттельная эквивалентность -- квазисовідносини -- квазисоотношения -- квазисототожності -- квазисотождества -- математика -- мова -- язык -- мислення -- мышление Аннотация: Рассматривается проблема решения систем линейных диофантовых уравнений, продолжается изучение проблем эквивалентности для классов последовательностных преобразователей. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К60 Колмогоров, Андрей Николаевич. Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: математическая логика -- теория множеств -- теорія множин -- логико-математические языки -- логіко-математичні мови -- логические законы -- логічні закони -- формальные аксиоматические теории -- формальні аксіоматичні теорії -- логика высказываний -- логика предикатов -- математические теории -- математичні теорії Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 3 ЧЗ (1), АБ (2) Свободны: ЧЗ (1), АБ (2) |