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

Базы данных


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

Вид поиска
Книги
Статьи
Полные тексты изданий ПГТУ
Периодика
Авторефераты и диссертации
Область поиска
в найденном
 Найдено в других БД:Статьи (56)Полные тексты изданий ПГТУ (2)Авторефераты и диссертации (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика<.>)
Общее количество найденных документов : 129
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

Вид документа : Однотомное издание
Шифр издания : 51/М 30
Автор(ы) : Марченков, Сергей Серафимович
Заглавие : S-классификация функций трехзначной логики
Выходные данные : М.: ФИЗМАТЛИТ, 2001
Колич.характеристики :79 c.: ил.
ISBN, Цена 5-9221-0152-8: 54.34 р.
ГРНТИ : 27.23.25
УДК : 51 + 517.5 + 519.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--функции трехзначной логики (s-классификация)--трехзначная логика (функции)
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 004/В 72
Автор(ы) : Вольфенгаген, Вячеслав Эрнстович
Заглавие : Аппликативные вычислительные технологии : готовые решения для инженера, преподавателя, аспиранта, студента
Выходные данные : М.: ЮрИнфоР, 2009
Колич.характеристики :63, [1] c.: ил.
Серия: Библиотека "ЮрИнфоР" .
    Перспективный компьютинг как наука и профессия
