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

Базы данных


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

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

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

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

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


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

    Попов, А. А.
    Производственная безопасность [Электронный ресурс] : учебное пособие / А. А. Попов. - 2-е изд., испр. - Санкт-Петербург : Лань, 2013. - 432 с. - ISBN 978-5-8114-1248-8 : Б. ц.
Книга из коллекции Лань - Инженерно-технические науки. Рекомендовано УМО по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Безопасность жизнедеятельности»
УДК
658.382.3(075.8)
ББК 65.246

Рубрики: Инженерно-технические науки--БЖД, охрана окружающей среды--Лань

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

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