Чернігівська ОУНБ ім. В.Г. Короленка

Головна

Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до Рекомендацій Міністерства культури та інформаційної політики України щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.

Вид пошуку

Бази даних

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

Електронний каталог книг

Електронна картотека аналітичного опису статей

Зведений краєзнавчий каталог Чернігівщини

Електронна бібліотека

Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)

Електронний каталог книг іноземними мовами

Друковані ЗМІ про нас

Зона пошуку

Знайдено у інших БД:

Зведений краєзнавчий каталог Чернігівщини (1)

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

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

Пошуковий запит: (<.>S=Математична логіка<.>)

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

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

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

   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-Х : 020.00 р.

ББК 22.1 + 22.122 + 22.14 + 22.18
Рубрики: Алгебра
   Алгоритми
   Математична кібернетика
   Математична логіка
   Трансдьюсери--Теорія
Кл.слова (ненормовані):
ARM

Примірників всього: 1
ВЗ (1)
Знайти схожі

   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 : 020.00 р.

ББК 22.1 + 22.12 + 22.14 + 22.18
Рубрики: Алгебра
   Математична кібернетика
   Математична логіка
   Математичне програмування
   Трансдьюсери--Теорія
Кл.слова (ненормовані):
ARM

Примірників всього: 1
ВЗ (1)
Знайти схожі

   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 : 015.00 р.

   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 : 015.00 р.

ББК 22.1 + 22.122 + 22.14 + 22.161.5 + 22.18 + 22.192.4
Рубрики: Алгебра
   Алгоритми
   Математична кібернетика
   Математична логіка
   Трансдьюсери--Теорія
   функції (мат.)
Кл.слова (ненормовані):
ARM

Примірників всього: 1
ВЗ (1)
Знайти схожі

   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 : 035.16 р.

ББК 22.1 + 22.12 + 22.14 + 22.18
Рубрики: Алгебра
   Груп теорія (мат.)
   Математична кібернетика
   Математична логіка
   Трансдьюсери--Теорія
Кл.слова (ненормовані):
ARM

Примірників всього: 1
ВЗ (1)
Знайти схожі

   22.1 / 51
   Л 63

    Лисовик, Л. П.
    Теория трансдьюсеров [Текст]. Т. 1. Главы 5-12. Кн. 2. Алгебра и автоматы. 1 / Л. П. Лисовик. - Киев : Феникс, 2005. - 265, [2] с. - (Математическое мышление). - Библиогр.: с. 260-263, 267. - ISBN 966-651-225-4 : 020.00 р.

   22.12 / 51
   П 59


    Порецький Платон Сергійович (3.10.1846-9.08.1907) [Текст] / Щорс. центр. район. б-ка ім. 40-річчя Перемоги. - Щорс : [б. в.], 2007. - 1 розг. арк. : іл. - Бібліогр. в кінці арк. - 001.00 р.

ББК 22.122г(4УКР) + 22.6г(4УКР)
Рубрики: Астрономія
Математики українські
Математична логіка
Кл.слова (ненормовані):
ARM

