51(075.8) Л 63     Лисовик, Леонид Петрович.     Трансдьюсеры. I [] : науч. изд. / Л. П. Лисовик. - К. : [Феникс], 2006. - 368 с. - Л-ра: с.326-364. - ISBN 966-651-340-4 : 030.00 грн Продолж. кн. Лисовик, Л. П. Теория трансдьюсеров. Т. 1 / Л. П. Лисовик. - К. : Феникс, 2005-2007. - (Математическое мышление) УДК 51(075.8) ББК 22.18я73 Рубрики: Математика--Навчальні видання фывфывфыв: универсальные алгоритмические системы -- універсальні алглритмічні системи -- основные классы грамматик -- основні класи граматик -- абстрактные автоматы -- абстрактні атомати -- контекстно-свободные языки -- контекстно-вільні мови -- теория контекстных языков -- теорія контекстних мов -- операции в классах языков -- операціі в класах мов -- неразрешимость -- элементы математической логики -- елементи математичноі логіки -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы, задаваемые автоматами и языки -- групи. задані автоматами та мови -- элементарно устойчивые множества -- елементарно стійкі множини -- конструктивные булевы алгебры -- конструктівні булеви алгебри -- проблемы относительной эквивалентности -- проблеми відносноі еквівалентності -- квазисоотношения в свободной группе и перспективы -- квазіспіввідношення у вільній групі та перспективи Аннотация: В этой книге используются и развиваются идеи математического анализа, логики и алгебры. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1)

510.6(075) Л 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 грн УДК 510.6(075) ББК 22.18я73 Рубрики: Математична логіка--Кібернетика--Наукові видання     фывфывфыв: елементарно стійкі множини -- элементарно устойчивые множества -- конструктивні булеви алгебри -- конструктивные булеви алгебры -- відносна еквівалентність -- относттельная эквивалентность -- квазисовідносини -- квазисоотношения -- квазисототожності -- квазисотождества -- математика -- мова -- язык -- мислення -- мышление Аннотация: Рассматривается проблема решения систем линейных диофантовых уравнений, продолжается изучение проблем эквивалентности для классов последовательностных преобразователей. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1)