Политехническая библиотека

Головна

Спрощенний режим

Опис

Бази даних

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

Вид пошуку

Каталог книг

Каталог российских журналов

Каталог иностранных журналов

Зона пошуку

у знайденому

Для печати информации о книге отметьте ее галочкой и нажмите кнопку «печать»

Поисковый запрос: <.>S=Математическая логика<.>

Общее количество найденных документов: 179

Показані документи с 1 за 30

W 77-8/31

Петров, Юрий Александрович.
Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров ; отв ред. С.А.Яновская. - 2-е изд. - М. : Едиториал УРСС, печ. 2004. - 163, [1] с. - Библиогр.: с. 160-162. - ISBN 5-354-00975-8 : Б. ц. р.

ББК В12,0
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 152-10/76

Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учеб. пособие по специальности 032100 "Математика" / В. И. Игошин. - М. : Academia, 2004. - 446,1 с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2 : Б. ц. р., Б.ц р.

ББК В12я73-1 + В127я73-1
Рубрики: Алгоритмы
Математическая логика

Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

W 153-1/238

Верпаховский, Федор Леонидович.
Лекции по математической логике : учеб.пособие / Ф. Л. Верпаховский ; Правительство Москвы, Департамент образования г. Москвы, Моск. гос. пед. ун-т. - М. : Жизнь и мысль : Моск. учебники, 2004. - 126, [1] с. - ISBN 5-8455-0058-3 : Б. ц. р.
На тит. с. : к 10-летию МГПУ

ББК В12я73-1
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 151-5/141

Колмогоров, Андрей Николаевич.
Математическая логика : учеб. пособие для мат. специальностей вузов / А. Н. Колмогоров ; Моск. гос. ун-т им. М.В. Ломоносова. - 2-е изд., стер. - М. : Едиториал УРСС, 2005. - 238 с. : ил. - (Классический университетский учебник / ред. совет : В. А. Садовничий). - На тит. с.: Моск. гос. ун-т им. М.В. Ломоносова-250 лет. - Библиогр.: с. 115, 228. - ISBN 5-354-01003-9 : Б. ц. р.

ББК В12я73-1
Рубрики: Математическая логика

Дод.точки доступу:
Драгалин, Альберт Григорьевич
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

W 92-10/241

Клини, Стивен Коул.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 2-е, стер. - М. : Едиториал УРСС, печ. 2004. - 480 с. : ил. ; 22 см. - Библиогр.: с. 451-465. - Указ. авт. и предм.: с. 470-478. - ISBN 5-354-01011-X : Б. ц. р., Б.ц р.

ББК В12,0
Рубрики: Математическая логика

Дод.точки доступу:
Минц, Г.Е. \ред.\
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

Ф 5-9/364 ч.1

   Толоконников, Г. К.
    Формальные физические теории и квантовое программирование / Г. К. Толоконников ; Фонд развития России, Центр информ. технологий & информатизации и телекоммунмикаций. - М. : Т-Сервис, 2005 - . - (Прикладная математика и информатика :сб. тр...).
   Ч.1 : Конструктивные объекты и конструктивная логика. - 2005. - 32 с. - ; (...т.2, вып.1). - Библиогр.: с. 32. - Б. ц. р.

ББК В31,0 + В314.1с31 + В127.1,0
Рубрики: Теоретическая физика
Программирование (матем.)
Математическая логика

Дод.точки доступу:
Фонд развития России; Центр информ. технологий & информатизации и телекоммуникаций
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-10/158

Волгин, Леонид Иванович.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника / Л. И. Волгин ; Федер. агентство по образованию, Ульян. гос. техн. ун-т, Тольят. гос. акад. сервиса. - Ульяновск : УлГТУ, 2005. - 258 с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-89146-558-2 : Б. ц. р.

ББК В12,0
Рубрики: Математическая логика

Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

W 154-1/206

Шапорев, Сергей Дмитриевич.
Математическая логика [] : курс лекций и практ. занятий : [по специальности 220200 "Автоматизир. системы обраб. информ. и упр."] / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. ; 24 см. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : Б. ц. р.

ББК В12я73-2
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 154-4/129

Кузьмин, Олег Викторович.
Комбинаторные методы решения логических задач : учеб. пособие:[ для вузов по направлениям и специальностям математики] / О. В. Кузьмин. - М. : Дрофа, 2006. - 187, [2] с. : ил. - (Высшее образование) (Высшее педагогическое образование). - Библиогр.: с. 188. - ISBN 5-7107-8579-2 : Б. ц. р.

ББК В151.3я73-1 + В12я73-1
Рубрики: Математическая логика
Комбинаторный анализ

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

10.

W 106-9/300

