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

Базы данных


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

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :35
 В других БД по вашему запросу найдено:Электронный каталог (41)ЭБС "ЛАНЬ" (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгоритмов теория<.>)
Общее количество найденных документов : 35
Показаны документы с 1 по 20
 1-20    21-35 
1.

Вид документа : Многотомное издание
Шифр издания : 000865
519.21+62-50:519.2/В 35
Заглавие : Вероятностные методы и кибернетика: [Сб. ст.]. Вып. 25
Выходные данные : Казань: Изд-во Казан. ун-та, 1993
Колич.характеристики :144 с.: ил.
Примечания : Библиогр.
Цена : 1040.00 р.
УДК : 519.21(082)
Предметные рубрики: математика-- теория вероятностей и математическая статистика
Ключевые слова (''Своб.индексиров.''): вероятностей теория--детерминированные автоматы--вероятностные автоматы--сложности теория--алгоритмов теория--программирование--автоматизированные обучающие системы
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 541612
51.01(076)+51.017+51.018/Л 13
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : сб. задач . -3-е изд.
Выходные данные : Москва: Физматлит, 1995
Колич.характеристики :255 с
Примечания : Библиогр.
ISBN, Цена 5-02-014844-X: 4000.00 р.
УДК : [510.22+510.6+510.51](076.1)
Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика--алгоритмов теория
Найти похожие

3.

Вид документа : Многотомное издание
Шифр издания : 763584
518.8+51.017+512(075.1)/М 82
Автор(ы) : Москинова, Галина Ивановна
Заглавие : Дискретная математика в примерах и упражнениях: учеб. пособие : в 3 ч./ Г. И. Москинова. Ч. 2: Общая алгебра. Теория алгоритмов. Теория графов
Выходные данные : Кемерово: Изд-во Кемер. ун-та, 1993
Колич.характеристики :83 с.: ил.
ISBN, Цена 5-230-20807-4: 3000.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): алгебра--алгоритмов теория--графов теория
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 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.

Вид документа : Однотомное издание
Шифр издания : 212507
51.01(075)/К 60
Автор(ы) : Колмогоров, Андрей Николаевич (1903-1987), Драгалин, Альберт Григорьевич
Заглавие : Математическая логика: Дополнительные главы : учеб. пособие для студентов вузов
Выходные данные : Москва: Изд-во Моск. ун-та, 1984
Колич.характеристики :117, [3] с
Примечания : Библиогр.
ISBN, Цена [Б. и.]: 20.00 р.
УДК : 510(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория
Найти похожие

6.

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

7.

Вид документа : Однотомное издание
Шифр издания : 207839
51.01(075)+51.017/Г 97
Автор(ы) : Гуц, Александр Константинович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студентов, обучающихся по специальности "Компьютерная безопасность" и специальности "Вычислительные машины, комплексы, системы и сети"
Выходные данные : Омск: Наследие. Диалог Сибирь, 2003
Колич.характеристики :107, [1] с
ISBN, Цена 5-8239-0126-7: 55.00 р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория
Найти похожие

8.

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

9.

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

10.

Вид документа : Однотомное издание
Шифр издания : 127210
51.01(076)51.01751.018/Л 13
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : учебное пособие . -5-е изд., испр.
Выходные данные : Москва: ФИЗМАТЛИТ, 2004
Колич.характеристики :255, [1] с
Примечания : Библиогр.: с. 248-249. - Предм. указ.: с. 250-255
ISBN, Цена 5-9221-0026-2: 125.29 р.
УДК : 510(076.1)
Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика--алгоритмов теория
Найти похожие

11.

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

12.

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

13.

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

14.

Вид документа : Однотомное издание
Шифр издания : 459171
681.142(07)017.7:68/Л 84
Автор(ы) : Лукомский, Сергей Фёдорович, Боровская, Тамара Николаевна
Заглавие : Некоторые вопросы школьного курса информатики и методики её преподавания (физико-математический профиль) : учеб. пособие
Выходные данные : Саратов: Издательство Саратовского университета, 2006
Колич.характеристики :199, [1] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 196 (10 назв.). - Утв. Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак., обучающихся по специальности 032100.00 «Математика с дополнительной специальностью "Информатика"», и студентов фак. педагогики, психологии и нач. образования Пед. ин-та Сарат. гос. ун-та, обучающихся по специальности 030100.00 «Информатика»
ISBN, Цена 5-292-03536-X: 65.00 р.
УДК : 004(072.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--программирование--алгоритмов теория--паскаль--c++--методика преподавания--компьютерная графика
Аннотация: Рассмотрены вопросы школьного курса информатики.
Найти похожие

15.

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

16.

Вид документа : Однотомное издание
Шифр издания : 360257
681.142(07)/А 65
Автор(ы) : Андреева, Елена Владимировна, Босова, Людмила Леонидовна, Фалина, Ирина Николаевна
Заглавие : Математические основы информатики : метод. пособие
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2007
Колич.характеристики :312 с.: табл.
Серия: Элективный курс. Математика
ISBN, Цена 5-94774-138-5: 90.00 р.
УДК : 004(072.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--системы счисления--алгебра логики--алгоритмов теория--вычислительная геометрия--компьютерная алгебра
Найти похожие

17.

Вид документа : Однотомное издание
Шифр издания : 368316
51.017/Г 83
Автор(ы) : Григорьев, Владимир Николаевич, Кожанов, Сергей Львович, Ляшков, Константин Иванович
Заглавие : Оценка сложности вычислительных алгоритмов : учеб. пособие для студентов мех.-мат. фак.
Выходные данные : Саратов: Издательство Саратовского университета, 1990
Колич.характеристики :13, [3] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 15 (4 назв.)
ISBN, Цена 5-292-00831-1: 5.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--вычислительная сложность--тьюринга машина
Найти похожие

18.

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

19.

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

20.

Вид документа : Однотомное издание
Шифр издания : 280394
Автор(ы) : Андреева, Елена Владимировна, Босова, Людмила Леонидовна, Фалина, Ирина Николаевна
Заглавие : Математические основы информатики : учеб. пособие . -2-е изд., испр.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2007
Колич.характеристики :328 с.: рис.
Серия: Элективный курс
Примечания : Предм. указ.: с. 320-328. - Рекомендовано науч.-метод. советом по информатике при М-ве образования и науки РФ в качестве учеб. пособия для электив. курсов по информатике для учащихся 10-11 кл. общеобразоват. учреждений
ISBN (в пер.), Цена 978-5-94774-658-7: 115.00 р.
УДК : 004(072.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--системы счисления--алгебра логики--алгоритмов теория--вычислительная геометрия--компьютерная графика--компьютерная алгебра
Найти похожие

 1-20    21-35 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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