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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-231
Автор(ы) : Лихтарников Л. М., Сукачева Т. Г.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : сборник задач . -4-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :288 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0082-9: Б.ц.
УДК : 510.6(075)
ББК : 22.122я73
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--учебное пособие--алгоритм--алгебра логики--курс лекций--задачник--аксиома логическая--алгебра--алгоритмы--буля--буля алгебра--вычислимая--геделя--двойственность--двойственность закон--дедукция теорема--дизъюнктивная--доказуемость--задачи--задачи решения--закон--исчисление высказываний--исчисление аксиоматическое--исчисления высказываний--конъюнктивная--курсы лекций--логика--логика предикатов--математика--математика логика--математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи--математические теории--машина--операция логическая--разрешимость--рекурсивная--решение задач--тавтология--терма--тьюринга--тьюринга машина--учебник и пособие--учебные пособия--форма дизъюнктивная--формула доказуемая--функция--функция вычислимая--функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=231 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 231 (дата размещения: 26.02.2019)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-5251
Автор(ы) : Шевелев Ю. П., Писаренко Л. А., Шевелев М. Ю.
Заглавие : Сборник задач по дискретной математике (для практических занятий в группах) : сборник задач . -1-е изд.
Выходные данные : Санкт-Петербург: Лань, 2013
Колич.характеристики :528 с
Примечания : Книга из коллекции Лань - МатематикаРекомендовано Сибирским региональным учебно-методическим центром высшего профессионального образования для межвузовского использования в качестве учебного пособия для студентов, обучающихся по направлению подготовки бакалавров 010400 «Прикладная математика и информатика»
ISBN, Цена 978-5-8114-1359-1: Б.ц.
УДК : 519.8(075)
ББК : В12я73
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): автомат--алгебра--алгебра жегалкина--алгебра жигалкина--алгебраические структуры--булева--булева алгебра логики--булевы исчисления--булевы формулы--булевы функции--вейч--венна диаграмма--граф--гриф--дискретная математика--дискретные структуры данных--дифференциальное--дифференциальное исчисление--дифференцирование аналитическое--жегалкин--жегалкина алгебра--задачи по дискретной математике--импликация--интегральное--интегральное исчисление--инцидентность матрица--исчисление--карта--карты вейча--квайна метод--комбинаторика--комбинационная--комбинационные схемы--логические исчисления--математика--минимизация--многотактные автоматы--множества--множество--множество теория--оглавление--операция импликации--остаточные функции--петрика метод--подмножества--подмножество--полином--полином жегалкина--пороговая--пороговые функции--поста теорема--пруфера метод--сборники задач--симметрические булевы функции--схема--схема диодно-резисторная--схема логическая--тавтологии--тавтология--теорема поста--теория графов--теория конечных автоматов--теория множеств--триггер--учебник и пособие *--учебники для вузов--учебное пособие--учебные пособия--функция--числовые характеристики функций--шеннона теорема--элементы теории множеств
Аннотация: В сборнике отражено содержание пяти разделов дискретной математики, таких как теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов, изложенных в учебном пособии Ю. П. Шевелева «Дискретная математика» (СПб.: Изд-во «Лань», 2008). Для данного сборника это пособие является базовым. Однако базовым может быть и любое другое учебное пособие, где соответствующие темы рассматриваются достаточно полно. В сборнике 14 глав. Каждая глава состоит из нескольких тем (от 2 до 8). Общее число тем во всех 14 главах равно 54. По каждой теме приведено 50 дидактически эквивалентных заданий. Даны образцы их выполнения. Пятидесяти вариантов заданий достаточно для того, чтобы проводить аудиторные занятия в группах и выдавать индивидуальные задания для самостоятельной работы во внеаудиторное время. Всего в сборнике 7450 задач и 112 вопросов. Предусмотрено два вида контроля: автоматизированный и при помощи открытых ответов (они приведены ко всем задачам и вопросам). Для студентов технических специальностей вузов и техникумов.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=5251 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 5251 (дата размещения: 26.02.2019)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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