| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :22
 В других БД по вашему запросу найдено:Электронный каталог (18)ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(075.8)<.>)
Общее количество найденных документов : 22
Показаны документы с 1 по 20
 1-20    21-22 
1.

   Столбоушкин, Алексей Петрович
    Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.].
   Ч. 1. - Тверь : [б. и.], 1998. - 170, [2] с. - ISBN [Б. и.] : 15.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- информатика -- автоматы -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:

Тайцлин, М. А.
Найти похожие
2.

    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
УДК
16(075.8)
510.6(075.8)

Рубрики: логика--логика

   математика--математическая логика

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
3.

    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика [Текст] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; . - Москва : Едиториал УРСС, 2004. - 238, [2] c. - (Классический университетский учебник). - Библиогр. - ISBN 5-354-00389-X (в пер.) : 120.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгорифмов теория -- доказательств теория
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Драгалин, Альберт Григорьевич

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

    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
УДК
16(075.8)
510.6(075.8)

Рубрики: логика--логика

   математика--математическая логика

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
5.

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р.
На обл. авт. не указаны
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Найти похожие
6.

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Палютин, Евгений Андреевич
Найти похожие
7.

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория
Аннотация: Изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Палютин, Евгений Андреевич
Найти похожие
8.

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р.
На обл. авт. не указан
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Найти похожие
9.

    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р.
Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов
Аннотация: В книге излагаются основные исчисления математической логики.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Овчинникова, Елена Викторовна
Найти похожие
10.

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Потоцкий, Сергей Иванович
Найти похожие
11.

    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р.
Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
12.

    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
13.

   
    Упражнения по теории множеств и логике [Текст] : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования" / Г. В. Дюдяева [и др.] ; ред. П. М. Зиновьев ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : [б. и.], 2005. - 46 с. - (Студентам, учителям, школьникам). - (в пер.) : 10.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- множеств теория -- множества -- комбинаторика -- предикаты -- кванторы -- теоремы
Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Дюдяева, Г. В.
Зиновьев, П. М.
Зиновьева, Т. Ф.
Орлова, И. Е.
Зиновьев, П. М.
Найти похожие
14.

   
    Методы решения логических задач [Текст] : учебное пособие / Н. А. Александрова [и др.] ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : Рата, 2009. - 49 с. - ISBN 978-5-91659-066-1 (в пер.) : 5.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
логические задачи -- математическая логика -- решение задач
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Александрова, Наталья Алексеевна
Голубцов, Валерий Николаевич
Козырев, Андрей Кириллович
Храмова, Марина Викторовна
Найти похожие
15.

    Лапшева, Елена Евгеньевна.
    Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р.
УДК
510.6(075.8)

Кл.слова (ненормированные):
математическая логика -- логические функции -- Карно-Вейча метод -- алгебра логики -- логика высказываний
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Огнева, Марина Валентиновна
Найти похожие
16.

    Гамова, Алла Николаевна.
    Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0 : 235.95 р.
УДК
510.6(075.8)
519.6(075.8)

Рубрики: математика--математическая логика--вычислительная математика

Кл.слова (ненормированные):
математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



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

    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
18.

    Нестеренко, Ю. П.
    Элементы математической логики [Текст] : учеб. пособие / Ю. П. Нестеренко ; Челябинский гос. техн. ун-т, Каф. мат. анализа. - Челябинск : ЧГТУ, 1996. - 41 с. ; 20 см. - ISBN 5-696-00720-1 : 1850.00 р.
ГРНТИ
27.03.01.33
УДК
510.6(075.8)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- исчисление предикатов -- теория моделей
Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



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

    Лихтарников, Л. М.
    Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.
ГРНТИ
27.03.01.33
УДК
510.6(075.8)
ББК 22

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний
Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
20.

    Шапорев, С. Д.
    Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р.
Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
ГРНТИ
27.03.01.33
УДК
510.6(075.8)
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- алгебра логики -- логика предикатов -- теория алгоритмов
Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
 1-20    21-22 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)