Ершов, Юрий Леонидович.
Математическая логика : учеб. пособие / Ю. Л. Ершов, Е.А. Палютин. - Изд. 5-е,стер. - СПб. [и др.] : Лань, 2005. - 336 с. - (Учебник для вузов. Специальная литература). - ISBN 5-8114-0533-2 : Б. ц. р.

ББК В12я73-1
Рубрики: Математическая логика

Дод.точки доступу:
Палютин, Евгений Андреевич
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

11.

Ф 5-9/499

Стрыгин, Владимир Захарович.
Решение трудных задач теории чисел, алгебры и логики / В. З. Стрыгин. - Жуковский : [б. в.], 2006. - 34с., включ. обл. : ил. - Описано по обл. - Библиогр.: с. 32-33. - Б. ц. р.

ББК В14,0 + В15,0 + В12,0
Рубрики: Теория чисел
Алгебра
Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

12.

W 88-1/146

Яновская, Софья Александровна.
Методологические проблемы науки / С. А. Яновская ; под общ. ред. И .Г. Башмаковой [и др.]; заключ. ст. Б. В. Бирюкова, О. А. Борисовой. - Изд. 2-е. - М. : URSS : КомКнига, cop. 2006. - 291, [1] с. : ил. - Библиогр.: с. 288-292. - ISBN 4-484-00455-1 : Б. ц. р., 179.31 р.

ББК В1в + В12,0
Рубрики: Математика--Философские вопросы
Математическая логика

Примірників всього: 2
ХР (2)
Свободны: ХР (2) Знайти схожі

13.

W 151-5/141

Колмогоров, Андрей Николаевич.
Математическая логика : учеб. пособие для мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М.В. Ломоносова. - Изд. 3-е,стер. - М. : URSS : КомКнига, 2006. - 238 с. : ил. - (Классический университетский учебник / ред. совет : В. А. Садовничий). - На тит. с.: Моск. гос. ун-т им. М.В. Ломоносова-250 лет. - Библиогр.: с. 115, 228. - ISBN 5-484-00520-5 : Б. ц. р.

14.

W 155-4/120

Наголкин, Андриан Николаевич.
Алгебра логики в золотом сечении : ещё один шаг в обл. нечетких логик и компьютер. интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 180, [1]с., [1] л. порт. : ил. - Библиогр.: с. 180-181. - ISBN 5-317-01731-9 : Б. ц. р.

ББК В12,0 + з973.5,0
Рубрики: Математическая логика
Нейроны

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

15.

W 155-4/193

Аляев, Юрий Александрович.
Дискретная математика и математическая логика : [учеб. для вузов] / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364, [1] с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7 : Б. ц. р.

ББК В12я73-1
Рубрики: Дискретная математика
Математическая логика

Дод.точки доступу:
Тюрин, Сергей Феофентович
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

16.

W 155-4/171

Лавров, Игорь Андреевич.
Математическая логика : [учеб. пособие для вузов, обучающихся по техн. естеств.-науч. специальностям ] / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : Academia, 2006. - 239,[1] с. : ил. - (Серия "Прикладная математика и информатика") (Университетский учебник). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : Б. ц. р.

ББК В12я73-1
Рубрики: Математическая логика

Дод.точки доступу:
Максимова, Л.Л. \ред.\
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

17.

W 137-3/246

Успенский, Владимир Андреевич.
Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2007. - 125 с. - На обл. авт. не указаны. - Библиогр.: с. 122. - ISBN 978-5-9221-0278-0 : Б. ц. р.

ББК В12я73-1
Рубрики: Математическая логика

Дод.точки доступу:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

18.

W 92-10/241

Клини, Стивен Коул.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стер. - М. : URSS : КомКнига, cop. 2007. - 480 с. : ил. - Библиогр.: с. 451-465. - Указ. авт. и предм.: с. 470-478. - ISBN 978-5-484-008-2-5 : Б. ц. р.

ББК В12,0
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

19.

W 155-6/16

Гурова, Любовь Михайловна.
Математическая логика и теория алгоритмов : [учеб. пособие для вузов по направлениям 552800, 654600 "Информатика и вычисл. техника" специальности 220200 "Автоматизир. системы обраб. информатики и упр."] / Л. М. Гурова, Е. В. Зайцева ; [Моск. гос. горный ун-т]. - М. : Изд-во Моск. гос. горного ун-та, 2006. - 261, [1] с. : ил. ; 22 см. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9 : Б. ц. р.

ББК В12я73-1 + В127я73-1
Рубрики: Математическая логика
Алгоритмы

Дод.точки доступу:
Зайцева, Елена Вячеславовна
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

20.

W 155-7/122

Кравченко, Виктор Филиппович.
Алгебра логики, атомарные функции и вейвлеты в физических приложениях : [учеб. пособие для вузов по направлению "Прикладная физика"] / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит : Наука / Интерпериодика, 2006. - 415 с. : ил. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6 : 263.65 р.

