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

Базы данных


Электронный каталог - результаты поиска

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

Вид документа : Однотомное издание
Шифр издания : 876908
51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та
Выходные данные : Саратов: Издательство Саратовского университета, 1999
Колич.характеристики :76 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02362-0: 15.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 823619
51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий . -2-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2000
Колич.характеристики :78, [2] с
Примечания : Библиогр.
ISBN, Цена 5-292-02515-1: 25.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Экземпляры : всего : ОХФ(5)
Свободны : ОХФ(4)
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 656480
51.01/Г47
Автор(ы) : Гильберт, Давид
Заглавие : Основания математики: [в 2 т.]/ Д. Гильберт, П. Бернайс. - (Математическая логика и основания математики). [Т. 1]: Логические исчисления и формализация арифметики
Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1979
Колич.характеристики :557, [3] с
ISBN (в пер.), Цена [Б. и.]: 35.00 р.
УДК : 510
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--исчисления высказываний--рекурсии
Экземпляры : всего : ОХФ(5)
Свободны : ОХФ(5)
Найти похожие
4.

Вид документа : Многотомное издание
Шифр издания : 574743
51.013/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000
Колич.характеристики :286, [2] с
Примечания : Авт. и загл. указаны на тит. л.
ISBN, Цена 5-900916-66-9: 40.00 р.
УДК : 510.6(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 083139
51.01(075)+51.017+017.7:51/И26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов
Выходные данные : Саратов: Издательство Саратовского университета, 1991
Колич.характеристики :255, [2] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-292-00259-3: 25.00 р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--логика предикатов--булевы функции
Экземпляры : всего : ОХФ(5), ОУОЕН(19)
Свободны : ОХФ(4), ОУОЕН(19)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 319959
51.01(075)+51.017/С89
Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна
Заглавие : Математическая логика и теория алгоритмов : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Выходные данные : Москва; Новосибирск: ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004
Колич.характеристики :223, [1] с
Серия: Высшее образование
Примечания : Библиогр. с. 212-214
ISBN, Цена 5-16-001975-8 (ИНФРА-М) (в пер.): 85.50 р.
ISBN, Цена 5-7782-0458-2 (НГТУ): Б.ц.
УДК : [510.5+510.6](075.6)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--моделей теория
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 747742
51.01(075)51.017/И26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие
Выходные данные : Москва: Академия, 2004
Колич.характеристики :446, [2] с
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442 (152 назв.)
ISBN (в пер.), Цена 5-7695-1363-2: 196.20, 196.00, р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 5: ОУОЕН(194), ОХФ(3)
Свободны : ОУОЕН(194), ОХФ(2)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 346339
51.01(076)51.017/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие
Выходные данные : Москва: Академия, 2005
Колич.характеристики :302, [2] с.: ил.
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.)
ISBN (в пер.), Цена 5-7695-1364-0: 194.10, 220.00, 194.00, р.
УДК : 510.6(076.1) + 510.5(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 5: ОХФ(3), ОУОЕН(194)
Свободны : ОХФ(3), ОУОЕН(194)
Найти похожие
9.

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

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

Вид документа : Однотомное издание
Шифр издания : 699714
51.01(076)51.017/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : Москва: Академия, 2006
Колич.характеристики :302, [2] с.: табл.
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.). - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
ISBN (в пер.), Цена 5-7695-2914-8: 259.16, 247.57, р.
УДК : [510.5+510.6](076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(10)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(10)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 621580
51.01351.017017.7:51/Г 186
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -3-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2006
Колич.характеристики :83, [2] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 84 (6 назв.). - Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
ISBN, Цена 5-292-03595-5: 35.00, 30.00, р.
УДК : 510.5(075.8) + 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 344218
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -3-е изд., стер.
Выходные данные : Москва: Академия, 2007
Колич.характеристики :302, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.). - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
ISBN (в пер.), Цена 5-7695-3728-0: 229.90 р.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 252353
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : Москва: Академия, 2008
Колич.характеристики :446, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 435-442. - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
ISBN (в пер.), Цена 978-5-7695-4593-1: 320.10 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний--аксиоматические теории
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов
Экземпляры :ОУОЕН(1)
Свободны : ОУОЕН(1)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 624843
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика : курс лекций : задачник практикум и решения . -3-е изд., испр.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2008
Колич.характеристики :276, [12] с
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273 (12 назв.)
ISBN (в пер.), Цена 978-5-8114-0082-9: 304.00 р.
УДК : 510.6(075.8+076.5+076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--исчисления высказываний--логика предикатов--алгоритмы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
17.

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

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/М 761
Автор(ы) : Молчанов, Владимир Александрович
Заглавие : Логика высказываний : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2014
Колич.характеристики :60, [3] с.: рис., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 59
ISBN, Цена 978-5-292-04256-3: 182.81 р.
УДК : 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры : всего : ОХФ(3), ОУОЕН(35)
Свободны : ОХФ(3), ОУОЕН(35)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/К 445
Автор(ы) : Кислов, Алексей Геннадьевич, Ольховиков, Григорий Константинович, Уколов, Сергей Юрьевич
Заглавие : Логика высказываний: язык, алгебра, исчисления : учебное пособие
Выходные данные : Екатеринбург: Издательство Уральского университета, 2012
Колич.характеристики :112, [4] с.: ил., табл.
Коллективы : Урал. федер. ун-т им. первого президента России Б. Н. Ельцина
Примечания : Библиогр.: с. 114 (14 назв.). - Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
ISBN, Цена 978-5-7996-0773-9: 64.00 р.
УДК : 510.63(075.8) + 16(075.8)
Предметные рубрики: математика-- математическая логика
логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--алгебра логики--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 2017
Колич.характеристики :392 с.: ил., табл.
Серия: Бакалавриат
Примечания : Библиогр.: с. 388-390 (50 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
ISBN, Цена 978-5-906818-08-9 (в пер.): 1078.00 р.
ISBN, Цена 978-5-16-011429-3: Б.ц.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Найти похожие
 1-20    21-21 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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