Тюменская областная научная библиотека

Базы данных

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

Вид поиска

Электронный каталог книг

Патентная и нормативно-техническая документация

Краеведение

Журналы. Газеты. Статьи

КОЛЛЕКЦИИ

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

в найденном

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

Электронный каталог книг (88)

Журналы. Газеты. Статьи (1)

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

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

Поисковый запрос: (<.>R=27.03.19$<.>)

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

1-20 21-40 41-60 61-80 81-88

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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)
Найти похожие

   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

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

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