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

Базы данных


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

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

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для высш. учеб. заведений / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 108 р.
ББК 22.12я73

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

Кл.слова (ненормированные):
алгоритмы -- математическая логика -- теория алгоритмов -- учебные пособия для вузов
Аннотация: Изложены основы теории, показаны направления проникновения логики в основании алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
2.

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 2-е изд., стереотип. - Москва : Академия, 2006. - 304 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 50 р.
ББК 22.12я73

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

Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- задачи -- логика предикатов -- пособия для ВУЗов -- теория алгоритмов -- упражнения -- учебники для вузов -- учебные пособия для вузов -- формализованное исчисление высказываний
Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
3.

    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. высш. учеб. заведений / А. Н. Гамова ; Саратовский государственный университет им. Н. Г. Чернышевского. - 3-е изд. , доп. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2006. - 84 с. : ил. - ISBN 5-292-03595-5 : 5 р.
ББК 22.12я73

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

Кл.слова (ненормированные):
алгебра -- алгоритмы -- вычислимые функции -- издания Саратова -- математика -- пособия для вузов
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)



Найти похожие
4.

    Богданова, Лариса Михайловна.
    Математическое моделирование социальных процессов [Текст] : учеб. пособие по курсу "Математическое моделирование" для студентов всех специальностей / Л. М. Богданова, В. Ф. Кириченко, А. А. Коломоец. - Саратов : Издательство Саратовского государственного технического университета им. Ю. А. Гагарина, 2004. - 64 с. - ISBN 5-7433-1300-8 : 10.00 р.
ББК 22.12я73 + 60.56я73

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

   Социология--Социология сферы общественной жизни

Кл.слова (ненормированные):
динамические системы -- издания саратова -- конечномерные динамические системы -- математическое моделирование -- метод Ляпунова -- модель Кузнецова -- обязательный экземпляр -- отображение Пуанкаре -- отображение пуанкаре -- пособия для вузов -- размерность хаусдорфа-безиковича -- социальные процессы -- теория устойчивости -- фрактальная размерность
Аннотация: Является введением в теорию конечномерных динамических систем, теорию устойчивости по Ляпунову и математическое моделирование некоторых социально-экономических процессов. Рассмотрена математическая модель рыночного положения фирмы В. В. Кузнецова, В. В. Фирсаковой и модель изменения предпочтений индивидов в социальной среде Ю. Н. Гаврилеца, Б. А. Ефимова. Даны примеры качественного и количественного анализа таких моделей.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Кириченко, Валерий Федорович
Коломоец, Анатолий Андреевич
Найти похожие
5.

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 20 р.
ББК 22.12я73

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

Кл.слова (ненормированные):
алгоритмы -- теория алгоритмов -- теория доказательств -- теория множеств -- учебники для вузов -- учебные пособия для вузов
Аннотация: В книге изложены основные классические исчисления математической логики.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Палютин, Евгений Андреевич
Найти похожие
6.

    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001. - 72 с. - ISBN 5-292-02589-3 : 5.00 р.
ББК 22.12я73

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

Кл.слова (ненормированные):
издания саратова -- логика -- математическая логика -- пособия для вузов -- силлогизмы аристотеля
Аннотация: Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается примерами решения задач и упражнениями.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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