Базы данных


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

Вид поиска
Электронный каталог книг
Патентная и нормативно-техническая документация
Краеведение
Журналы. Газеты. Статьи
КОЛЛЕКЦИИ
Область поиска
в найденном
 Найдено в других БД:Электронный каталог книг (88)Журналы. Газеты. Статьи (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.19$<.>)
Общее количество найденных документов : 88
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-88 
1.

Вид документа : Однотомное издание
Шифр издания : 22/З-15
Автор(ы) : Глухов, Михаил Михайлович, Шапошников, Виталий Анатольевич, Козлитин, Олег Алексеевич, Шишков, Алексей Борисович
Заглавие : Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальностям в области 090100 - "Информационная безопасность"
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2016
Колич.характеристики :110, [1] с. ; 21 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 109-110 (19 назв.)
ISBN (в пер.), Цена 978-5-8114-0853-5:
ГРНТИ : 27.03.19
ББК : 22.12я73-4. LBC/RL
Предметные рубрики: Математическая логика
Дискретные функции
Алгоритмов теория
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22/Т 78
Заглавие : Трудные времена философии. Виктор Иванович Шестаков: логика и техника, алгебра логики, контактные схемы. Первые успехи применения булевых алгебр в конструировании релейно-контактных схем : [сборник]
Выходные данные : Москва: URSS; Москва: ЛЕНАНД, 2016
Колич.характеристики :209, [3] с.: ил., портр.; 21 см
Серия: Наука в СССР: Через тернии к звездам; № 43
Разночтения заглавия :Вар. загл.: Виктор Иванович Шестаков: логика и техника, алгебра логики, контактные схемы; Вар. загл.: Первые успехи применения булевых алгебр в конструировании релейно-контактных схем
Примечания : Библиогр. в подстроч. примеч. - Библиогр. работ В. Н. Шестакова: с. 194-206. - Характер док. указан в аннот.
ISBN, Цена 978-5-9710-3474-2:
ГРНТИ : 27.03.19 + 27.17.21
ББК : 22.122я43. LBC/RL + 22.144.4я43. LBC/RL
Предметные рубрики: Релейно-контактные схемы
Булевы алгебры-- Применение в кибернетике
Алгебра логики
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22/Г 37
Автор(ы) : Герасимов, Александр Сергеевич (канд. физ.-мат. наук, математика)
Заглавие : Курс математической логики и теории вычислимости : учебное пособие . -Изд. 4-е, перераб. и доп.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2014
Колич.характеристики :409, [7] с. ; 21 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 380-383 (64 назв.). - Предм. указ.: с. 384-405
ISBN (в пер.), Цена 978-5-8114-1666-0: 854.96, р.
ГРНТИ : 27.03.19
ББК : 22.122я73-1. LBC/RL
Предметные рубрики: Математическая логика
Алгоритмов теория
Ключевые слова (''Своб.индексиров.''): исчисления высказываний--исчисления предикатов--аксиоматические теории--метод резолюций--вычислимости теория--исчисление хоара
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22/М 48
Автор(ы) : Мельников, Геннадий Прокопьевич
Заглавие : Азбука математической логики . -2-е изд.
Выходные данные : Москва: ЛЕНАНД, 2014
Колич.характеристики :102, [2] с.
Серия: Науку - всем! Шедевры научно-популярной литературы (математика); № 78
ISBN, Цена 978-5-9710-0717-3:
ГРНТИ : 27.03.19
ББК : 22.122
Предметные рубрики: Математическая логика-- Теория
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
5.

