Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.6(075.8)<.>)

Общее количество найденных документов : 26
Показаны документы с 1 по 20

1-20 21-26

51
Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : Учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. : ил. - Предм. указ.: с. 314-318. - Указ. обознач.: с. 319-320. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика
Доп.точки доступа:
Палютин, Евгений Андреевич

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

517
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Основы дискретной математики : учебное пособие для вузов / В. А. Горбатов. - М. : Высшая школа, 1986. - 310[2] с. : ил. - Библиогр.: с. 304-305. - Предм. указ.: с. 306-309. - 01.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
517(075.8)
512(075.8)
510.6(075.8)
~РУБ 517

Кл.слова (ненормированные):
дискретная математика -- учебные пособия -- алгебраические системы -- математическая логика -- теория графов -- мографы -- теория формальных грамматик -- теория автоматов -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (35 экз.), счз1 (2 экз.)
Свободны: аунл (35), счз1 (2)
Постоянная гиперссылка

51
Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : Учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. : ил. - Предм. указ.: с. 335-336. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика
Доп.точки доступа:
Палютин, Евгений Андреевич

Имеются экземпляры в отделах: счз1 (1 экз.), аунл (2 экз.)
Свободны: счз1 (1), аунл (2)
Постоянная гиперссылка

51
С 524

    Смыслова, Зинаида Александровна.
    Математическая логика и ее приложения : Учебное пособие / З. А. Смыслова. - Томск : ТАСУР, 1994. - 111, [1] с. : ил. - Библиогр.: с. 79. - (в пер.) : 00.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
