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

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "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.
A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4
    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
УДК
510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория


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

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема


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

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие
4.
A975312-ОХФ
    Кривобок, Валерий Викторович.
    Математическая логика [Текст] : учеб. пособие для слушателей 5-7 кл. Заоч. физ.-мат. шк. при Сарат. гос. ун-те / В. В. Кривобок ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2007. - 19, [5] с. : ил., табл. - Библиогр.: с. 21. - ISBN 978-5-292-03743-9 : 7.00 р.
УДК
510.6(072.3)

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

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



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

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- учителя математики -- математическое образование -- межпредметные связи -- методика преподавания



Экземпляры всего: 1
ОХФ (1)
Найти похожие
6.
A970179-ОХФ
    Смаллиан, Рэймонд М..
    Как же называется эта книга? [Текст] : сб. задач по логике / Р. М. Смаллиан ; предисл., пер. с англ. Ю. А. Данилова. - Москва : Изд. Дом Мещерякова, 2007. - 265, [7] с. - (Научные развлечения). - ISBN 978-5-91045-012-1 (в пер.) : 102.96 р.
УДК
510.6:087.5

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

Кл.слова (ненормированные):
математическая логика -- занимательная математика


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

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

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

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

   математика--математика

Кл.слова (ненормированные):
информатика -- информационные технологии -- математическая логика -- вероятность -- компьютерные технологии -- правоохранительные органы -- правоохранительная деятельность -- информационная безопасность -- компьютерные преступления


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

Рубрики: математика--алгебра--математический анализ

Кл.слова (ненормированные):
алгебра -- математический анализ -- математическая логика -- множества -- алгебраические уравнения -- тригонометрические формулы -- многочлены -- предел функции


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

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

Кл.слова (ненормированные):
множеств теория -- алгоритмов теория -- математическая логика


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

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

Кл.слова (ненормированные):
математическая логика -- моделей теория -- алгебраическая геометрия -- Морделла-Ленга гипотеза -- стабильность


Доп. точки доступа:
Бускаран, Э.
Френкин, Б. Р.
Шехтман, В. Б.
Артамкин, И. В.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
12.
Учебные отделы,
    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 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)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов


Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 1
ОУОЕН (1)
Найти похожие
13.
A978162-ОХФ, A978163-ОХФ-ЧЗ-4, A978164-ОХФ-ЧЗ-4
    Турецкий, Владимир Яковлевич.
    Математика и информатика [Текст] : учеб. пособие : учебник / В. Я. Турецкий ; Урал. гос. ун-т. - 3-е изд., доп. и перераб. - Москва : ИНФРА-М, 2008. - 557, [3] с. : рис., табл. - (Высшее образование). - Библиогр.: с. 557-558 (26 назв.). - ISBN 978-5-16-000171-5 (в пер.) : 180.00 р.
Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по гуманитар. направлениям и специальностям
УДК
51(075.8)
004(075.8)

Рубрики: математика--математика

   вычислительная техника--информационные технологии

Кл.слова (ненормированные):
математика -- информатика -- компьютерная грамотность -- программное обеспечение -- алгебра -- аналитическая геометрия -- математический анализ -- математическая логика -- вероятностей теория -- математическая статистика



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

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие
15.
A979431-ОХФ
    Коваленко, Сергей Иванович.
    Решение задач математической логики с использованием элементарной алгебры [Текст] / С. И. Коваленко. - Москва : Физматлит, 2004. - 79, [1] с. - Библиогр.: с. 58 (10 назв.). - ISBN 5-94052-069-5 : 88.00 р.
УДК
510.6(076.2)

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

Кл.слова (ненормированные):
математическая логика -- алгебра логики -- множества -- алгебраические выражения
Экземпляры всего: 1
ОХФ (1)
Найти похожие
16.
A978180-ОХФ, A979524-ОХФ
    Барский, Аркадий Бенционович.
    Логические нейронные сети [Текст] : учеб. пособие / А. Б. Барский. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2007. - 351, [1] с. : ил., табл. - (Основы информационных технологий). - Библиогр.: с. 350-351 (30 назв.). - ISBN 978-5-9556-0094-9 (ИНТУИТ.РУ) (в пер.). - ISBN 978-5-94774-646-4 (БИНОМ.ЛЗ) : 300.00 р., 336.00 р.
УДК
004.032.26(075.8)

Рубрики: вычислительная техника--искусственный интеллект

Кл.слова (ненормированные):
нейронные сети -- нейросетевые технологии -- логические нейронные сети -- математическая логика -- трассировка -- принятие решений
Экземпляры всего: 2
ОХФ (2)
Найти похожие
17.
A909460-ОХФ-ЧЗ-4
   
    Лекции по дискретной математике [Текст] : для студентов и аспирантов вузов / Ю. В. Капитонова [и др.]. - Санкт-Петербург : БХВ-Петербург, 2004. - 614 с. : ил. - Библиогр.: с. 611-614 (83 назв.). - ISBN 5-94157-546-7 (в пер.) : 232.50 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- графов теория -- конечные автоматы -- математическая логика -- автоматов теория -- множества -- комбинаторика -- информационные технологии


Доп. точки доступа:
Капитонова, Юлия Владимировна
Кривой, Сергей Лукьянович
Летичевский, Александр Адольфович
Луцкий, Георгий Михайлович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
18.
A963831-ОХФ
    Бродская, Юлия Анатольевна.
    Математика и информатика: теория, задачи и примеры [Текст] : учеб. пособие для студентов социол. фак. днев. и заоч. формы обучения / Ю. А. Бродская ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2004. - 137, [3] с. - Библиогр.: с. 134-135. - ISBN 5-292-03275-1 : 35.00 р.
УДК
51(075.8)
004(075.8)

Рубрики: математика--математика

   вычислительная техника--информационные технологии

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



Экземпляры всего: 1
ОХФ (1)
Найти похожие
19.
A964690-ОХФ
    Лобовиков, Владимир Олегович.
    Математическая логика естественного права и политической экономии. Математическая философия экономики и права [Текст] / В. О. Лобовиков ; науч. ред. Н. В. Брянник ; Рос. акад. наук, Урал. отд-ние, Ин-т философии и права. - Екатеринбург : УрО РАН [изд.], 2005. - 657, [3] с. - Библиогр.: с. 611-653 (550 назв.). - ISBN 5-7691-1587-4 (в пер.) : 120.00 р.
Есть автограф: Экз. A964690 : Лобовиков, Владимир Олегович
УДК
34:510.6
330.1:510.6
340.12
33:1

Рубрики: государство и право--государство и право

   экономика--политическая экономия

   философия--философия науки

Кл.слова (ненормированные):
естественное право -- право -- политическая экономия -- математическая логика -- философия права -- философия экономики -- частная собственность -- конкуренция -- предпринимательство -- государственное управление -- рынок -- математическое моделирование -- монополии


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

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 2
ОХФ (1), ОХФ-ЧЗ-4 (1)
Найти похожие
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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