Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

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

в найденном

Найдено в других БД:

Статьи (56)

Полные тексты изданий ПГТУ (2)

Авторефераты и диссертации (2)

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

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

Поисковый запрос: (<.>K=ЛОГИКА<.>)

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

1-10 11-20 21-30 31-40 41-50 51-60

   51
   М 30

    Марченков, Сергей Серафимович.
    S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : ФИЗМАТЛИТ, 2001. - 79 c. : ил. - ISBN 5-9221-0152-8 : 54.34 р.

27.23.25
УДК	51	517.5	519.1

Кл.слова (ненормированные):
Дискретная математика -- Функции трехзначной логики (S-классификация) -- Трехзначная логика (функции)
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

   004
   В 72

    Вольфенгаген, Вячеслав Эрнстович.
    Аппликативные вычислительные технологии [Текст] : готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген ; [под ред. Л. Ю. Исмаиловой]. - М. : ЮрИнфоР, 2009. - 63, [1] c. : ил. - (Библиотека "ЮрИнфоР") (Перспективный компьютинг как наука и профессия). - ISBN 978-5-903678-04-4 : 50.00 р.

50.39
УДК	004

Кл.слова (ненормированные):
Компьютинг -- КОМБИНАТОРНАЯ логика -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Доп.точки доступа:
Исмаилова, Л. Ю. \ред.\

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

   51
   В 75

    Воротников, С. М.
    Введение в математическую логику [Текст] : Учеб. пособие для электротехн. спец. вузов региона / С. М. Воротников. - Комсомольск-на-Амуре : Комсомольский-на-Амуре гос. техн. ун-т, 1996. - 128 c. : ил. - ISBN 5-230-21447-3 : 9-10 р.

27.03.19
УДК	51	510.6(075)

Кл.слова (ненормированные):
Математическая логика -- Учебные пособия
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

   004.4
   З-96

    Зыков, С. В.
    Введение в теорию программирования [Текст] : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"] / С. В. Зыков ; при поддержке Microsoft Research, Ltd. - М. : Интернет-Университет Информ. Технологий, 2012. - 393 с. : ил. - (Основы информационных технологий). - ISBN 978-5-9556-0009-3 : 290.00 р.
На обл. кн. год изд.: 2004

ГРНТИ	50.05
УДК	004.4(075.8)

Кл.слова (ненормированные):
ЛЕКЦИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ПРОГРАММИРОВАНИЕ -- ГРИФ УМО В ОБЛАСТИ ПРИКЛАДНОЙ ИНФОРМАТИКИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- КОМБИНАТОРНАЯ ЛОГИКА -- ламбда-исчисление -- АБСТРАКТНЫЕ машины -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- C# (язык программирования) -- NET -- MICROSOFT NET
Экземпляры всего: 5
чз№2 (4), кнхр (1)
Свободны: чз№2 (4), кнхр (1)

Найти похожие

32.973-018.1
З-96

Зыков, С. В.
Введение в теорию программирования. Функциональный подход [Электронный ресурс] / С. В. Зыков. - 2-е изд. - Москва : ИНТУИТ, 2016. - 152 с. - ISBN 5-9556-0009-4 : Б. ц.

УДК

32.973-018.1

ББК 13

Кл.слова (ненормированные):
ЭБС Лань
Аннотация: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие

   Ю4
   М 62

    Минто, В.
    Дедуктивная и индуктивная логика [Текст] : Учебник / [Ред. нового изд. и авт. коммент. Кислов А. Г.]. - Екатеринбург : Деловая книга ; [Бишкек] : Одиссей, 1997. - 431 c. - ISBN 5-88687-028-8 : 19600.00 р.

02.21

ББК Ю4я7

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

   Ю2
   И 45

    Ильенков, Эвальд Васильевич.
    Диалектика абстрактного и конкретного в научно-теоретическом мышлении [Текст] / [Сост.,предисл.библиогр.А.Г.Новохатько]. - М. : РОССПЭН, 1997. - 464 c. - (Философы России XX века). - ISBN 5-86004-080-6 : 42.00 р.

02.91.91

ББК Ю153.4

Кл.слова (ненормированные):
Диалектическая логика
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

Войтов, А. Г.
Диалектическая логика. Самоучитель мышления [Электронный ресурс] / А. Г. Войтов. - 6-е изд. - Москва : Дашков и К, 2022. - 480 с. - ISBN 978-5-394-042243-0 : Б. ц.

Кл.слова (ненормированные):
ЭБС Лань
Аннотация: Интеллигентность, теоретичность, интеллектуальность человека предполагают его способность мыслить. Ее обеспечивают логика и диалектика. Однако учебные пособия по этим наукам недостаточны для развития мышления. Используя их, следует найти новые возможности для развития умения применять логику и диалектику в единстве, в качестве непосредственного, прямого, общенаучного, сознательного, практического, наблюдаемого метода мышления (иначе – как диалектическую логику). Концепция – результат пожизненного поиска, в котором участвовали отец Георгий Кириллович (1907–1975 гг.), брат Иван Георгиевич (к. т. н.), жена Ирина Григорьевна, выпускница МГУ 1959 года (1934–2007), сын Сергей, выпускник МИИТ 1983 года, дочь Наташа (к. э. н.). Ответственность лежит на мне – Александре Георгиевиче. Рациональнее начать овладение диалектической логикой с помощью компьютерного аудио- и видеокурса «Уроки мышления» (15 уроков по 10–40 минут, общей продолжительностью 5 часов), www\\miit–ief.ru \дистанционное обучение \ учебные материалы
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие

   51
   С 72

    Спирина, Марина Савельевна.
    Дискретная математика [Текст] : учебник для образовательных организаций среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование". Регистрационный номер рецензии 155 от 24 мая 2017 г. ФГАУ "ФИРО" / М. С. Спирина, П. А. Спирин. - 3-е изд., стер. - Москва : Академия, 2018. - 367, [1] с. : ил. ; 22 см. - (Профессиональное образование. Топ 50). - Библиогр.: с. 366. - Предм. указ.: с. 361-365. - ISBN 978-5-4468-6797-4 : 1049.88 р.

ГРНТИ	27.45
УДК	519.1(075.32)

ББК 22.176я723

Рубрики: Математика--Дискретная математика

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

Экземпляры всего: 47
абунл (47)
Свободны: абунл (47)

Найти похожие

10.

   51
   С 54

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учебник : [по направлениям подготовки 230100, 090900, 230700, 210700] / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - 3-е изд., перераб. - Москва : Академия, 2014. - 255, [1] с. : ил. - (Высшее образование) (Бакалавриат) (Прикладная математика и информатика) (Университетский учебник). - Библиогр.: с. 253 (20 назв.). - ISBN 978-5-4468-0278-4 : 680.06 р.

ГРНТИ	27.45
УДК	519.1(075.8)

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

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

Статистика за 28.06.2024
Число запросов	44840
Число посетителей	517
Число заказов	0