Базы данных
- результаты поиска
Вид поиска
Электронный каталог книг
Патентная и нормативно-техническая документация
Краеведение
Журналы. Газеты. Статьи
КОЛЛЕКЦИИ
Тюменская областная научная библиотека им. Д. И. Менделеева
Детская библиотека им. К. Я. Лагунова
Специальная библиотека для слепых
Область поиска
Ключевые слова (полнотекстовый поиск)
Автор
Заглавие
Год издания
в найденном
Найдено в других БД:
Электронный каталог книг (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 (в пер.) : 429.60 р.
ГРНТИ
27.03.19
ББК
22.12я73-4
Рубрики:
Математическая логика -- Учебные издания для высших учебных заведений
Дискретные функции -- Учебные издания для высших учебных заведений
Алгоритмов теория -- Учебные издания для высших учебных заведений
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Глухов, Михаил Михайлович
Шапошников, Виталий Анатольевич
Козлитин, Олег Алексеевич
Шишков, Алексей Борисович
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
2.
22
Т 78
Трудные времена философии.
Виктор Иванович Шестаков: логика и техника, алгебра логики, контактные схемы. Первые успехи применения булевых алгебр в конструировании релейно-контактных схем : [сборник] / ред.-сост. Б. В. Бирюков, И. С. Верстин. - Москва : URSS : ЛЕНАНД, 2016. - 209, [3] с. : ил., портр. ; 21 см. - (Наука в СССР : через тернии к звездам ; № 43). - Вар. загл. : Виктор Иванович Шестаков: логика и техника, алгебра логики, контактные схемы. - Вар. загл. : Первые успехи применения булевых алгебр в конструировании релейно-контактных схем. - Библиогр. в подстроч. примеч. - Библиогр. работ В. Н. Шестакова: с. 194-206. -
ISBN
978-5-9710-3474-2 : 609.50 р.
Характер док. указан в аннот.
ГРНТИ
27.03.19
27.17.21
ББК
22.122я43 + 22.144.4я43
Рубрики:
Шестаков, Виктор Иванович (1907 - 1987)
Релейно-контактные схемы -- Сборники
Булевы алгебры -- Применение в кибернетике -- Сборники
Алгебра логики -- Сборники
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Доп. точки доступа:
Бирюков, Борис Владимирович (доктор философских наук ; 1922-2014)\ред., сост.\
Верстин, Игорь Семенович (кандидат философских наук)\ред., сост.\
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
3.
22
Г 37
Герасимов, Александр Сергеевич
(канд. физ.-мат. наук, математика).
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. - Изд. 4-е, перераб. и доп. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2014. - 409, [7] с. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383 (64 назв.). - Предм. указ.: с. 384-405. - 1000 экз.. -
ISBN
978-5-8114-1666-0 (в пер.) : 854.96 р.
ГРНТИ
27.03.19
ББК
22.122я73-1
Рубрики:
Математическая логика -- Учебные издания для высших учебных заведений
Алгоритмов теория -- Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
исчисления высказываний -- исчисления предикатов -- аксиоматические теории -- метод резолюций -- вычислимости теория -- исчисление хоара
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
4.
22
М 48
Мельников, Геннадий Прокопьевич
.
Азбука математической логики / Г. П. Мельников. - 2-е изд. - Москва : ЛЕНАНД, 2014. - 102, [2] с. - (Науку - всем! Шедевры научно-популярной литературы (математика) ; № 78). -
ISBN
978-5-9710-0717-3 : 154.00 р.
ГРНТИ
27.03.19
ББК
22.122
Рубрики:
Математическая логика -- Теория
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
5.
87
Б 64
Бирюков, Борис Владимирович (д-р филос. наук)
Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика / Б. В. Бирюков ; Рус. ассоц. чтения. - Москва : ЛЕНАНД : URSS, 2014 - . - (Наука в СССР: Через тернии к звездам; № 28). - Текст : непосредственный.
Кн. 2
: В мире логики - математической и философской. - 2014. - 257 с. : ил., портр. - Библиогр. в подстроч. примеч. -
ISBN
978-5-9710-0736-4 : 416.00 р.
ГРНТИ
02.21
02.31.31
27.03.19
ББК
87.000.4
Рубрики:
Философско-логическая сфера
Кл.слова (ненормированные):
логика математическая -- философия математики
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Русская ассоциация чтения
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
6.
0+
22
П 53
Полуэктов, Павел Петрович
(д-р физ.-мат. наук ; 1949-2015).
Озадачник: 133 вопроса на знание логики, математики и физики / Павел Полуэктов, Николай Полуэктов ; [ред. О. Кропоткина]. - Москва : Альпина Паблишер, 2017. - 285 с. : ил. ; 20 см. - (Editor's choice). - Ред. указан на обороте тит. л. - Библиогр.: с. 285. - 2000 экз.. -
ISBN
978-5-9614-5916-6 : 392.45 р.
ГРНТИ
27.03.19
29.01
ББК
22.122я9 + 22.3я9
Рубрики:
Математическая логика -- Задачи -- Решение -- Популярные издания
Физика -- Задачи -- Решение -- Популярные издания
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Доп. точки доступа:
Полуэктов, Николай Павлович (канд. физ.-мат. наук, предприниматель ; 1975-)
Кропоткина, О.\ред.\
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
7.
22
Ц 27
Цветков, Олег Викторович
.
Энтропийный анализ данных в физике, биологии и технике / О. В. Цветков ; Санкт-петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина). - Санкт-Петербург : СПбГЭТУ "ЛЭТИ", 2015. - 201 с. : ил. ; 21 см. - Библиогр.: с. 190-198 (138 назв.). - 500 экз.. -
ISBN
978-5-7629-1734-6 (в пер.) : 599.50 р.
ГРНТИ
27.03.19
ББК
22.172
Рубрики:
Энтропия
Кл.слова (ненормированные):
энтропийный анализ -- экспериментальные данные -- математическая энтропия -- информационная энтропия
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Доп. точки доступа:
Санкт-Петербургский государственный электротехнический университет\\
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
8.
0+
22
О-12
Оакли, Барбара
(доктор наук).
Думай как математик: как решать любые задачи быстрее и эффективнее / Барбара Оакли ; пер. с англ. [И. Майгуровой]. - 3-е издание. - Москва : Альпина Паблишер, 2017. - 283, [5] с. : ил., портр. ; 24 см. - Пер. указан на обороте тит. л. - Парал. тит. л. англ. - Библиогр.: с. 261-275. -
Пер. изд. :
A mind for numbers / Barbara Oakley. - 5000 экз.. -
ISBN
978-5-9614-6318-7 (в пер.) : 341.78 р.
Загл. и авт. ориг.: A mind for numbers / Barbara Oakley
ГРНТИ
27.03.19
ББК
22.122
Рубрики:
Математическое мышление
Кл.слова (ненормированные):
математическая логика -- логичность мышления -- уровень знаний -- тренировка памяти
Аннотация:
Принято считать, что математики – это люди, наделенные недюжинными интеллектуальными способностями, которые необходимо развивать с самого детства. И большинству точность и логичность математического мышления недоступна. Барбара Оакли, доктор наук, в этой книге доказывает, что каждый может изменить способ своего мышления и овладеть приемами, которые используют все специалисты по точным наукам.
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Доп. точки доступа:
Майгурова, И.\пер.\
Oakley, Barbara
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
9.
22
И 26
Игошин, Владимир Иванович
(1948-).
Элементы математической логики : учебник для использования в учебном процессе образовательных учреждений, реализующих программы СПО по специальностям "Компьютерные сети", "Программирование в компьютерных системах", "Информационные системы (по отраслям)" / В. И. Игошин. - 2-е издание, стереотипное. - Москва : Академия, 2017. - 313, [1] с. : ил., портр. ; 22 см. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 311-312 и в подстроч. примеч. - 1000 экз.. -
ISBN
978-5-4468-4664-1 (в пер.) : 862.13 р.
ГРНТИ
27.03.19
ББК
22.12я723-1
Рубрики:
Математическая логика -- Учебники для среднего профессионального образования
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
10.
22
С 44
Скорубский, Владимир Иванович
(кандидат технических наук).
Математическая логика : учебник и практикум для академического бакалавриата : для студентов высших учебных заведений, обучающихся по естественнонаучным и техническим направлениям / В. И. Скорубский, В. И. Поляков, А. Г. Зыков ; Университет ИТМО. - Москва : Юрайт, 2017. - 210, [2] с. : ил., портр. ; 24 см. - (Бакалавр. Академический курс) (УМО ВО рекомендует). - Библиогр.: с. 176-178 (26 назв.). -
ISBN
978-5-534-01114-2 (в пер.) : 560.56 р.
ГРНТИ
27.03.19
ББК
22.12я73-1
Рубрики:
Математическая логика -- Учебники для высших учебных заведений
Кл.слова (ненормированные):
логика высказываний -- логика вывода -- логика предикатов -- логика в информатике -- неклассическая логика
Аннотация:
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Доп. точки доступа:
Поляков, Владимир Иванович (кандидат технических наук)
Зыков, Анатолий Геннадьевич (кандидат технических наук)
Санкт-Петербургский государственный университет информационных технологий, механики и оптики\\
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
11.
22
С 89
Супрун, Валерий Павлович
(кандидат технических наук).
Основы теории булевых функций : [учебное пособие] / В. П. Супрун. - Москва : URSS : ЛЕНАНД, 2017. - 197, [11] с. : портр., табл. ; 21 см. - Библиогр. в конце кн. (12 назв.). -
ISBN
978-5-9710-2913-7 : 389.00 р.
На обл. также: краткий обзор теории, примеры типовых задач с подробными решениями, задачи для самостоятельной работы. Характер док. указан в аннот.
ГРНТИ
27.03.19
ББК
22.124я73
Рубрики:
Булевы функции -- Теория -- Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
алгебраическая логика -- формулы равносильности -- метод минимизации Квайна -- полиномы -- булево дифференцирование
Аннотация:
Учебное пособие предназначено студентам младших курсов высших учебных учреждений математического (или технического) профиля для начального изучения одного из наиболее важных и сложных разделов дискретной математики - теории булевых функций.
Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59
Экземпляры всего:
1
КХ (С 6) (1)
Свободны:
КХ (С 6) (1)
Найти похожие
>
12.
51
Н 73
Новиков, Петр Сергеевич
.
Элементы математической логики / П. С. Новиков. - Москва : Гос. изд-во физико-математической литературы, 1959. - 400 с. - (Мат. логика и основания математики). - Библиогр. в подстроч. примеч. - 100.00 р.
ГРНТИ
27.03.19
РУБ
51
Рубрики:
Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- аксиоматическая арифметика -- теория доказательств
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
13.
22
Т 98
Тюрин, Сергей Феофентович
.
Дискретная математика: практическая дискретная математика и математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов 210440 - Телекоммуникации / С. Ф. Тюрин, Ю. А. Аляев. - Москва : Финансы и статистика : Инфра-М, 2012. - 382 с. : ил., табл. ; 22 см. - Библиогр.: с. 382. - 1500 экз.. -
ISBN
978-5-279-03463-5 : 216.92 р.
ГРНТИ
27.45
27.03.19
ББК
22.174я73-1 + 22.122я73-1
Рубрики:
Дискретная математика -- Задачи -- Решение -- Учебные издания для высших учебных заведений
Математическая логика -- Задачи -- Решение -- Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
теория алгоритмов -- компьютерная математика
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Аляев, Юрий Александрович
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
14.
22
О-75
Основы математической логики
и дискретной математики для специальности "Прикладная информатика" (в государственном и муниципальном управлении) : учебно-методический комплекс / Рос. акад. гос. службы при Президенте РФ ; авт.-сост.: А. Н. Данчул, В. Е. Завьялов, А. И. Митин. - Москва : РАГС, 2010. - 36 с. : табл. - Библиогр. в конце тем. - Глоссарий: с. 12-16. - 52.14 р.
ГРНТИ
27.03.19
ББК
22.122р30 + 22.174р30
Рубрики:
Логика математическая -- Учебно-методические пособия
Математика дискретная -- Учебно-методические пособия
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Данчул, А. Н.\авт.-сост.\
Завьялов, В. Е.\авт.-сост.\
Митин, А. И.\авт.-сост.\
Российская академия государственной службы при Президенте Российской Федерации
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
15.
Р3
О-53
Олехник, Слав Николаевич
.
Старинные занимательные задачи / С. Н. Олехник, Ю. В. Нестеренко, М. К. Потапов. - 2-е издание, исправленное. - Москва : Наука, 1988. - 159, [1] с. : ил. ; 20 см. - Библиогр.: с. 155-156 (32 назв.). - 700000 экз.. -
ISBN
5-02-013759-6 : 0.55 р., 2725.00 р.
ГРНТИ
27.03.19
ББК
22.1
РУБ
Р3
Рубрики:
Занимательная математика
Аннотация:
В книге собрано 170 занимательных задач из рукописей и книг, опубликованных до 1800 года.
Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59
Детская библиотека имени К. Я. Лагунова (Ф1) : ул. Тульская, 4
Доп. точки доступа:
Нестеренко, Юрий Валентинович
Потапов, Михаил Константинович
Экземпляры всего:
2
КХ (С 2) (1), Ф1 (с) (1)
Свободны:
КХ (С 2) (1), Ф1 (с) (1)
Найти похожие
>
16.
22
Г 47
Гильберт, Давид
(1862-1943).
Основы теоретической логики : [руководство по элементам математической логики] / Д. Гильберт, В. Аккерман ; пер. А. А. Ерофеев, ред., авт. предисл. С. А. Яновская. - 2-е изд., испр. - Москва : URSS : КомКнига, 2010. - ; 22 см. - (Физико-математическое наследие : математика (основания математики и логика)). - Библиогр.: с. 297-298. - Предм. указ.: с. 299-302. -
Пер. изд. :
Grundzuge der theoretischen Logik / Hilbert, Ackermann. -
ISBN
978-5-484-01144-5 : 190.08 р.
ГРНТИ
27.03.19
ББК
22.122
Рубрики:
Математическая логика -- Научное издание
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Аккерман, Вильгельм (1896-1962)
Ерофеев, А. А.\пер.\
Яновская, С. А.\ред., авт. предисл.\
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
17.
22
Ж 85
Жук, Д. Н.
Решетка замкнутых классов самодвойственных функций трехзначной логики / Д. Н. Жук. - Москва : Издательство Московского университета, 2011. - 108 с. -
ISBN
978-5-211-05969-6 : 150.00 р.
ГРНТИ
27.03.19
ББК
22.122
Рубрики:
Математическая логика -- Многозначная логика
Кл.слова (ненормированные):
трехзначная логика -- решетка замкнутых классов -- самодвойственная функция -- замкнутый класс -- клон -- существенный предикат
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
18.
22
Г 55
Глухов, Михаил Михайлович
.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург [и др.] : Лань, 2012. - 405 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401 (76 назв.). - 1500 экз.. -
ISBN
978-5-8114-1344-7 (в пер.) : 602.91 р.
ГРНТИ
27.03.19
ББК
22.122я73
Рубрики:
Математическая логика -- Учебные издания для высших учебных заведений
Дискретные функции -- Учебные издания для высших учебных заведений
Алгоритмов теория -- Учебные издания для высших учебных заведений
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Шишков, Алексей Борисович
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
19.
22
И 26
Игошин, Владимир Иванович
(1948-).
Математическая логика : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : Инфра-М, 2012. - 398 с. : ил. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392 и в подстроч. примеч. - 1000 экз.. -
ISBN
978-5-16-005204-5 (в пер.) : 202.96 р.
Приложение:
Рабочая тетрадь
ГРНТИ
27.03.19
ББК
22.12я73
Рубрики:
Математическая логика -- Учебные издания для высших учебных заведений
Аннотация:
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалиста.
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
>
20.
22
Б 64
Бирюков, Борис Владимирович
.
Крушение метафизической концепции универсальности предметной области в логике : контроверза Фреге - Шрёдер / Б. В. Бирюков. - 3-е изд. - Москва : ЛИБРОКОМ, 2013. - 133, [1] с. - Библиогр. в подстроч. примеч. -
ISBN
978-5-397-03625-2
ГРНТИ
27.03.19
ББК
22.122
Рубрики:
Логика математическая -- История, 19 - 20 вв.
Держатели документа:
Тюменская ОНБ
Экземпляры всего:
1
КХ (С 5) (1)
Свободны:
КХ (С 5) (1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-20
21-40
41-60
61-80
81-88
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)