Дод.точки доступу:
Порецький, Платон Сергійович (1846-1907) \про нього\; Щорська центральна районна бібліотека ім. 40-річчя Перемоги
Примірників всього: 4
ВКр (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 грн

ББК 22.124
Рубрики: Булеві функції
Математична логіка
ВНО

Дод.точки доступу:
Квєтний, Р. Н.; Вінницький національний технічний університет
Примірників всього: 1
ВДЕТПСГН (1)
Знайти схожі

12.

   22.12 / 51
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 4-е изд., стер., . - Москва : Академия, 2010. - 446, [1] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 . - ISBN 978-5-7695-7045-2 (в пер.) : 133.00 грн

ББК 22.12я73
Рубрики: Математична логіка--Навчальні видання для вищої школи
   Алгоритмів теорія--Навчальні видання для вищої школи
   Булеві функції--Навчальні видання для вищої школи
   Аксіоматичний метод--Навчальні видання для вищої школи
   ВНО

Примірників всього: 1
ВДЕТПСГН (1)
Знайти схожі

13.

   22.12 / 51
   Г 91

    Грэй, П.
    Логика, алгебра и базы данных [Текст] / П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского , А. О. Слисенко. - Москва : Машиностроение, 1989. - 359, [1] с. : ил. - Библиогр.: с. 348-358. - ISBN 5-217-00178-Х (в пер.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Килов, Х. И. \пер.\; Минц, Г. Е. \пер.\; Орловский, Г. В. \ред.\; Слисенко, А. О. \ред.\
Примірників всього: 2
ВЗ (1), ВДЕТПСГН (1)
Знайти схожі

14.

   22.12 / 51
   К 98

    Кэрролл, Л.
    Логическая игра [Текст] / Л. Кэрролл ; пер. с англ. Ю. А. Данилова. - Москва : Наука, 1991. - 189, [3] с. : ил. - (Библиотечка "Квант"). - Библиогр.: с. 188-190. - ISBN 5-02-014220-4 : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Данилов, Ю. А. \пер.\
Примірників всього: 4
ВЗ (1), ВДЕТПСГН (1), ВА (2)
Знайти схожі

15.

   22.12 / 51
   Л 69


    Логический подход к искусственному интеллекту. От классической логики к логическому программированию [Текст] : [монография] / [А. Тейз и др.] ; пер. c фр. П. П. Пермякова под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429, [2] с. : ил. - Библиогр.: с. 411-417. - ISBN 5-03-001636-8 (в пер.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Тейз, А.; Грибомон, П.; Луи, Ж.; Снийерс, Д.; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред., пер.\
Примірників всього: 3
ВЗ (1), ВА (1), ВДЕТПСГН (1)
Знайти схожі

16.

   22.12 / 51
   М 31

    Маслов, Сергей Юрьевич.
    Теория дедуктивных систем и ее применения [Текст] / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 135, [1] с. : ил. - Библиогр.: с. 129-131. - (в обл.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Примірників всього: 2
ВДЕТПСГН (1), ВЗ (1)
Знайти схожі

17.

   22.12 / 51
   Н 64

    Никольская, Инна Львовна.
    Учимся рассуждать и доказывать [Текст] : кн. для учащихся 6-10 кл. сред. шк. / И. Л. Никольская, Е. Е. Семенов. - Москва : Просвещение, 1989. - 190, [2] с. : ил. - ISBN 5-09-000591-5 (в пер.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Семенов, Ефим Евстафьевич
Примірників всього: 2
ВЗ (1), ВДЕТПСГН (1)
Знайти схожі

18.

   22.12 / 51
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Изд. 3-е. - Москва : Наука, 1984. - 319, [1] с. - Библиогр.: с. 297-309. - (в пер.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Примірників всього: 2
ВА (1), ВДЕТПСГН (1)
Знайти схожі

19.

   22.12 / 51
   Т 33


    Теория моделей и ее применения [Текст] : сб. науч. тр. / Сиб. отд-ние АН СССР ; отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 181, [2] с. - (Труды Института математики). - Библиогр.: с. 182. - ISBN 5-02-028576-5 (в обл.) : Б. ц.
Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТН

Дод.точки доступу:
Ершов, Ю. Л. \отв. ред.\; Академия наук СССР. Сибирское отделение
Примірників всього: 2
ВЗ (1), ВДЕТПСГН (1)
Знайти схожі

20.

   22.12 / 51
   Ш 23

    Шапиро, Самуил Иосифович.
    Решение логических и игровых задач [Текст] : (логико-психолог. этюды) / С. И. Шапиро. - Москва : Радио и связь, 1984. - 152, [1] с. : ил. - (Кибернетика). - Библиогр.: с. 151. - (в обл.) : Б. ц.
Рубрики: Математична логіка
   Кібернетика
Кл.слова (ненормовані):
ВДЕТН

Примірників всього: 3
ВДЕТПСГН (1), ВА (1), ВЗ (1)
Знайти схожі

21.

   32.97 / 6П2.154.5
   М 33

    Матвієнко, Микола Павлович.
    Комп'ютерна логіка [Текст] : навч. посіб. для вищ. навч. закл. / Матвієнко М. П. - Київ : Ліра-К, 2015. - 286 с. : рис., табл. - Бібліогр.: с. 285-286. - ISBN 966-2609-09-7 (в опр.) : 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 грн.

ББК 22.12я73
Рубрики: Математична логіка--Навчальні видання для вищої школи
Алгоритмів теорія--Навчальні видання для вищої школи
ВНО

Дод.точки доступу:
Шаповалов, Сергій Павлович; Сумський державний університет
Примірників всього: 1
ВДЕТПСГН (1)
Знайти схожі

23.

   22.12 / 51
   Ц 32

    Цейтлін, Георгій Овсійович.
    Алгебра логіки та конструювання програм. Елементи дискретної математики [Текст] / Г. О. Цейтлін. - Київ : Наукова думка, 1994. - 83 с. : іл. - Бібліогр.: с. 77. - ISBN 5-12-003444-6 (в обкл.) : Б. ц.

УДК

510.6

Рубрики: Математична логіка
Кл.слова (ненормовані):
ВДЕТПСН

Примірників всього: 3
ВЗ (2), ВДЕТПСГН (1)
Знайти схожі

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