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

Базы данных


ЭБС "ЛАНЬ" - результаты поиска

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

    Кузнецов, О. П.
    Дискретная математика для инженера [Электронный ресурс] : учебное пособие / О. П. Кузнецов. - 6-е изд., стер. - Санкт-Петербург : Лань, 2009. - 400 с. - ISBN 978-5-8114-0570-1 : Б. ц.
Книга из коллекции Лань - Математика
УДК
519.713
ББК 32.815

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

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

    Лихтарников, Л. М.
    Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] : сборник задач / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2009. - 288 с. - ISBN 978-5-8114-0082-9 : Б. ц.
Книга из коллекции Лань - Математика
УДК
510.6(075)
ББК 22.122я73

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

Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.


Доп. точки доступа:
Сукачева, Т. Г.
Найти похожие
3.

    Мальцев, И. А.
    Дискретная математика [Электронный ресурс] : учебное пособие / И. А. Мальцев. - 2-е изд. - Санкт-Петербург : Лань, 2011. - 304 с. - ISBN 978-5-8114-1010-1 : Б. ц.
Книга из коллекции Лань - Математика
УДК
519.7(075.8)
ББК 22.176я73

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

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

    Шоломов, Л. А.
    Основы теории дискретных логических и вычислительных устройств [Электронный ресурс] : учебное пособие / Л. А. Шоломов. - 3-е изд., испр. - Санкт-Петербург : Лань, 2011. - 432 с. - ISBN 978-5-8114-1197-9 : Б. ц.
Книга из коллекции Лань - Математика. Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов вузов, обучающихся по направлению ВПО 010500 — «Прикладная математика и информатика» и 010400 — «Информационные технологии».
УДК
519.72+004(075.8)
ББК В 18я7

Рубрики: Математика--Прикладная математика--Лань

Кл.слова (ненормированные):
автомат конечный -- булевы функции -- вычислительная техника -- вычислительные возможности машин -- вычислительные устройства -- дискретные логические устройства -- дискретные устройства без памяти -- дискретные устройства с конечной памятью -- допущено умо -- жегалкина полином -- информация сжатие -- конечные автоматы -- линейные коды -- логические функции -- машины тьюринга -- метод сводимости -- мили автомат -- минимизация автоматов -- минимизация логических функций -- модели алгоритмов -- мура автомат -- передача информации -- передача информации при наличии помех -- помехоустойчивое кодирование -- сжатие информации -- сложно вычислимые функции -- схема самокорректирующаяся -- теория алгоритмов -- тьюринга машина -- тьюринга машины -- учебное пособие -- учебные пособия -- циклические коды -- частично-рекурсивные функции -- шеннона теорема
Аннотация: Книга содержит систематическое и вместе с тем доступное изложение результатов по теории дискретных устройств. Она состоит из трех частей, первая из которых посвящена устройствам с конечной памятью, вторая — алгоритмам и идеализированным моделям вычислительных машин, третья — надежным хранению, передаче и переработке дискретной информации. Предпочтение отдается конструктивным методам, на основе которых можно производить анализ, синтез и оптимизацию устройств. Пособие предназначено для студентов, обучающихся по направлениям «Прикладная математика и информатика» и «Информационные технологии». Она будет полезной инженерам, имеющим дело с вычислительной техникой и устройствами управления, а также может служить аспирантам и научным работникам для первоначального ознакомления с предметом.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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