Библиотека Российской академии наук (БАН)

Базы данных


Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйкраткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Алгебра логики<.>)
Общее количество найденных документов : 44
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-44 
1.2001к/11623

Брусенцов, Николай Петрович .
Искусство достоверного рассуждения : неформал. реконструкция аристотелевой силлогистики и булевой математики мысли / Н. П. Брусенцов. - М. : Фонд "Новое тысячелетие", 1998. - 132,[2] с. ; 22 см.. - Библиогр.: с. 133. - Алф. указ.: с. 129-132
ББК 22.12
Рубрики: Силлогистика
   Алгебра логики

Доп.точки доступа: Брусенцов, Николай Петрович
Найти похожие


2.2001к/3216, 1)


"Континуальные логико-алгебраические и нейросетевые методы в науке, технике и экономике", международная конф. (2000; Ульяновск) (2000 ; Ульяновск). .
Труды международной конференции "Континуальные логико-алгебраические и нейросетевые методы в науке, технике и экономике" (16-18 мая 2000 г.) : [В 2 т. : Посвящ. памяти В. В. Налимова]. - Ульяновск : УлГТУ, 2000 - . - 21 см.. - В надзаг.: М-во образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интеллекта, Ульян. гос. техн. ун-т

Т. 1 : Логико-алгебраические методы в науке, технике и экономике. - 140,[1] с. : ил. . - Библиогр. в конце докл.
ББК 22.12
Рубрики: Алгебра логики
Доп.точки доступа: Налимов, Василий Васильевич; "Континуальные логико-алгебраические и нейросетевые методы в науке, технике и экономике", международная конф. (2000; Ульяновск)(2000 ; Ульяновск)
Найти похожие

3.2002б/357

Алгебраические структуры и булева алгебра : [Учеб. пособие по инженер.-техн. специальностям] / М-во образования Рос. Федерации, Костром. гос. технол. ун-т ; [Г. М. Валов, И. В. Землякова]. - Кострома : КГТУ, 2000. - 18 с. : ил. ; 21 см.. - На обл. авт.: Г. М. Валов, И. В. Землякова. - Библиогр.: с. 18. - ISBN 5-8285-0040-6.
ББК 22.14я73
Рубрики: Алгебраические системы
   Алгебра логики

Доп.точки доступа: Валов, Г. М.; Землякова, И. В.
Найти похожие


4.2002к/7804

Ахметова, Наиля Абдулхамитовна .
Дискретная математика. Функции алгебры логики : учеб. пособие : [Для специальности 073000 "Прикладная математика" по дисциплине "Дискрет. математика"] / Н. А. Ахметова, З. М. Усманова ; М-во образования Рос. Федерации, Уфим. гос. авиац. техн. ун-т. - Уфа : УГАТУ, 2000. - 143 с. ; 21 см.. - Библиогр.: с. 141-142. - ISBN 5-86911-285-0.
ББК 22.176я73
Рубрики: Дискретная математика
   Алгебра логики

Доп.точки доступа: Ахметова, Наиля Абдулхамитовна; Усманова, Зинира Масгутовна
Найти похожие


5.2002б/407

Ерош, Игорь Львович .
Дискретная математика : булева алгебра, комбинац. схемы, преобразования двоич. последовательностей : Учеб. пособие / И. Л. Ерош ; М-во образования Рос. Федерации, С.-Петерб. гос. ун-т аэрокосм. приборостроения. - СПб. : СПбГУАП, 2001. - 29 с. ; 21 см.
ББК 22.176я73 З973.3-044.42я73-1
Рубрики: Алгебра логики
Доп.точки доступа: Ерош, Игорь Львович
Найти похожие


6.2004к/10768

Орлов, Сергей Павлович .
Арифметические и логические основы схемотехники : учеб. пособие / С. П. Орлов, Б. В. Мартемьянов, А. Б. Мартемьянов ; М-во образования Рос. Федерации, Гос. образоват. учреждение высш. проф. образования-Самар. гос. техн. ун-т. - Самара : СГТУ, 2001. - 150,[4] с. : ил. ; 21 см.. - Библиогр.: с. 151. - ISBN 5-7964-0241-2.
ББК 22.18я73 З844я73-1
Рубрики: Компьютеры персональные - Арифметические основы
   Алгебра логики

Доп.точки доступа: Орлов, Сергей Павлович; Мартемьянов, Борис Викторович; Мартемьянов, Алексей Борисович
Найти похожие


7.Ак.с.

алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике", международная конф. (2003; Ульяновск) (2003; Ульяновск)
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : [В 5 т.]. - Ульяновск : УлГТУ, 2003 - . - 21 см.. - Загл. на доп.тит.л.: Works of international conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (13-15 мая 2003 г.). - В надзаг.: М-во образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интеллекта и др.

Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники. - 2003. - 137,[1] с. : ил.
ББК 32.81
Рубрики: Алгебра логики
   Нейрокибернетика

Доп.точки доступа: "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике", международная конф. (2003; Ульяновск)(2003 ; Ульяновск)
Найти похожие

8.2007к/2992

Булева алгебра : учеб. пособие / Н. А. Ахметова, В. В. Водопьянова, Т. Т. Кузбеков, З. М. Усманова ; [Науч. редактор Г. Т. Булгакова]; М-во образования Рос. Федерации, Уфим. гос. авиац. техн. ун-т. - Уфа : УГАТУ, 2003. - 76 с. : ил. ; 21 см.. - Библиогр.: с. 75-76. - ISBN 5-86911-427-6.
ББК 22.144я73
Рубрики: Алгебра логики
Доп.точки доступа: Ахметова, Наиля Абдулхамитовна; Водопьянов, Владимир Васильевич; Кузбеков, Тагир Талгатович; Усманова, Зинира Масгутовна; Булгакова, Г. Т. \ред.\
Найти похожие


9.2007м/170, 1)


   Шевелев, Юрий Павлович.
Дискретная математика : (Автоматизир. технология обучения "Символ") : [Учеб. пособие для вузов по направлению и специальности "Прикладная математика и информатика"] / Ю. П. Шевелев; М-во образования Рос. Федерации, Том. гос. ун-т систем упр. и радиоэлектроники. - Томск : ТУСУР, 2003 - . - 29 см. . - ISBN 5-86889-186-4

Ч. 1
: Теория множеств. Булева алгебра. - 2003. - 119 с. . - ISBN 5-86889-138-4.
ББК В161.41я73-1 В152.61я73-1 В11я73-1
Рубрики: Множеств теория
   Алгебра логики

Найти похожие

10.2007к/15368

Шевелин, М. А. .
Введение в алгебраическую К-теорию : [учеб. пособие] / М. А. Шевелин ; М-во образования РФ, Омский гос. ун-т. - [2-е изд., дораб.]. - Омск : ОмГУ, 2004. - 90 с. ; 20 см.. - Библиогр.: с. 89-90. - ISBN 5-7779-0437-8.
ББК 22.14я73
Рубрики: Алгебра логики
Доп.точки доступа: Шевелин, М. А.
Найти похожие


 1-10    11-20   21-30   31-40   41-44