Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником

Бази даних


Електронний каталог книг - результати пошуку

Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Знайдено у інших БД:Зведений краєзнавчий каталог Чернігівщини (1)
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>S=Математична логіка<.>)
Загальна кількість знайдених документів : 23
Показані документи с 1 за 23
1.

Форма документа : Однотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Трансдьюсеры. І
Вихідні дані : Киев: Феникс, 2006
Кільк.характеристики :367, [1] с
Примітки : Библиогр.: с. 326-364
ISBN, Ціна 966-651-340-4: 015.00, р.
ББК : 22.1 + 22.122 + 22.14 + 22.18
Предметні рубрики: Алгебра
Алгоритмів теорія
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
2.

Форма документа : Однотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Трансдьюсеры. II : науч. изд.
Вихідні дані : Киев: Феникс, 2007
Кільк.характеристики :251, [1] с
Примітки : Библиогр.: с. 244-250
ISBN, Ціна 978-966-651-482-3: 015.00, р.
ББК : 22.1 + 22.122 + 22.151 + 22.16 + 22.18
Предметні рубрики: Геометрія
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Функціональний аналіз
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
3.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 1 : Главы 1-4. Кн. 1 : Типы языков и машин
Вихідні дані : Киев: Феникс, 2005
Кільк.характеристики :270, [1] с
Серія: Математическое мышление
Примітки : Библиогр.: с. 264-269
ISBN, Ціна 966-651-256-4: Б.ц.
ISBN, Ціна 966-651-251-3: Б.ц.
ISBN, Ціна 966-651-270-Х: Б.ц.
ББК : 22.1 + 22.122 + 22.14 + 22.18
Предметні рубрики: Алгебра
Алгоритми
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
4.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 1 : Главы 13-17. Кн. 3 : Алгебра и автоматы. II
Вихідні дані : Киев: Феникс, 2005
Кільк.характеристики :261, [1] с
Серія: Математическое мышление
Примітки : Библиогр.: с. 256-260
ISBN, Ціна 966-651-256-4: Б.ц.
ISBN, Ціна 966-651-251-3: Б.ц.
ISBN, Ціна 966-651-250-5: Б.ц.
ББК : 22.1 + 22.12 + 22.14 + 22.18
Предметні рубрики: Алгебра
Математична кібернетика
Математична логіка
Математичне програмування
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
5.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 2, кн. 4 : Размеченные деревья
Вихідні дані : Киев: Феникс, 2006
Кільк.характеристики :350, [1] с
Серія: Математическое мышление
Примітки : Библиогр.: с. 341-348
ISBN, Ціна 966-651-256-4: Б.ц.
ISBN, Ціна 966-651-393-5: Б.ц.
ISBN, Ціна 966-651-394-3: Б.ц.
ББК : 22.1 + 22.122 + 22.14 + 22.18
Предметні рубрики: Алгебра
Алгоритми
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
6.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 3, кн. 5 : Типы функций. Интерполяция. Фрактальность
Вихідні дані : Киев: Феникс, 2006
Кільк.характеристики :318, [1] с
Серія: Математическое мышление
Примітки : Библиогр.: с. 307-317
ISBN, Ціна 966-651-256-4: Б.ц.
ISBN, Ціна 966-651-375-7: Б.ц.
ISBN, Ціна 966-651-376-5: Б.ц.
ББК : 22.1 + 22.122 + 22.14 + 22.161.5 + 22.18 + 22.192.4
Предметні рубрики: Алгебра
Алгоритми
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
функції (мат.)
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
7.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 3, кн. 6 : Функции и аппликативные системы
Вихідні дані : Киев: Феникс, 2007
Кільк.характеристики :284 с
Серія: Математическое мышление
Примітки : Библиогр.: с. 273-282
ISBN, Ціна 966-651-256-4: Б.ц.
ISBN, Ціна 966-651-375-7: Б.ц.
ISBN, Ціна 978-966-651-466-3: Б.ц.
ББК : 22.1 + 22.12 + 22.14 + 22.18
Предметні рубрики: Алгебра
Груп теорія (мат.)
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
8.