Вид документа : Многотомное издание
Шифр издания : 87/Б 64
Автор(ы) : Бирюков, Борис Владимирович (д-р филос. наук)
Заглавие : Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика/ Б. В. Бирюков ; Рус. ассоц. чтения. - (Наука в СССР: Через тернии к звездам; № 28). Кн. 2: В мире логики - математической и философской
Выходные данные : Москва: ЛЕНАНД: URSS, 2014
Колич.характеристики :257 с.: ил., портр.
Коллективы : Русская ассоциация чтения
Примечания : Библиогр. в подстроч. примеч.
ISBN, Цена 978-5-9710-0736-4:
ГРНТИ : 02.21 + 02.31.31 + 27.03.19
ББК : 87.000.4
Предметные рубрики: Философско-логическая сфера
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 22/П 53
Автор(ы) : Полуэктов, Павел Петрович (д-р физ.-мат. наук; 1949-2015), Полуэктов, Николай Павлович
Заглавие : Озадачник: 133 вопроса на знание логики, математики и физики
Выходные данные : Москва: Альпина Паблишер, 2017
Колич.характеристики :285 с.: ил.; 20 см
Серия: Editor's choice
Примечания : Библиогр.: с. 285. - Ред. указан на обороте тит. л.
ISBN, Цена 978-5-9614-5916-6:
ГРНТИ : 27.03.19 + 29.01
ББК : 22.122я9. LBC/RL + 22.3я9. LBC/RL
Предметные рубрики: Математическая логика-- Задачи-- Решение
Физика-- Задачи-- Решение
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 22/Ц 27
Автор(ы) : Цветков, Олег Викторович
Заглавие : Энтропийный анализ данных в физике, биологии и технике
Выходные данные : Санкт-Петербург: СПбГЭТУ "ЛЭТИ", 2015
Колич.характеристики :201 с.: ил.; 21 см
Коллективы : Санкт-Петербургский государственный электротехнический университет
Примечания : Библиогр.: с. 190-198 (138 назв.)
ISBN (в пер.), Цена 978-5-7629-1734-6:
ГРНТИ : 27.03.19
ББК : 22.172. LBC/M
Предметные рубрики: Энтропия
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 22/О-12
Автор(ы) : Оакли, Барбара (доктор наук)
Заглавие : Думай как математик: как решать любые задачи быстрее и эффективнее . -3-е издание
Выходные данные : Москва: Альпина Паблишер, 2017
Колич.характеристики :283, [5] с.: ил., портр.; 24 см
Перевод издания: Oakley, Barbara A mind for numbers
Примечания : Парал. тит. л. англ. - Библиогр.: с. 261-275. - Пер. указан на обороте тит. л. - Загл. и авт. ориг.: A mind for numbers / Barbara Oakley
ISBN (в пер.), Цена 978-5-9614-6318-7:
ГРНТИ : 27.03.19
ББК : 22.122. LBC/RL
Предметные рубрики: Математическое мышление
Аннотация: Принято считать, что математики – это люди, наделенные недюжинными интеллектуальными способностями, которые необходимо развивать с самого детства. И большинству точность и логичность математического мышления недоступна. Барбара Оакли, доктор наук, в этой книге доказывает, что каждый может изменить способ своего мышления и овладеть приемами, которые используют все специалисты по точным наукам.
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 22/И 26
Автор(ы) : Игошин, Владимир Иванович (1948-)
Заглавие : Элементы математической логики : учебник для использования в учебном процессе образовательных учреждений, реализующих программы СПО по специальностям "Компьютерные сети", "Программирование в компьютерных системах", "Информационные системы (по отраслям)" . -2-е издание, стереотипное
Выходные данные : Москва: Академия, 2017
Колич.характеристики :313, [1] с.: ил., портр.; 22 см
Серия: Профессиональное образование. Информатика и вычислительная техника
Примечания : Библиогр.: с. 311-312 и в подстроч. примеч.
ISBN (в пер.), Цена 978-5-4468-4664-1:
ГРНТИ : 27.03.19
ББК : 22.12я723-1. LBC/RL
Предметные рубрики: Математическая логика
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 22/С 44
Автор(ы) : Скорубский, Владимир Иванович (кандидат технических наук), Поляков, Владимир Иванович, Зыков, Анатолий Геннадьевич
Заглавие : Математическая логика : учебник и практикум для академического бакалавриата : для студентов высших учебных заведений, обучающихся по естественнонаучным и техническим направлениям
Выходные данные : Москва: Юрайт, 2017
Колич.характеристики :210, [2] с.: ил., портр.; 24 см
Коллективы : Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Серия: Бакалавр. Академический курс .
    УМО ВО рекомендует