ISBN, Цена 978-5-903678-04-4: 50.00 р.
ГРНТИ : 50.39
УДК : 004
Ключевые слова (''Своб.индексиров.''): компьютинг--комбинаторная логика--информационные технологии
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 51/В 75
Автор(ы) : Воротников С.М.
Заглавие : Введение в математическую логику : Учеб. пособие для электротехн. спец. вузов региона
Выходные данные : Комсомольск-на-Амуре: Комсомольский-на-Амуре гос. техн. ун-т, 1996
Колич.характеристики :128 c.: ил.
ISBN, Цена 5-230-21447-3: 9-10
ГРНТИ : 27.03.19
УДК : 51 + 510.6(075)
Ключевые слова (''Своб.индексиров.''): математическая логика--учебные пособия
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 004.4/З-96
Автор(ы) : Зыков С. В.
Заглавие : Введение в теорию программирования : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"]
Выходные данные : М.: Интернет-Университет Информ. Технологий, 2012
Колич.характеристики :393 с.: ил.
Серия: Основы информационных технологий
Примечания : На обл. кн. год изд.: 2004
ISBN, Цена 978-5-9556-0009-3: 290.00, 290.00, р.
ГРНТИ : 50.05
УДК : 004.4(075.8)
Ключевые слова (''Своб.индексиров.''): лекции--учебные пособия--программирование--гриф умо в области прикладной информатики--языки программирования--комбинаторная логика--ламбда-исчисление--абстрактные машины--объектно-ориентированное программирование--c# (язык программирования)--net--microsoft net
Экземпляры : всего : чз№2(4), кнхр(1)
Свободны : чз№2(4), кнхр(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 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
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Ю4/М 62
Автор(ы) : Минто В.
Заглавие : Дедуктивная и индуктивная логика : Учебник
Выходные данные : Екатеринбург: Деловая книга; [Бишкек]: Одиссей, 1997
Колич.характеристики :431 c.
ISBN, Цена 5-88687-028-8: 19600.00 р.
ГРНТИ : 02.21
ББК : Ю4я7
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Ю2/И 45
Автор(ы) : Ильенков, Эвальд Васильевич
Заглавие : Диалектика абстрактного и конкретного в научно-теоретическом мышлении
Выходные данные : М.: РОССПЭН, 1997
Колич.характеристики :464 c.
Серия: Философы России XX века
ISBN, Цена 5-86004-080-6: 42.00 р.
ГРНТИ : 02.91.91
ББК : Ю153.4
Ключевые слова (''Своб.индексиров.''): диалектическая логика
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Войтов А. Г.,
Заглавие : Диалектическая логика. Самоучитель мышления / А. Г. Войтов . -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
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 51/С 54
Автор(ы) : Соболева, Татьяна Сергеевна, Чечкин, Александр Витальевич
Заглавие : Дискретная математика : учебник : [по направлениям подготовки 230100, 090900, 230700, 210700] . -3-е изд., перераб.
Выходные данные : Москва: Академия, 2014
Колич.характеристики :255, [1] с.: ил.
Серия: Высшее образование .
    Бакалавриат .
    Прикладная математика и информатика .
    Университетский учебник
Примечания : Библиогр.: с. 253 (20 назв.)
ISBN, Цена 978-5-4468-0278-4: 680.06, 680.06, р.
ГРНТИ : 27.45
УДК : 519.1(075.8)
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 51/С 72
Автор(ы) : Спирина, Марина Савельевна, Спирин, Павел Алексеевич
Заглавие : Дискретная математика : сборник задач с алгоритмами решений : учебное пособие для образовательных организаций среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование". Регистрационный номер рецензии 156 от 24 мая 2017 г. ФГАУ "ФИРО"
Выходные данные : Москва: Академия, 2017
Колич.характеристики :286, [1] с.: ил.; 22 см.
Серия: Профессиональное образование. Топ 50
Примечания : Библиогр.: с. 282Предм. указ.: с. 283-285
ISBN, Цена 978-5-4468-5733-3: 608.51 р.
ГРНТИ : 27.45
УДК : 519.1(075.32)
ББК : 22.176я723
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--сборники задач--учебные пособия--теории множеств--элементы теории грифов--математическая логика
Экземпляры : всего : абунл(16)
Свободны : абунл(16)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 519.1/Х 13
Автор(ы) : Хаггарти, Род
Заглавие : Дискретная математика для программистов : [учебное пособие по направлению "Прикладная математика"] . -2-е изд., испр.
Выходные данные : Москва: ТЕХНОСФЕРА, 2016
Колич.характеристики :399 с.: ил.
Серия: Мир программирования; VIII, 02
Примечания : Библиогр.: с. 395-396 (28 назв.)
ISBN, Цена 978-5-94836-303-5: 754.00, 754.00, р.
ГРНТИ : 27.45
УДК : 519.1(075.8)
Ключевые слова (''Своб.индексиров.''): математика дискретная--учебные пособия--гриф умо вузов рф по образованию в области прикладной математики--теория множеств--бинарные отношения--функции--математическая логика--математическая индукция--комбинаторика--графы--ориентированные графы--булева алгебра--алгоритмы--решение задач
Экземпляры : всего : абунл(5), чз№2(1), кнхр(1)
Свободны : абунл(5), чз№2(1), кнхр(1)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Иванов Б. Н.,
Заглавие : Дискретная математика. Алгоритмы и программы. Расширенный курс : учебное пособие для вузов/ Б. Н. Иванов
Выходные данные : Санкт-Петербург: Лань, 2023
Колич.характеристики :668 с.
Примечания : Рекомендовано ГБУ ВПО «Московский государственноый технический университет имени Н. Э. Баумана» в качестве учебного пособия для студентов вузов, обучающихся по специальности «Прикладная математика и информатика» Рекомендовано Дальневосточным региональным учебно-методическим цетром (УМО) в качестве учебного пособия для студентов технических специальностей вузов региона
ISBN, Цена 978-5-507-45685-7: Б.ц.
Ключевые слова (''Своб.индексиров.''): анализ вычислительных алгоритмов--нечисленное программирование--комбинаторные алгоритмы--алгоритмизация процессов--дискретная математика
Аннотация: Пособие включает все основные разделы курса дискретной математики. Изложение носит достаточно полный и строгий характер. Наиболее важные разделы курса, такие как математическая логика, комбинаторные схемы, теория графов и теория кодирования дополнены специальными разделами—представление абстрактных объектов, сортировка и поиск, двоичные деревья сравнений, сбалансированные деревья сравнений (АВЛ-деревья), хеширование, порождение комбинаторных объектов, теория коммутативных групп, элементы теории целых чисел. Увеличение объема материала позволило уточнить суть рассматриваемых вопросов, а также связать в единое целое основные разделы курса. Большое внимание уделяется построению формальных алгоритмов практического решения многочисленных задач компьютерного моделирования. Книгу можно рассматривать в качестве справочника методов и алгоритмов дискретной математики, широко применяемых в практическом программировании. Реализация алгоритмов представлена на языках Pascal и С++. Пособие предназначено для студентов специальностей, учебные планы которых предполагают изучение курса дискретной математики, в первую очередь для студентов специальности «Прикладная математика и информатика» и студентов технических специальностей, а также программистов, занятых разработкой прикладного программного обеспечения. Книга будет полезна преподавателям, аспирантам и научным работникам, применяющим методы дискретной математики в прикладных задачах.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 519.1/Б 12
Автор(ы) : Бабичева, Ирина Владимировна
Заглавие : Дискретная математика. Контролирующие материалы к тестированию : учебное пособие . -Изд. 2-е, испр
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2013
Колич.характеристики :159 с.: ил.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 156-157
ISBN, Цена 978-5-8114-1456-7: 213.95, 213.95, р.
ГРНТИ : 27.45
УДК : 519.1(075.8)
ББК : 22.176я7
Ключевые слова (''Своб.индексиров.''): теория множеств--комбинаторный анализ--математическая логика--теория графов--дискретная математика--тесты
Экземпляры :чз№2(1)
Свободны : чз№2(1)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 519.1/А 39
Автор(ы) : Акимов, Олег Евгеньевич
Заглавие : Дискретная математика: логика, группы, графы : [учеб. изд.] . -2-е изд., доп.
Выходные данные : М.: Лаборатория Базовых Знаний, 2001
Колич.характеристики :376 c.
Серия: Технический университет
ISBN, Цена 5-93208-025-6: 112.00, 112.00, р.
ГРНТИ : 27.45
УДК : 519.1 + 519.1(075)
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--группы алгебраические--графы (теория)--учебные пособия
Экземпляры : всего 22: чз№1(2), чз№2(3), кнхр(1), абунл(22)
Свободны : чз№1(2), чз№2(3), кнхр(1), абунл(22)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 519.1/А 39
Автор(ы) : Акимов, Олег Евгеньевич
Заглавие : Дискретная математика: логика, группы, графы, фракталы : [учеб. пособие]
Выходные данные : М.: Издатель Акимова, 2005
Колич.характеристики :655 c.: ил.
ISBN, Цена 5-9900342-1-0: 220.80 р.
ГРНТИ : 27.45
УДК : 519.1 + 519.1(075)
Предметные рубрики: Математика
Географич. рубрики: Россия
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--группы алгебраические--теория графов--фракталы--учебные пособия
Экземпляры : всего : чз№2(1), кнхр(1)
Свободны : чз№2(1), кнхр(1)
Найти похожие
17.

Вид документа : Многотомное издание
Шифр издания : 519.1/А 39
Автор(ы) : Акимов, О. Е.
Заглавие : Дискретная математика: учеб. пособие/ О. Е. Акимов. Ч. 1: Логика
Выходные данные : Комсомольск-на-Амуре: Изд-во Комсомольского-на-Амуре гос. техн. ун-та, 1996 -
Колич.характеристики :117 c.: ил.
ISBN, Цена 5-7765-0002-8: 9.10 р.
ГРНТИ : 27.03.19
УДК : 519.1 + 519.1(075)
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--учебные пособия
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 630/Т 46
Автор(ы) : Тихонов, Анатолий Семенович
Заглавие : Жизнь и логика лесовода : [мемуары]
Выходные данные : Калуга: Гриф, 2012
Колич.характеристики :311, [1] с.: фото
ISBN, Цена 978-5-905456-16-9: 400.00, 400.00, р.
ГРНТИ : 68.47.01
УДК : 630(092)
Ключевые слова (''Своб.индексиров.''): мемуары--история лесного хозяйства--лесоводы--тихонов а. с.--леса--лесное хозяйство
Экземпляры : всего : кнхр(3)
Свободны : кнхр(3)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 51/Л 13
Автор(ы) : Лавров, Игорь Андреевич, Максимова Л. Л.
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов . -4-е изд.
Выходные данные : М.: Физматлит, 2001
Колич.характеристики :255 c.
ISBN, Цена 5-9221-0026-2: 80.83 р.
ГРНТИ : 27.03
УДК : 510.6(076) + 510.54(076) + 510.22(076)
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--алгоритмы (теория)--задачи--учебные пособия
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 004.9/З-67 яяя (другие формы)
Автор(ы) : Златопольский Д. М.,
Заглавие : Занимательная информатика / Д. М. Златопольский . -6-е изд.
Выходные данные : Москва: Лаборатория знаний, 2021
Колич.характеристики :427 с.
ISBN, Цена 978-5-93208-515-8: Б.ц.
УДК : 004.9
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: Книга во многом аналогична популярным книгам «Занимательная физика» Я. И. Перельмана, «Математические чудеса и тайны» М. Гарднера, «В царстве смекалки» Е. И. Игнатьева, «Математическая смекалка» Б. А. Кордемского и др. Она содержит большое количество разнообразных занимательных логических задач и головоломок, интересных фактов и полезных программ, простейших компьютерных игр, фокусов и др. Материалы книги охватывают широкий круг вопросов информатики, вычислительной техники и информационных и коммуникационных технологий (системы счисления, кодирование информации, логика, основы программирования, Интернет и др.). Эти материалы можно использовать как в учебном процессе, так и для внеклассной работы с учащимися. Для всех, кто интересуется информатикой.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 08.07.2024
Число запросов 74988
Число посетителей 957
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».