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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=логика высказываний<.>)

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

1-10 11-11

1.

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)
Постоянная гиперссылка

2.

51
К 432

    Кирнос, И. В.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие / И. В. Кирнос ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра комплексной информационной безопасности электронно-вычислительных систем. - Томск : [б. и.], 2012. - 99 с : ил. - Библиогр.: с. 98. - Алф. указ.: с. 99. - 50.00 р., 45.00 р.

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

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

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

3.

16
И 255

    Ивлев, Юрий Васильевич.
    Логика [Текст] : учебник для вузов / Ю. В. Ивлев ; Московский государственный университет им. М. В. Ломоносова (М.). - 4-е изд., перераб. и доп. - М. : Проспект, 2013. - 304 с. : ил. - ISBN 978-5-392-09681-7 : 302.42 р., 302.39 р., 275.00 р.

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

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

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

4.

16
Б 519

    Берсенев, Максим Валерьевич.
    Логика в деятельности специалиста по социальной работе [Электронный ресурс] : планы практических занятий и методические рекомендации / М. В. Берсенев ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Электрон. текстовые дан. - Томск : [б. и.], 2012. - on-line, 17 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
~РУБ 16

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

Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники (Томск)

Перейти к внешнему ресурсу http://edu.tusur.ru/training/publications/1677
Постоянная гиперссылка

5.

16
Б 519

    Берсенев, Максим Валерьевич.
    Логика [Электронный ресурс] : планы практических занятий и методические рекомендации / М. В. Берсенев ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Электрон. текстовые дан. - Томск : [б. и.], 2012. - on-line, 17 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
~РУБ 16

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

Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники (Томск)

Перейти к внешнему ресурсу http://edu.tusur.ru/training/publications/1678
Постоянная гиперссылка

6.

16
И 255

    Ивлев, Юрий Васильевич.
    Логика. Сборник упражнений : учебное пособие для вузов / Ю. В. Ивлев ; Академия народного хозяйства при Правительстве Российской Федерации. - 3-е изд., испр. . - М. : Дело, 2004. - 246[2] с. : ил., табл. - ISBN 5-7749-0276-5 : 457.67 р., 116.00 р.

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

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

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

7.

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)
Постоянная гиперссылка

8.

519
Д 482


    Дискретная математика : Учебник для вузов / Е. М. Давыдова [и др.] ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра комплексной информационной безопасности электронно-вычислительных систем, Воронежский государственный технический университет. - 2-е изд., перераб. и доп. - Томск : В-Спектр, 2006. - 288 с. : ил. - Библиогр.: с. 287. - 86.40 р.

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

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- теория множеств -- отношения -- логика высказываний -- логика предикатов -- Булевы функции -- нечеткие множества -- нечеткие отношения -- нечеткая логика -- комбинаторика -- кодирование -- графы -- формальные языки -- конечные автоматы
Доп.точки доступа:
Давыдова, Елена Михайловна
Леденева, Т. М.
Мещеряков, Роман Валерьевич
Подвальный, С. Л.
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра комплексной информационной безопасности электронно-вычислительных систем
Воронежский государственный технический университет

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

9.

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)
Постоянная гиперссылка

10.

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)
Постоянная гиперссылка

1-10 11-11

Стандартный

Расширенный

По словарю

Статистика за 18.06.2024
Число запросов	25835
Число заказов	0

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