519.711(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- логика высказываний -- логика кредитов -- Булевы функции -- схемы из функциональных элементов -- конечные автоматы -- алгоритмы -- теория алгоритмов -- учебные пособия

Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (3 экз.)
Свободны: аунл (22), счз1 (3)
Постоянная гиперссылка

51
Н531

    Непейвода, Николай Николаевич.
    Прикладная логика : Учебное пособие для вузов / Николай Николаевич Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского государственного университета, 2000. - 490[4] с. : табл. - Библиогр.: с. 479-481. -Предм. указ.: с. 482-488. - ISBN 5-7615-0490-1 (в пер.) : 207.00 р.
Приложение:
Сопроводительный материал :-анл

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
ПРИКЛАДНАЯ ЛОГИКА -- УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

51
С 524

   Смыслова, Зинаида Александровна
    Спецглавы математики : учебное пособие / З. А. Смыслова, Н. В. Пермякова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации. - Томск : ТМЦДО, 2001 - .
   Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО, 2001. - 80 с. : ил, табл. - Библиогр.: с. 69. - 24.00 р., 40.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
517.987.3(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ДИСТАНЦИОННОЕ ОБУЧЕНИЕ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ПРЕДСТАВЛЕНИЕ БУЛЕВЫХ ФУНКЦИЙ -- СХЕМЫ ИЗ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ -- КОНЕЧНЫЕ АВТОМАТЫ
Доп.точки доступа:
Пермякова, Наталья Викторовна
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизации обработки информации

Имеются экземпляры в отделах: , аунл (9 экз.), счз1 (1 экз.)
Свободны: аунл (9), счз1 (1)
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТМЦДО, 2001. - 154, [2] с. : ил., портр., табл. - Библиогр.: с. 118-119. - 46.20 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- учебные пособия
Доп.точки доступа:
Шелупанов, Александр Александрович
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (8 экз.), счз1 (1 экз.)
Свободны: аунл (8), счз1 (1)
Постоянная гиперссылка

51
Ш447

    Шелупанов, Александр Александрович.
    Математическая логика и теория алгоритмов : Учебное пособие / А. А. Шелупанов, В. М. Зюзьков. - Томск : STT, 2001. - 176 с. : фото. - Библиогр.: с. 173-174. - ISBN 5-93629-031-X : 44.00 р., 44.00 р., 55.00 р., 15.83 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ВЕННА ДИАГРАММЫ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ АЛГЕБРЫ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ТЬЮРИНГА МАШИНЫ
Доп.точки доступа:
Зюзьков, Валентин Михайлович

Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (2 экз.)
Свободны: аунл (23), счз1 (2)
Постоянная гиперссылка

51
С 524

   Смыслова, Зинаида Александровна
    Спецглавы математики : учебное пособие / З. А. Смыслова, Н. В. Пермякова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации. - Томск : ТМЦДО, 2002 - .
   Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО, 2002. - 80 с. : ил, табл. - Библиогр.: с. 69. - 40.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
517.987.3(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ДИСТАНЦИОННОЕ ОБУЧЕНИЕ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- КОНЕЧНЫЕ АВТОМАТЫ
Доп.точки доступа:
Пермякова, Наталья Викторовна
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизации обработки информации

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (5 экз.)
Свободны: счз1 (1), аунл (5)
Постоянная гиперссылка

10.

51
И 269

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

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (17), счз1 (2)
Постоянная гиперссылка

11.

51
У 773

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2004. - 125[3] с. : ил. - Библиогр.: с. 122. - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 (в пер.) : 78.09 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика
Доп.точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (18), счз1 (2)
Постоянная гиперссылка

12.

51
К608

    Колмогоров, Андрей Николаевич.
    Математическая логика : Учебное пособие для вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин ; Московский государственный университет им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238[2] с. : ил. - (Классический университетский учебник). - Библиогр. в конце разд. -Предм. указ.: с. 230-236. - ISBN 5-354-00389-X (в пер.) : 72.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- логика -- математическая логика
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

13.

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра компьютерных систем в управлении и проектировании. - Томск : ТМЦДО, 2004. - 233, [1] с. : ил., табл. - Библиогр.: с. 231-233. - 93.20 р., 116.50 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
519.712(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- учебные пособия -- дистанционное обучение
Доп.точки доступа:
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра компьютерных систем в управлении и проектировании

Имеются экземпляры в отделах: , аунл (6 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

14.

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : Учебное методическое пособие / В. М. Зюзьков ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра компьютерных систем в управлении и проектировании. - Томск : ТМЦДО, 2004. - 84 с. : ил., табл. - 33.60 р., 42.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- дистанционное обучение
Доп.точки доступа:
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра компьютерных систем в управлении и проектировании

Имеются экземпляры в отделах: , аунл (6 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

15.

51
Ш 241

    Шапорев, Сергей Дмитриевич.
    Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : 101.15 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика -- алгебраическая логика -- исчисление высказываний -- логика предикатов -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (57 экз.), счз1 (2 экз.)
Свободны: аунл (57), счз1 (2)
Постоянная гиперссылка

16.

51
Ш 371

    Шевелев, Юрий Павлович.
    Математическая логика и теория алгоритмов : учебное пособие / Ю. П. Шевелев. - Томск : Дельтаплан, 2007. - 219[1] с. : ил., табл. - Библиогр.: с. 208-211. - Предм. указ.: с. 212-219 . - ISBN 978-5-94154-129-4 : 57.51 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика -- теория алгоритмов -- теория множеств

Имеются экземпляры в отделах: , аунл (45 экз.), счз1 (5 экз.)
Свободны: аунл (44), счз1 (5)
Постоянная гиперссылка

17.

51
М 340


    Математическая логика и теория алгоритмов : программа, методические указания и контрольные работы для студентов-заочников специальности 230102 / Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации ; разраб. Т. О. Перемитина. - Томск : [б. и.], 2007. - 37 с. : ил., табл. - Загл. обл. : Программа, методические указания и контрольные работы по курсу "Математическая логика и теория алгоритмов" для студентов-заочников специальности 230102 "Автоматизированные системы обработки информации и управления". - Библиогр.: с. 4. - 6.57 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- программы -- методические пособия -- контрольные работы -- математическая логика -- теория алгоритмов
Доп.точки доступа:
Перемитина, Татьяна Олеговна \разраб.\
Федеральное агентство по образованию
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизации обработки информации

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (5 экз.)
Свободны: аунл (18), счз1 (5)
Постоянная гиперссылка

18.

51
З-981

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

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- учебные пособия -- теория множеств -- логика высказываний -- Булева алгебра -- логика предикатов -- исчисления -- теория алгоритмов -- логические парадоксы -- многозначная логика
Доп.точки доступа:
Шелупанов, Александр Александрович

Имеются экземпляры в отделах: счз1 (1 экз.), КИБЭВС (100)
Свободны: счз1 (1), КИБЭВС (100)
Постоянная гиперссылка

19.

51
С 892

    Судоплатов, С. В.
    Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов, Е. В. Овчинникова. - М. : Инфра-М ; Новосибирск : НГТУ, 2008. - 223[1] с. : ил., табл. - (Высшее образование). - Библиогр.: с. 212-214. - Предм. указ.: с. 215-224. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 320.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ
Доп.точки доступа:
Овчинникова, Е. В.

Имеются экземпляры в отделах: , счз1 (2 экз.)
Свободны: счз1 (2)
Постоянная гиперссылка

20.

51
Г 855

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - М. : КноРус, 2010. - 208 с. : табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 265.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- БУЛЕВА АЛГЕБРА -- МНОЖЕСТВА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Потоцкий, Сергей Иванович

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

1-20 21-26

Статистика за 05.07.2024
Число запросов	75248
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)