Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>U=510.6(075)<.>
Загальна кількість знайдених документів : 6
Показані документи с 1 за 6
1.

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 2 . кн. 4 : Размеченные деревья
Вихідні дані : К.: Феникс, 2006
Кільк.характеристики :352 с
Примітки : Бібліогр.: с. 341-351
ISBN, Ціна 966-651-393-5: 15.00 грн
ISBN, Ціна 966-651-394-3: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

2.

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л 63
Автор(и) : Лисовик Л.П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 3 . кн. 5 : Типы функций. Интерполяция. Фрактальность
Вихідні дані : К.: Феникс, 2006
Примітки : Бібліогр.: с. 307-317
ISBN, Ціна 966-651-375-7: 015.00 грн
ISBN, Ціна 966-651-376-5: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Анотація: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

3.

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 1 . Кн. 1 : Типы языков и машин : главы 1-4
Вихідні дані : К.: Феникс, 2005
Кільк.характеристики :271 с
Примітки : Лит.: с. 264-269
ISBN, Ціна 966-651-251-3: 30.00 грн
ISBN, Ціна 966-651-270-X: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

4.

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [ в 3 т.] : монография/ Л. П. Лисовик. - (Математическое мышление). Т. 1: Главы 5-12 . кн. 2 : Алгебра и автоматы. I
Вихідні дані : К.: Феникс, 2005
Кільк.характеристики :272 с
Примітки : Лит.: с. 260-263. - Доп. лит.: с. 267
ISBN, Ціна 966-651-251-3: 30.00 грн
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Анотація: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

5.

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л 63
Автор(и) : Лисовик Л.П.
Назва : Теория трансдьюсеров: [в 3 т.] : монография/ Л. П. Лисовик. - (Математическое мышление). Т. 1: Главы 13-17 . кн. 3 : Алгебра и автоматы. II
Вихідні дані : К.: Феникс, 2005
Кільк.характеристики :262 с
Примітки : Лит.: с. 256-260
ISBN, Ціна 966-651-251-3: 30.00 грн
ISBN, Ціна 966-651-250-5: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка-- Кібернетика
Географіч. рубрики:
Анотація: Рассматривается проблема решения систем линейных диофантовых уравнений, продолжается изучение проблем эквивалентности для классов последовательностных преобразователей.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

6.

Форма документа : Однотомне видання
Шифр видання : 510.6(075)/К60
Автор(и) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Назва : Введение в математическую логику : учеб. пособие для мат. спец. вузов
Вихідні дані : М.: Изд-во МГУ, 1982
Кільк.характеристики :120 с.: ил.
Примітки : Лит.: с. 120
Ціна : 0.25 р.
УДК : 510.6(075)
ББК : 22.122я73
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): математическая логика--теория множеств--теорія множин--логико-математические языки--логіко-математичні мови--логические законы--логічні закони--формальные аксиоматические теории--формальні аксіоматичні теорії--логика высказываний--логика предикатов--математические теории--математичні теорії
Анотація: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Примірники : всього : ЧЗ(1), АБ(2)
Вільні : ЧЗ(1), АБ(2)
Знайти схожі

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