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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 980659
Автор(ы) : Кривобок, Валерий Викторович
Заглавие : Математическая логика : учеб. пособие для слушателей 5-7 кл. Заоч. физ.-мат. шк. при Сарат. гос. ун-те
Выходные данные : Саратов: Издательство Саратовского университета, 2007
Колич.характеристики :19, [5] с.: ил., табл.
Коллективы : Саратовский государственный университет имени Н. Г. Чернышевского
Примечания : Библиогр.: с. 21
ISBN, Цена 978-5-292-03743-9: 7.00 р.
УДК : 510.6(072.3)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика
Аннотация: В пособии даны основные понятия математической логики, изложены методы решения логических задач. В нём вы найдёте интересные сведения из истории математики и полезные, увлекательные задания. Задачи для самостоятельного решения разбиты на две группы по степени сложности. Для слушателей 5—7 классов Заочной физико-математической школы при Саратовском государственном университете.
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 090178
51.01/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика в системе подготовки учителей математики
Выходные данные : Саратов: Слово, 2002
Колич.характеристики :239, [1] с
Коллективы : М-во образования Рос. Федерации, Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 210-236
ISBN, Цена 5-85571-037-8: 100.00 р.
УДК : 510.6(072.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--учителя математики--математическое образование--межпредметные связи--методика преподавания
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 139122
087.1:51/С 500
Автор(ы) : Смаллиан, Рэймонд М.
Заглавие : Как же называется эта книга? : сб. задач по логике
Выходные данные : Москва: Изд. Дом Мещерякова, 2007
Колич.характеристики :265, [7] с
Серия: Научные развлечения
ISBN (в пер.), Цена 978-5-91045-012-1: 102.96 р.
УДК : 510.6:087.5
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--занимательная математика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
7.

Вид документа : Многотомное издание
Шифр издания : 179668
51.01(075)/Г 393
Автор(ы) : Герн, Б.
Заглавие : Новое изложение логики, основанное на элементарных курсах математики и физики/ Б. Герн. - Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики. Ч. 1: Логика дедуктивная. Логика математики
Выходные данные : Москва: Тип. Г. Лисснера и А. Гешеля, 1902
Колич.характеристики :76 с
Разночтения заглавия :Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики;
Примечания : Прил. къ циркулярамъ по Моск. учеб. округу, изд. подъ ред. Вл. Исаенкова
ISBN (в пер.), Цена [Б. и.]: 26.00 р.
УДК : 510.6(075.3)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--геометрия--арифметика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 575484
681.142(07)51(075.1)/И 741
Автор(ы) : Казанцев С. Я., Калинина, Вера Николаевна, Згадзай О. Э., Левин В. И.
Заглавие : Информатика и математика для юристов : учебник . -2-е изд., перераб. и доп.
Выходные данные : Москва: ЮНИТИ-ДАНА, 2006
Колич.характеристики :558, [2] с.: граф., табл.
Примечания : Библиогр.: с. 548-553 (80 назв.). - Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по специальности "Юриспруденция" (021100)Допущено М-вом внутр. дел Рос. Федерации в качестве учеб. образоват. учреждений высш. проф. образования МВД России
ISBN (в пер.), Цена 5-238-00928-3: 189.00 р.
УДК : 34:[004+51](075.8)
Предметные рубрики: вычислительная техника-- информационные технологии
математика-- математика
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--математическая логика--вероятность--компьютерные технологии--правоохранительные органы--правоохранительная деятельность--информационная безопасность--компьютерные преступления
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 497035
Автор(ы) : Шабунин, Михаил Иванович, Прокофьев, Александр Александрович, Олейник, Татьяна Анатольевна, Соколова, Татьяна Владимировна
Заглавие : Математика. Алгебра. Начала математического анализа. Профильный уровень : метод. пособие для 10 кл.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2008
Колич.характеристики :448 с
ISBN, Цена 978-5-94774-454-5: 185.00 р.
УДК : 512(072.3) + 517(072.3)
Предметные рубрики: математика-- алгебра-- математический анализ
Ключевые слова (''Своб.индексиров.''): алгебра--математический анализ--математическая логика--множества--алгебраические уравнения--тригонометрические формулы--многочлены--предел функции
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 385977
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : [учеб. пособие] . -5-е изд., испр.
Выходные данные : Москва: ФИЗМАТЛИТ, 2006
Колич.характеристики :255, [1] с
Примечания : Библиогр.: с. 248-249 (56 назв.)
ISBN, Цена 5-9221-0026-2: 221.76 р.
УДК : 510(076.1)
Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множеств теория--алгоритмов теория--математическая логика
Экземпляры : всего : ОХФ-ЧЗ-3(1), ОУОЕН(1)
Свободны : ОХФ-ЧЗ-3(1), ОУОЕН(1)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 162881
Заглавие : Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла - Ленга : сб. ст.
Параллельн. заглавия :Model Theory and Algebraic Geometry
Выходные данные : Москва: МЦНМО, 2008
Колич.характеристики :279, [1] с
Примечания : Библиогр. в конце разд. - Предм. указ.: с. 276-279
ISBN, Цена 987-5-94057-125-4: 125.00 р.
ISBN, Цена 3-540-64863-1 (англ.): Б.ц.
УДК : 510.67(082) + 512.7(082)
Предметные рубрики: математика-- математическая логика-- алгебра
Ключевые слова (''Своб.индексиров.''): математическая логика--моделей теория--алгебраическая геометрия--морделла-ленга гипотеза--стабильность
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 060390
Автор(ы) : Турецкий, Владимир Яковлевич
Заглавие : Математика и информатика : учеб. пособие : учебник . -3-е изд., доп. и перераб.
Выходные данные : Москва: ИНФРА-М, 2008
Колич.характеристики :557, [3] с.: рис., табл.
Коллективы : Урал. гос. ун-т
Серия: Высшее образование
Примечания : Библиогр.: с. 557-558 (26 назв.). - Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по гуманитар. направлениям и специальностям
ISBN (в пер.), Цена 978-5-16-000171-5: 180.00 р.
УДК : 51(075.8) + 004(075.8)
Предметные рубрики: математика-- математика
вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): математика--информатика--компьютерная грамотность--программное обеспечение--алгебра--аналитическая геометрия--математический анализ--математическая логика--вероятностей теория--математическая статистика
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(2)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(2)
Найти похожие
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.

