Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии

Выберите поиск:
в найденном
Что искать:
 Найдено в других БД:Электронные издания ВСГУТУ (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(075.8)<.>)
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
   51
   Ч-508

    Чёрч, Алонзо.
    Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--учебники
Кл.слова (ненормированные):
математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники


Доп.точки доступа:
Успенский, В.А. \ред. - редактор.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
2.
   51
   С892

    Судоплатов, С. В.
    Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р.
ГРНТИ
27.03
УДК
510.6(075.8)
Рубрики: Математика--Математическая логика--Теория алгоритмов--Учебники
Кл.слова (ненормированные):
логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники


Доп.точки доступа:
Овчинникова, Е.В.
Учебная литература:
ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн
Экземпляры всего: 40
аб (38), чз (2)
Свободны: аб (38), чз (2)
Найти похожие
3.
   51
   И269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р.
Допущено МО РФ
ГРНТИ
27.03.19
27.03.17
УДК
510.6(075.8)
Рубрики: Математика--Математическая логика--Теория алгоритмов--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия

Учебная литература:
ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн
ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн
ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп
Экземпляры всего: 5
чз (2), аб (3)
Свободны: чз (2), аб (3)
Найти похожие
4.
   519.7
   А603

    Аляев, Юрий Александрович.
    Дискретная математика и математическая логика : Учеб. для вузов по спец. "Прикладная информатика (по обл.)" и др. экон. спец. / Ю.А. Аляев, С.Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364 с. : ил. - ISBN 5-279-03045-7 : 150.00 р.
Доп. УМО
ГРНТИ
27.47
27.03
УДК
519.7(075.8)
510.6(075.8)
Рубрики: Дискретная математика--Учебники
   Математическая логика
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория множеств -- булевы алгебры -- общая алгебра -- комбинаторика -- теория графов -- теория переключательных функций -- теория автоматов -- теория кодирования -- математическая логика -- теория алгоритмов -- теория нечетких множеств -- учебники


Доп.точки доступа:
Тюрин, Сергей Феофентович
Учебная литература:
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Доп
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Доп
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Доп
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Доп
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Доп
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Доп
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Доп
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Доп
Экземпляры всего: 2
чз (2)
Свободны: чз (2)
Найти похожие
5.
   51
   И269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р.
Допущено МО РФ
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математика--Математическая логика--Теория алгоритмов--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия

Учебная литература:
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Доп
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп
Экземпляры всего: 2
аб (1), чз (1)
Свободны: аб (1), чз (1)
Найти похожие
6.
   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия


Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп
ЭтФ / СИ / 09.03.04 / Математическая логика 1 / 1 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн
Экземпляры всего: 5
чз (2), зал ППС (1), аб (2)
Свободны: чз (2), зал ППС (1), аб (2)
Найти похожие
7.
   51
   О-753

   
    Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
ГРНТИ
27.03.19
27.23
УДК
510.6(075.8)
519.7(075.8)
Рубрики: Математическая логика--Методические указания--Учебные пособия
   Дискретная математика--Методические указания--Учебные пособия
Кл.слова (ненормированные):
алгебра логики -- математическая логика -- дискретная математика -- методические указания -- учебные пособия

Перейти к внешнему ресурсу: полный текст,
Перейти к внешнему ресурсу: полный текст в ЭБС bookonlime

Доп.точки доступа:
Бурлова, Л.В. \сост.\; Бадлуева, А.А. \сост.\; ВСГТУ
Учебная литература:
ФЭУ / ПМ / 38.03.05 / Дискретная математика / 1 / Доп
ФЭУ / ПМ / 09.03.03 / Дискретная математика / 2 / Доп
Экземпляры всего: 5
кх (5)
Свободны: кх (5)
Найти похожие
8.
   51
   Р935

    Рыбин, Владимир Васильевич.
    Основы теории нечетких множеств и нечеткой логики : Учеб. пособие [для вузов по спец. "Прикладная математика"] / В.В. Рыбин ; Московский авиац. ин-т (гос. техн. ун-т). - М. : Изд-во МАИ, 2007. - 95 с. : ил. - ISBN 978-5-7035-1862-5 : 107.14 р.
ГРНТИ
27
27.03
УДК
510.22(075.8)
510.6(075.8)
Рубрики: Математика--Теория нечетких множеств--Учебные пособия
   Математическая логика--Теория нечеткой логики--Учебные пособия
Кл.слова (ненормированные):
теория нечетких множеств -- нечеткая логика -- теория нечетких отношений -- нечеткое множество -- нечеткие логические формулы -- алгебра нечетких множеств -- учебные пособия


Доп.точки доступа:
Московский авиац. ин-т (гос. техн. ун-т)
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие
9.
   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Практикумы--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия


Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Осн
ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Доп
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн
Экземпляры всего: 2
аб (2)
Свободны: аб (1)
Найти похожие
10.
   519.1
   Т985

    Тюрин, Сергей Феофентович.
    Дискретная математика: Практическая дискретная математика и математическая логика : Учеб. пособие для вузов по напр. подготовки дипломир. спец. 210440 - Телекоммуникации / С.Ф. Тюрин, Ю.А. Аляев. - М. : Финансы и статистика, ИНФРА-М, 2010. - 382 с. : ил. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : 329.89 р.
Рек. УМО
ГРНТИ
27
УДК
519.1(075.8)
510.6(075.8)
Рубрики: Дискретная математика--Учебные пособия
   Математическая логика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория алгоритмов -- компьютерная математика -- лабораторные работы -- учебные пособия


Доп.точки доступа:
Аляев, Юрий Александрович
Учебная литература:
ЭтФ / СИ / 09.03.04 / Дискретная математика / 1 / Доп
ЭтФ / СИ / 02.03.03 / Дискретная математика / 2 / Доп
ЮФ / ПМ / 01.03.04 / Дискретная математика / 3 / Осн
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Осн
ЭтФ / ЭВС / 09.03.01 / Дискретная математика / 2 / Осн
ЭтФ / ЭВС / 11.03.01 / Дискретная математика в радиотехнике / 2 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн
Экземпляры всего: 5
аб (2), чз (2), кх (1)
Свободны: аб (1), чз (2), кх (1)
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога