Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Знайдено в інших каталогах:
	Журнали та продовжувані видання (1)

Книжкові видання

Розширений пошук

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

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

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

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

РА321511

Болибекян, Оганес Рафаелович.

Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.

Тематичний рубрикатор:

Багатозначна логіка

Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА

Видання зберігається у :
Основний фонд

В341948/Ч. 1

Четвериков, Григорий Григорьевич

Многозначные структуры (анализ, сравнение, синтез, обобщение) [Текст] : учеб. пособие / Г. Г. Четвериков. - К. : Харьковский технический ун-т радиоэлектроники, 1997 .

Ч. 1. - [Б. м.] : [б.в.], 1997. - 191 с.

Тематичний рубрикатор:

Багатозначна логіка

Комп'ютери та програмування

Дод. точки доступу:
Харьковский технический ун-т радиоэлектроники

Видання зберігається у :
Основний фонд

ВА627696

Марченков, Сергей Серафимович.

S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с. - Библиогр.: с. 78-79.

Тематичний рубрикатор:

Багатозначна логіка

Видання зберігається у :
Основний фонд

ВА635517

Закревский, Аркадий Дмитриевич.

Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175.

Тематичний рубрикатор:

Логічні числення. Числення висловлювань і предикатів

Багатозначна логіка

Дод. точки доступу:
Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)

Видання зберігається у :
Основний фонд

ВА649348

Горбатов, Александр Вячеславович.

Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках [Текст] / А. В. Горбатов. - М. : Издательство Физико-математической литературы, 2000. - 336 с.: рис. - Библиогр.: с. 333-336.

Тематичний рубрикатор:

Багатозначна логіка

Видання зберігається у :
Основний фонд

Глушков В.М./ІВ35

Rosser , J. Barkley.

Many-valued logics [Text] / J. Barkley Rosser , Atwell R. Turquette. - Amsterdam : North Holland, 1952. - 124 p. - (Studies in logic and the foundations of mathematics). - Бібліогр.: с. 112-115.

Тематичний рубрикатор:

Багатозначна логіка

Дод. точки доступу:
Turquette, Atwell R.

Видання зберігається у :
Основний фонд

ІС13884

Schölzel, Karsten.

Clones of partial functions on finite sets [Text] : diss. / Karsten Schölzel ; Math.-Naturwiss. Fak. der Univ. Rostock. - Rostock, 2010. - 156 p. : fig. - Бібліогр.: с. 113-119.

Тематичний рубрикатор:

Багатозначна логіка

Загальна теорія алгебраїчних систем. Універсальні алгебри

Дод. точки доступу:
Universität Rostock. Mathematisch-Naturwissenschaftlichen Fakultät

Видання зберігається у :
Основний фонд