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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 254338
51.01(075)/С 81
Автор(ы) : Столбоушкин, Алексей Петрович
Заглавие : Математические основания информатики: учеб. пособие/ А. П. Столбоушкин, М. А. Тайцлин. Ч. 1
Выходные данные : Тверь: [б. и.], 1998
Колич.характеристики :170, [2] с
ISBN, Цена [Б. и.]: 15.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--информатика--автоматы--логика предикатов
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 119088
16(075)+51.01(075)+017.7:1+017.7:51/Г 18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук
Выходные данные : Саратов: Издательство Саратовского университета, 2001
Колич.характеристики :71, [1] с
Примечания : Библиогр.
ISBN, Цена 5-292-2589-5: 20.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 168236
51.01(075)/К 60
Автор(ы) : Колмогоров, Андрей Николаевич (1903-1987), Драгалин, Альберт Григорьевич
Заглавие : Математическая логика : учеб. пособие для студентов мат. специальностей вузов
Выходные данные : Москва: Едиториал УРСС, 2004
Колич.характеристики :238, [2] c.
Серия: Классический университетский учебник
Примечания : Библиогр.
ISBN (в пер.), Цена 5-354-00389-X: 120.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгорифмов теория--доказательств теория
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 307583
16(075)+51.01(075)+017.7:1+017.7:51/Г 18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук . -2-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2003
Колич.характеристики :68, [4] с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02575-5: 25.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 982403
51.01(075)/У 77
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики : [учеб. пособие] . -2-е изд.
Выходные данные : Москва: ФИЗМАТЛИТ, 2004
Колич.характеристики :125, [3] с
Примечания : Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - На обл. авт. не указаны
ISBN, Цена 5-9221-0278-8: 95.37 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория--доказательств теория--геделя теорема
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 214934
51.01(075)/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие . -3-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2004
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
Примечания : Предм. указ.: с. 335-336
ISBN (в пер.), Цена 5-8114-0533-2: 225.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--доказательств теория--исчисления высказываний--исчисления предикатов--алгоритмов теория
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 539752
51.01(075)/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие . -5-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2005
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
Примечания : Предм. указ.: с. 335-336
ISBN, Цена 5-8114-0533-2: 190.43 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--доказательств теория--исчисления высказываний--исчисления предикатов--алгоритмов теория
Аннотация: Изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 518376
51.01(075)/У 77
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики : учеб. пособие . -2-е изд.
Выходные данные : Москва: ФИЗМАТЛИТ, 2007
Колич.характеристики :125, [3] с
Примечания : Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - На обл. авт. не указан
ISBN, Цена 978-5-9221-0278-0: 106.20 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория--доказательств теория--геделя теорема
Найти похожие
9.

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.12я7/У67-497575
Автор(ы) : Дюдяева Г. В., Зиновьев П. М., Зиновьева Т. Ф., Орлова И. Е.
Заглавие : Упражнения по теории множеств и логике : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования"
Выходные данные : Саратов, 2005
Колич.характеристики :46 с
Коллективы : Саратовский государственный университет имени Н. Г. Чернышевского. Педагогический институт
Серия: Студентам, учителям, школьникам
Цена : 10.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--множеств теория--множества--комбинаторика--предикаты--кванторы--теоремы
Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 22.12я7/М 54-057428
Автор(ы) : Александрова, Наталья Алексеевна, Голубцов, Валерий Николаевич, Козырев, Андрей Кириллович, Храмова, Марина Викторовна
Заглавие : Методы решения логических задач : учебное пособие
Выходные данные : Саратов: Рата, 2009
Колич.характеристики :49 с
Коллективы : Саратовский государственный университет имени Н. Г. Чернышевского. Педагогический институт
ISBN (в пер.), Цена 978-5-91659-066-1: 5.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): логические задачи--математическая логика--решение задач
Найти похожие
15.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 51(075)/Н 56
Автор(ы) : Нестеренко Ю. П.
Заглавие : Элементы математической логики : учеб. пособие
Выходные данные : Челябинск: ЧГТУ, 1996
Колич.характеристики :41 с. ; 20 см
Коллективы : Челябинский гос. техн. ун-т, Каф. мат. анализа
ISBN, Цена 5-696-00720-1: 1850.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление предикатов--теория моделей
Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Л 65
Автор(ы) : Лихтарников Л. М.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие для студ. вузов, обучающихся по математическим спец.
Выходные данные : СПб.: Лань, 1998
Колич.характеристики :288 с. ; 21см
ISBN, Цена 5811400829: 35р. р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--логика предикатов--алгоритмы--исчисление высказываний
Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Найти похожие
20.

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

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