ББК В12я73-1 + В162.1я73-1 + В311я73-1
Рубрики: Математическая логика
Функции
Вейвлеты

Дод.точки доступу:
Рвачев, Владимир Логвинович
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

21.

W 155-7/126

Зюзьков, Валентин Михайлович.
Математическая логика и теория алгоритмов : [учеб. пособие по специальностям "Комплекс. обеспечениее информ. безопасности автоматизир. систем", "Орг. и технология защиты информации"] / В. М. Зюзьков, А. А. Шелупанов. - [2-е изд.]. - М. : Горячая линия - Телеком, 2007. - 176 с. : ил. - (Учебное пособие для высших учебных заведений). - Библиогр.: с. 173-174. - ISBN 5-93517-349-2 : 135.52 р.

ББК В12я73-1 + В127я73-1
Рубрики: Математическая логика
Алгоритмы

Дод.точки доступу:
Шелупанов, Александр Александрович
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

22.

W 155-8/160

Целищев, Виталий Валентинович.
Эпистемология математического доказательства / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 209, [2] с. : ил. ; 22 см. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : Б. ц. р.

ББК В123в
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

23.

W 155-8/177

Целищев, Виталий Валентинович.
Алгоритмизация мышления. Геделевский аргумент / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2005. - 303 с. : ил. - (Новая философия математики). - Библиогр.: с. 299-303. - ISBN 5-98901-003-6 : Б. ц. р.

ББК Ю935.131-231.4 + В12в + з813в
Рубрики: Математическая логика
Искусственный интеллект
Мышление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

24.

W 148-3/118

Карпенко, Александр Степанович.
Логики Лукасевича и простые числа / А. С. Карпенко ; отв. ред. В. К. Финн. - Изд. 2-е, испр. - М. : URSS : ЛКИ, cop. 2007. - 255 с. : ил. ; 22 см. - Библиогр.: с. 223-243. - Указ. имен. и предм.: с. 244-252. - ISBN 978-5-382-00027-5 : Б. ц. р.

ББК В12,0 + В141.1,0
Рубрики: Математическая логика
Теория чисел

Дод.точки доступу:
Финн, Виктор Константинович \ред.\
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

25.

W 156-3/96

Пуанкаре, Анри.
Математика и логика / А. Пуанкаре, Л. Кутюра ; пер. с фр. П. Юшкевича, А. Долина. - Изд. 2-е. - М. : URSS, cop. 2007. - 148, [1] с. : ил. ; 22 см. - (Из наследия мировой философской мысли). - ISBN 978-5-382-00019-0 : Б. ц. р.

ББК В1,0 + В12,0
Рубрики: Математика
Математическая логика

Дод.точки доступу:
Кутюра, Луи; Юшкевич, П. \пер.\; Долин, А. \пер.\
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

26.

S 143-1/116

Левин, Виталий Ильич.
Современная математическая логика : монография / В. И. Левин ; Федер. агентство по образованию, Пенз. гос. технол. акад. - Пенза : Изд-во Пенз. гос. технол. акад., 2007. - 55, [1] с. - (Система открытого образования). - Библиогр. в конце гл. - ISBN 978-5-98903-057-6 : Б. ц. р.

ББК В12,0
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

27.

W 156-8/110

Закревский, Аркадий Дмитриевич.
Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. - М. : Физматлит, 2007. - 589 с. : ил. ; 22 см. - (Математика. Прикладная математика). - Библиогр.: с. 581-583. - Предм. указ.: с. 584-589. - ISBN 978-5-9221-0811-9 : Б. ц. р.

ББК В12,0 + з965.6-02-5-05
Рубрики: Математическая логика
Цифровые устройства

Дод.точки доступу:
Поттосин, Юрий Васильевич; Черемисинова, Людмила Дмитриевна
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

28.

W 152-10/76

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

Рубрики: Алгоритмы
Математическая логика

Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

29.

W 152-4/198

Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов : учебник : [по направлениям 654600 Информатика и вычислит. техника, 654700 Информ. системы, 540200 Физю-мат. образование] / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. : ил. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-16-001975-8. - ISBN 978-5-7782-0458-4 : Б. ц. р., 180.00 р.

ББК В12я73-1 + В127я73-1
Рубрики: Математическая логика
Алгоритмы

Дод.точки доступу:
Овчинникова, Е.В.
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

30.

W 156-10/226

Пономарев, Иван Николаевич.
Введение в математическую логику и роды структур : [учеб. пособие для вузов] / И. В. Пономарёв ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Моск. физ.-техн. ин-т (гос. ун-т). - М. : МФТИ, 2007. - 238, [1] с. : ил. - Библиогр.: с. 237-238. - ISBN 5-7417-0174-4 : 50 р., 50.00 р.

ББК В12я73-1 + В161.41я73-1
Рубрики: Математическая логика
Теория множеств

Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі

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