Вид документа : Однотомное издание
Шифр издания : 455442
Автор(ы) : Коваленко, Сергей Иванович
Заглавие : Решение задач математической логики с использованием элементарной алгебры
Выходные данные : Москва: Физматлит, 2004
Колич.характеристики :79, [1] с
Примечания : Библиогр.: с. 58 (10 назв.)
ISBN, Цена 5-94052-069-5: 88.00 р.
УДК : 510.6(076.2)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--множества--алгебраические выражения
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 299421
Автор(ы) : Барский, Аркадий Бенционович
Заглавие : Логические нейронные сети : учеб. пособие
Выходные данные : Москва: Интернет-Ун-т Информ. Технологий: БИНОМ. Лаб. знаний, 2007
Колич.характеристики :351, [1] с.: ил., табл.
Серия: Основы информационных технологий
Примечания : Библиогр.: с. 350-351 (30 назв.)
ISBN, Цена 978-5-9556-0094-9 (ИНТУИТ.РУ) (в пер.): 300.00 р.
ISBN, Цена 978-5-94774-646-4 (БИНОМ.ЛЗ): Б.ц.
УДК : 004.032.26(075.8)
Предметные рубрики: вычислительная техника-- искусственный интеллект
Ключевые слова (''Своб.индексиров.''): нейронные сети--нейросетевые технологии--логические нейронные сети--математическая логика--трассировка--принятие решений
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 623620
518.8/Л 436
Автор(ы) : Капитонова, Юлия Владимировна, Кривой, Сергей Лукьянович, Летичевский, Александр Адольфович, Луцкий, Георгий Михайлович
Заглавие : Лекции по дискретной математике : для студентов и аспирантов вузов
Выходные данные : Санкт-Петербург: БХВ-Петербург, 2004
Колич.характеристики :614 с.: ил.
Примечания : Библиогр.: с. 611-614 (83 назв.)
ISBN (в пер.), Цена 5-94157-546-7: 232.50 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--графов теория--конечные автоматы--математическая логика--автоматов теория--множества--комбинаторика--информационные технологии
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 470086
51(075.1)681.142(075)017.7:51017.7:68/Б 881
Автор(ы) : Бродская, Юлия Анатольевна
Заглавие : Математика и информатика: теория, задачи и примеры : учеб. пособие для студентов социол. фак. днев. и заоч. формы обучения
Выходные данные : Саратов: Издательство Саратовского университета, 2004
Колич.характеристики :137, [3] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 134-135
ISBN, Цена 5-292-03275-1: 35.00 р.
УДК : 51(075.8) + 004(075.8)
Предметные рубрики: математика-- математика
вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): математика--информатика--множеств теория--комбинаторика--линейная алгебра--математическая логика
Аннотация: Учебное пособие содержит теоретические и практические сведения из наиболее важных разделов современной математики, необходимые студентам, обучающимся на гуманитарных факультетах университета. В пособие включены элементы теории множеств, комбинаторного анализа, линейной алгебры, абстрактной алгебры, теории чисел, математической логики, теории вероятностей и математической статистики. Помимо теоретической части, проиллюстрированной примерами, подробно рассмотрены решения типовых задач и задач повышенной трудности.
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
19.

Вид документа : Многотомное издание
Шифр издания : 355243
3433.001.5111Н252/Л 683
Автор(ы) : Лобовиков, Владимир Олегович
Заглавие : Математическая логика естественного права и политической экономии. Математическая философия экономики и права
Выходные данные : Екатеринбург: УрО РАН, 2005
Колич.характеристики :657, [3] с
Коллективы : Рос. акад. наук, Урал. отд-ние, Ин-т философии и права
Примечания : Библиогр.: с. 611-653 (550 назв.)
ISBN (в пер.), Цена 5-7691-1587-4: 120.00 р.
УДК : 34:510.6 + 330.1:510.6 + 340.12 + 33:1
Предметные рубрики: государство и право-- государство и право
экономика-- политическая экономия
философия-- философия науки
Ключевые слова (''Своб.индексиров.''): естественное право--право--политическая экономия--математическая логика--философия права--философия экономики--частная собственность--конкуренция--предпринимательство--государственное управление--рынок--математическое моделирование--монополии
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 982403
51.01(075)/У 773
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики : [учеб. пособие] . -2-е изд.
Выходные данные : Москва: ФИЗМАТЛИТ, 2004
Колич.характеристики :125, [3] с
Примечания : Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - На обл. авт. не указаны
ISBN, Цена 5-9221-0278-8: 95.37 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория--доказательств теория--геделя теорема
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1)
Найти похожие
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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