Форма документа : Багатотомне видання
Шифр видання : 22.1 / 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров . Т. 1 : Главы 5-12. Кн. 2 : Алгебра и автоматы. 1
Вихідні дані : Киев: Феникс, 2005
Кільк.характеристики :265, [2] с
Серія: Математическое мышление
Примітки : Библиогр.: с. 260-263, 267
ISBN, Ціна 966-651-225-4: 020.00, р.
ББК : 22.1 + 22.12 + 22.14 + 22.18
Предметні рубрики: Алгебра
Груп теорія (мат.)
Математична кібернетика
Математична логіка
Трансдьюсери-- Теорія
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
9.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/П 59
Назва : Порецький Платон Сергійович (3.10.1846-9.08.1907)
Вихідні дані : Щорс, 2007
Кільк.характеристики :1 розг. арк.: іл.
Колективи : Щорська центральна районна бібліотека ім. 40-річчя Перемоги
Примітки : Бібліогр. в кінці арк.
Ціна : 001.00, р.
ББК : 22.122г(4УКР) + 22.6г(4УКР)
Предметні рубрики: Астрономія
Математики українські
Математична логіка
Ключові слова (''Вільн.індекс.''): arm
Примірники : всього : ВКр(1), ВЗ(2), ВА(1)
Вільні : ВКр(1), ВЗ(2), ВА(1)
Знайти схожі
10.

Форма документа : Однотомне видання
Шифр видання : 32.81 / 6П2.154/Л 88
Автор(и) : Лыскова В.Ю., Ракитина Е.А.
Назва : Логика в информатике : метод. пособие . -2-е изд.
Вихідні дані : Москва: Лаборатория Базовых Знаний, 2006
Кільк.характеристики :155, [3] с.: ил.
Серія: Информатика
Примітки : Библиогр.: с. 158
ISBN, Ціна 5-93208-187-2: 019.30, р.
ББК : 32.81 + 22.122 + 32.973.2-047
Предметні рубрики: Інформатика
Комп'ютери
Математична логіка
Процесори електронних таблиць
Ключові слова (''Вільн.індекс.''): arm
Примірники :ВЗ(1)
Вільні : ВЗ(1)
Знайти схожі
11.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Б 36
Автор(и) : Бевз О. М., Квєтний Р. Н.
Назва : Шифрування данних на основі високонелінійних булевих функцій та кодів з максимальною відстанню : монографія
Вихідні дані : Вінниця: ВНТУ, 2010
Кільк.характеристики :95 с.: табл.
Колективи : Вінницький національний технічний університет
Примітки : Бібліогр.: с. 91-95
ISBN (в обкл.), Ціна 978-966-641-340-9: 003.00, 003.00, грн
ББК : 22.124
Предметні рубрики: Булеві функції
Математична логіка
ВНО
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
12.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/И 26
Автор(и) : Игошин В. И.
Назва : Математическая логика и теория алгоритмов : учеб. пособие для вузов . -4-е изд., стер.
Вихідні дані : Москва: Академия, 2010
Кільк.характеристики :446, [1] с.
Серія: Высшее профессиональное образование
Примітки : Библиогр.: с. 435-442
ISBN (в пер.), Ціна 978-5-7695-7045-2: 133.00, 133.00, грн
ББК : 22.12я73
Предметні рубрики: Математична логіка
Алгоритмів теорія
Булеві функції
Аксіоматичний метод
ВНО
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
13.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Г 91
Автор(и) : Грэй П.
Назва : Логика, алгебра и базы данных
Вихідні дані : Москва: Машиностроение, 1989
Кільк.характеристики :359, [1] с.: ил.
Примітки : Библиогр.: с. 348-358
ISBN (в пер.), Ціна 5-217-00178-Х: Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВЗ(1), ВДЕТПСГН(1)
Вільні : ВЗ(1), ВДЕТПСГН(1)
Знайти схожі
14.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/К 98
Автор(и) : Кэрролл Л.
Назва : Логическая игра
Вихідні дані : Москва: Наука, 1991
Кільк.характеристики :189, [3] с.: ил.
Серія: Библиотечка "Квант"
Примітки : Библиогр.: с. 188-190
ISBN, Ціна 5-02-014220-4: Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВЗ(1), ВДЕТПСГН(1), ВА(2)
Вільні : ВЗ(1), ВДЕТПСГН(1), ВА(2)
Знайти схожі
15.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Л 69
Автор(и) : Тейз А., Грибомон П., Луи Ж., Снийерс Д.
Назва : Логический подход к искусственному интеллекту. От классической логики к логическому программированию : [монография]
Вихідні дані : Москва: Мир, 1990
Кільк.характеристики :429, [2] с.: ил.
Примітки : Библиогр.: с. 411-417
ISBN (в пер.), Ціна 5-03-001636-8: Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВЗ(1), ВА(1), ВДЕТПСГН(1)
Вільні : ВЗ(1), ВА(1), ВДЕТПСГН(1)
Знайти схожі
16.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/М 31
Автор(и) : Маслов, Сергей Юрьевич
Назва : Теория дедуктивных систем и ее применения
Вихідні дані : Москва: Радио и связь, 1986
Кільк.характеристики :135, [1] с.: ил.
Примітки : Библиогр.: с. 129-131
Ціна : Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВДЕТПСГН(1), ВЗ(1)
Вільні : ВДЕТПСГН(1), ВЗ(1)
Знайти схожі
17.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Н 64
Автор(и) : Никольская, Инна Львовна, Семенов, Ефим Евстафьевич
Назва : Учимся рассуждать и доказывать : кн. для учащихся 6-10 кл. сред. шк.
Вихідні дані : Москва: Просвещение, 1989
Кільк.характеристики :190, [2] с.: ил.
ISBN (в пер.), Ціна 5-09-000591-5: Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВЗ(1), ВДЕТПСГН(1)
Вільні : ВЗ(1), ВДЕТПСГН(1)
Знайти схожі
18.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/М 50
Автор(и) : Мендельсон, Эллиот
Назва : Введение в математическую логику . -Изд. 3-е
Вихідні дані : Москва: Наука, 1984
Кільк.характеристики :319, [1] с.
Примітки : Библиогр.: с. 297-309
Ціна : Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВА(1), ВДЕТПСГН(1)
Вільні : ВА(1), ВДЕТПСГН(1)
Знайти схожі
19.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Т 33
Назва : Теория моделей и ее применения : сб. науч. тр.
Вихідні дані : Новосибирск: Наука, 1988
Кільк.характеристики :181, [2] с.
Колективи : Академия наук СССР. Сибирское отделение
Серія: Труды Института математики
Примітки : Библиогр.: с. 182
ISBN (в обл.), Ціна 5-02-028576-5: Б.ц.
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВЗ(1), ВДЕТПСГН(1)
Вільні : ВЗ(1), ВДЕТПСГН(1)
Знайти схожі
20.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Ш 23
Автор(и) : Шапиро, Самуил Иосифович
Назва : Решение логических и игровых задач : (логико-психолог. этюды)
Вихідні дані : Москва: Радио и связь, 1984
Кільк.характеристики :152, [1] с.: ил.
Серія: Кибернетика
Примітки : Библиогр.: с. 151
Ціна : Б.ц.
Предметні рубрики: Математична логіка
Кібернетика
Ключові слова (''Вільн.індекс.''): вдетн
Примірники : всього : ВДЕТПСГН(1), ВА(1), ВЗ(1)
Вільні : ВДЕТПСГН(1), ВА(1), ВЗ(1)
Знайти схожі
21.

