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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :2
 В других БД по вашему запросу найдено:Электронный каталог (3)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (13)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=тавтология<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

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

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

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


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

2.

    Шевелев, Ю. П.
    Сборник задач по дискретной математике (для практических занятий в группах) [Электронный ресурс] : сборник задач / Ю. П. Шевелев, Л. А. Писаренко, М. Ю. Шевелев. - 1-е изд. - Санкт-Петербург : Лань, 2013. - 528 с. - ISBN 978-5-8114-1359-1 : Б. ц.
Книга из коллекции Лань - Математика. Рекомендовано Сибирским региональным учебно-методическим центром высшего профессионального образования для межвузовского использования в качестве учебного пособия для студентов, обучающихся по направлению подготовки бакалавров 010400 «Прикладная математика и информатика»
УДК
ББК В12я73

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

Кл.слова (ненормированные):
автомат -- алгебра -- алгебра жегалкина -- алгебра жигалкина -- алгебраические структуры -- булева -- булева алгебра логики -- булевы исчисления -- булевы формулы -- булевы функции -- вейч -- венна диаграмма -- граф -- гриф -- дискретная математика -- дискретные структуры данных -- дифференциальное -- дифференциальное исчисление -- дифференцирование аналитическое -- жегалкин -- жегалкина алгебра -- задачи по дискретной математике -- импликация -- интегральное -- интегральное исчисление -- инцидентность матрица -- исчисление -- карта -- карты вейча -- квайна метод -- комбинаторика -- комбинационная -- комбинационные схемы -- логические исчисления -- математика -- минимизация -- многотактные автоматы -- множества -- множество -- множество теория -- оглавление -- операция импликации -- остаточные функции -- петрика метод -- подмножества -- подмножество -- полином -- полином жегалкина -- пороговая -- пороговые функции -- поста теорема -- пруфера метод -- сборники задач -- симметрические булевы функции -- схема -- схема диодно-резисторная -- схема логическая -- тавтологии -- тавтология -- теорема поста -- теория графов -- теория конечных автоматов -- теория множеств -- триггер -- учебник и пособие * -- учебники для вузов -- учебное пособие -- учебные пособия -- функция -- числовые характеристики функций -- шеннона теорема -- элементы теории множеств
Аннотация: В сборнике отражено содержание пяти разделов дискретной математики, таких как теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов, изложенных в учебном пособии Ю. П. Шевелева «Дискретная математика» (СПб.: Изд-во «Лань», 2008). Для данного сборника это пособие является базовым. Однако базовым может быть и любое другое учебное пособие, где соответствующие темы рассматриваются достаточно полно. В сборнике 14 глав. Каждая глава состоит из нескольких тем (от 2 до 8). Общее число тем во всех 14 главах равно 54. По каждой теме приведено 50 дидактически эквивалентных заданий. Даны образцы их выполнения. Пятидесяти вариантов заданий достаточно для того, чтобы проводить аудиторные занятия в группах и выдавать индивидуальные задания для самостоятельной работы во внеаудиторное время. Всего в сборнике 7450 задач и 112 вопросов. Предусмотрено два вида контроля: автоматизированный и при помощи открытых ответов (они приведены ко всем задачам и вопросам). Для студентов технических специальностей вузов и техникумов.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.


Доп. точки доступа:
Писаренко, Л. А.
Шевелев, М. Ю.
Найти похожие

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

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