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

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

Бази даних


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

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

Лисовик Л. П. Трансдьюсеры. І/Л. П. Лисовик. - 2006
2.

Лисовик Л. П. Трансдьюсеры. II/Л. П. Лисовик. - 2007
3.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 1-4 Кн. 1: Типы языков и машин. - 2005
4.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 13-17 Кн. 3: Алгебра и автоматы. II. - 2005
5.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 2, кн. 4: Размеченные деревья. - 2006
6.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 3, кн. 5: Типы функций. Интерполяция. Фрактальность. - 2006
7.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 3, кн. 6: Функции и аппликативные системы. - 2007
8.

Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 5-12 Кн. 2: Алгебра и автоматы. 1. - 2005
9.

Порецький Платон Сергійович (3.10.1846-9.08.1907)/Щорс. центр. район. б-ка ім. 40-річчя Перемоги. - 2007
10.

Лыскова В.Ю. Логика в информатике/В. Ю. Лыскова, Е. А. Ракитина. - 2006
11.

Бевз О. М. Шифрування данних на основі високонелінійних булевих функцій та кодів з максимальною відстанню/О. М. Бевз, Р. Н. Квєтний. - 2010
12.

Игошин В. И. Математическая логика и теория алгоритмов/В. И. Игошин. - 2010
13.

Грэй П. Логика, алгебра и базы данных/П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского , А. О. Слисенко. - 1989
14.

Кэрролл Л. Логическая игра/Л. Кэрролл ; пер. с англ. Ю. А. Данилова. - 1991
15.

Логический подход к искусственному интеллекту. От классической логики к логическому программированию/[А. Тейз и др.] ; пер. c фр. П. П. Пермякова под ред. Г. П. Гаврилова. - 1990
16.

Маслов С. Ю. Теория дедуктивных систем и ее применения/С. Ю. Маслов. - 1986
17.

Никольская И. Л. Учимся рассуждать и доказывать/И. Л. Никольская, Е. Е. Семенов. - 1989
18.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1984
19.

Теория моделей и ее применения/Сиб. отд-ние АН СССР. - 1988
20.

Шапиро С. И. Решение логических и игровых задач/С. И. Шапиро. - 1984
 1-20    21-23 
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)