Форма документа : Однотомне видання
Шифр видання : 32.97 / 6П2.154.5/М 33
Автор(и) : Матвієнко, Микола Павлович
Назва : Комп'ютерна логіка : навч. посіб. для вищ. навч. закл.
Вихідні дані : Київ: Ліра-К, 2015
Кільк.характеристики :286 с.: рис., табл.
Примітки : Бібліогр.: с. 285-286
ISBN (в опр.), Ціна 966-2609-09-7: 110.00, 110.00, грн.
ББК : 32.971.2в631я73
Предметні рубрики: Комп'ютери-- Логіка
Математична логіка
Цифрових автоматів теорія
ВНО
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
22.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/М 33
Автор(и) : Матвієнко, Микола Павлович, Шаповалов, Сергій Павлович
Назва : Математична логіка та теорія алгоритмів : навч. посіб. для вищ. навч. закл.
Вихідні дані : Київ: Ліра-К, 2015
Кільк.характеристики :211 с.
Колективи : Сумський державний університет
Примітки : Бібліогр.: с. 210-211
ISBN (в обкл.), Ціна 978-966-2609-74-5: 092.00, 092.00, грн.
ББК : 22.12я73
Предметні рубрики: Математична логіка
Алгоритмів теорія
ВНО
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
23.

Форма документа : Однотомне видання
Шифр видання : 22.12 / 51/Ц 32
Автор(и) : Цейтлін, Георгій Овсійович
Назва : Алгебра логіки та конструювання програм. Елементи дискретної математики
Вихідні дані : Київ: Наукова думка, 1994
Кільк.характеристики :83 с.: іл.
Примітки : Бібліогр.: с. 77
ISBN (в обкл.), Ціна 5-12-003444-6: Б.ц.
УДК : 510.6
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): вдетпсн
Примірники : всього : ВЗ(2), ВДЕТПСГН(1)
Вільні : ВЗ(2), ВДЕТПСГН(1)
Знайти схожі
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)