Примечания : Библиогр.: с. 176-178 (26 назв.)
ISBN (в пер.), Цена 978-5-534-01114-2:
ГРНТИ : 27.03.19
ББК : 22.12я73-1. LBC/RL
Предметные рубрики: Математическая логика
Аннотация: В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 22/С 89
Автор(ы) : Супрун, Валерий Павлович (кандидат технических наук)
Заглавие : Основы теории булевых функций : [учебное пособие]
Выходные данные : Москва: URSS; Москва: ЛЕНАНД, 2017
Колич.характеристики :197, [11] с.: портр., табл.; 21 см
Примечания : Библиогр. в конце кн. (12 назв.). - На обл. также: краткий обзор теории, примеры типовых задач с подробными решениями, задачи для самостоятельной работыХарактер док. указан в аннот.
ISBN, Цена 978-5-9710-2913-7:
ГРНТИ : 27.03.19
ББК : 22.124я73. LBC/RL
Предметные рубрики: Булевы функции-- Теория
Аннотация: Учебное пособие предназначено студентам младших курсов высших учебных учреждений математического (или технического) профиля для начального изучения одного из наиболее важных и сложных разделов дискретной математики - теории булевых функций.
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 51/Н 73
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Гос. изд-во физико-математической литературы, 1959
Колич.характеристики :400 с.
Серия: Мат. логика и основания математики
Примечания : Библиогр. в подстроч. примеч. :
ГРНТИ : 27.03.19
Предметные рубрики: Математическая логика
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 22/Т 98
Автор(ы) : Тюрин, Сергей Феофентович, Аляев, Юрий Александрович
Заглавие : Дискретная математика: практическая дискретная математика и математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов 210440 - Телекоммуникации
Выходные данные : Москва: Финансы и статистика: Инфра-М, 2012
Колич.характеристики :382 с.: ил., табл.; 22 см
Примечания : Библиогр.: с. 382
ISBN, Цена 978-5-279-03463-5:
ГРНТИ : 27.45 + 27.03.19
ББК : 22.174я73-1 + 22.122я73-1
Предметные рубрики: Дискретная математика-- Задачи-- Решение
Математическая логика-- Задачи-- Решение
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 22/О-75
Заглавие : Основы математической логики и дискретной математики для специальности "Прикладная информатика" (в государственном и муниципальном управлении) : учебно-методический комплекс
Выходные данные : Москва: РАГС, 2010
Колич.характеристики :36 с.: табл.
Коллективы : Российская академия государственной службы при Президенте Российской Федерации
Примечания : Библиогр. в конце тем. - Глоссарий: с. 12-16 :
ГРНТИ : 27.03.19
ББК : 22.122р30 + 22.174р30
Предметные рубрики: Логика математическая
Математика дискретная
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : Р3/О-53
Автор(ы) : Олехник, Слав Николаевич, Нестеренко, Юрий Валентинович, Потапов, Михаил Константинович
Заглавие : Старинные занимательные задачи . -2-е издание, исправленное
Выходные данные : Москва: Наука, 1988
Колич.характеристики :159, [1] с.: ил.; 20 см
Примечания : Библиогр.: с. 155-156 (32 назв.)
ISBN, Цена 5-02-013759-6: 0.55, 2725.00, р.
ГРНТИ : 27.03.19
ББК : 22.1
Предметные рубрики: Занимательная математика
Аннотация: В книге собрано 170 занимательных задач из рукописей и книг, опубликованных до 1800 года.
Экземпляры : всего : КХ (С 2)(1), Ф1 (с)(1)
Свободны : КХ (С 2)(1), Ф1 (с)(1)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 22/Г 47
Автор(ы) : Гильберт, Давид (1862-1943), Аккерман, Вильгельм
Заглавие : Основы теоретической логики : [руководство по элементам математической логики] . -2-е изд., испр.
Выходные данные : Москва: URSS: КомКнига, 2010
Колич.характеристики : ; 22 см
Серия: Физико-математическое наследие: математика (основания математики и логика)
Перевод издания: Hilbert Grundzuge der theoretischen Logik/ Hilbert, Ackermann
Примечания : Библиогр.: с. 297-298. - Предм. указ.: с. 299-302
ISBN, Цена 978-5-484-01144-5:
ГРНТИ : 27.03.19
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 22/Ж 85
Автор(ы) : Жук Д. Н.
Заглавие : Решетка замкнутых классов самодвойственных функций трехзначной логики
Выходные данные : Москва: Издательство Московского университета, 2011
Колич.характеристики :108 с.
ISBN, Цена 978-5-211-05969-6:
ГРНТИ : 27.03.19
ББК : 22.122
Предметные рубрики: Математическая логика-- Многозначная логика
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 22/Г 55
Автор(ы) : Глухов, Михаил Михайлович, Шишков, Алексей Борисович
Заглавие : Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"
Выходные данные : Санкт-Петербург: Лань, 2012
Колич.характеристики :405 с.: ил.; 21 см
Серия: Учебники для вузов. Специальная литература
Разночтения заглавия :Вар. загл.: Дискретные функции; Вар. загл.: Теория алгоритмов
Примечания : Библиогр.: с. 398-401 (76 назв.)
ISBN (в пер.), Цена 978-5-8114-1344-7:
ГРНТИ : 27.03.19
ББК : 22.122я73
Предметные рубрики: Математическая логика
Дискретные функции
Алгоритмов теория
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 22/И 26
Автор(ы) : Игошин, Владимир Иванович (1948-)
Заглавие : Математическая логика : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :398 с.: ил.; 22 см + 1 эл. опт. диск (CD-ROM)
Серия: Высшее образование
Примечания : Библиогр.: с. 389-392 и в подстроч. примеч.
ISBN (в пер.), Цена 978-5-16-005204-5:
ГРНТИ : 27.03.19
ББК : 22.12я73
Предметные рубрики: Математическая логика
Аннотация: Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалиста.
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 22/Б 64
Автор(ы) : Бирюков, Борис Владимирович
Заглавие : Крушение метафизической концепции универсальности предметной области в логике : контроверза Фреге - Шрёдер . -3-е изд
Выходные данные : Москва: ЛИБРОКОМ, 2013
Колич.характеристики :133, [1] с.
Примечания : Библиогр. в подстроч. примеч.
ISBN, Цена 978-5-397-03625-2:
ГРНТИ : 27.03.19
ББК : 22.122
Предметные рубрики: Логика математическая-- История, 19 - 20 вв.
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие
 1-20    21-40   41-60   61-80   81-88 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)