Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Каталог книг
Каталог российских журналов
Каталог иностранных журналов
Область поиска
в найденном

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

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

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

    Показаны документы с 1 по 20

1.
W 77-8/31

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

Экземпляры всего: 1
ХР (1)
Свободны: ХР (1) Найти похожие
2.
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) Найти похожие
3.
W 153-1/238

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

Экземпляры всего: 1
ХР (1)
Свободны: ХР (1) Найти похожие
4.
W 151-5/141

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


Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Найти похожие
5.
W 92-10/241

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


Доп.точки доступа:
Минц, Г.Е. \ред.\
Экземпляры всего: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Найти похожие
6.
Ф 5-9/364 ч.1

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


Доп.точки доступа:
Фонд развития России; Центр информ. технологий & информатизации и телекоммуникаций
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1) Найти похожие
7.
W 153-10/158

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

Экземпляры всего: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Найти похожие
8.
W 154-1/206

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

Экземпляры всего: 1
ХР (1)
Свободны: ХР (1) Найти похожие
9.
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 : Б. ц. р.
ББК В12я73-1
Рубрики: Математическая логика


Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Найти похожие
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) Найти похожие
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)