Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>U=510.6(075)<.>

Загальна кількість знайдених документів : 6
Показані документи с 1 за 6

510.6(075)
Л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 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Кл.слова (ненормовані):
интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.6(075)
Л 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 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Кл.слова (ненормовані):
вычислимость -- обчислення -- функциональное пространство -- функціональний простір -- скриптоляции -- скріптоляції -- континуум -- контініум -- интерполяция -- інтерполяція -- фрактальность -- фрактальність -- кривая Пеано -- крива Пеано
Анотація: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений.

Утримувачі документа:
ЖОУНБ
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.6(075)
Л 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 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.6(075)
Л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 грн

УДК

510.6(075)

ББК 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)
Знайти схожі

510.6(075)
К60

Колмогоров, Андрей Николаевич.
Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.

УДК

510.6(075)

ББК 22.122я73
Рубрики: Математична логіка--Навчальні видання
Кл.слова (ненормовані):
математическая логика -- теория множеств -- теорія множин -- логико-математические языки -- логіко-математичні мови -- логические законы -- логічні закони -- формальные аксиоматические теории -- формальні аксіоматичні теорії -- логика высказываний -- логика предикатов -- математические теории -- математичні теорії
Анотація: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Драгалин, Альберт Григорьевич
Примірників всього: 3
ЧЗ (1), АБ (2)
Свободны: ЧЗ (1), АБ (2)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)