Реклама на сайте English version  DatasheetsDatasheets

KAZUS.RU - Электронный портал. Принципиальные схемы, Datasheets, Форум по электронике

Новости электроники Новости Литература, электронные книги Литература Документация, даташиты Документация Поиск даташитов (datasheets)Поиск PDF
  От производителей
Новости поставщиков
В мире электроники

  Сборник статей
Электронные книги
FAQ по электронике

  Datasheets
Поиск SMD
Он-лайн справочник

Принципиальные схемы Схемы Каталоги программ, сайтов Каталоги Общение, форум Общение Ваш аккаунтАккаунт
  Каталог схем
Избранные схемы
FAQ по электронике
  Программы
Каталог сайтов
Производители электроники
  Форумы по электронике
Помощь проекту

Делимся опытом Наступив на грабли - сообщи другим! Обмен опытом разработки и ремонта электронных устройств.

 
Опции темы
Непрочитано 23.09.2017, 23:46  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Питомниководство садовых культур (2015)



Название: Питомниководство садовых культур
Автор: Кривко Н.П.(ред.)
Издательство: Лань
Год: 2015
Страниц: 368
ISBN: 978-5-8114-1761-2
Формат: PDF
Размер: 23.5 Мб
Язык: русский

В учебнике освещены особенности размножения садовых культур, обосновано безусловное преимущество вегетативного размножения над семенным, рассмотрены структуры и технологии питомников для выращивания оздоровленного посадочного материала древесных плодовых культур, ягодных растений, винограда, саженцев декоративных, рассады овощных и цветочных культур. Впервые в списке учебников для аграрных вузов издается пособие, описывающее технологию выращивания посадочного материала всех основных садовых культур России.
Издание адресуется студентам - бакалаврам и магистрам, обучающимся по направлению подготовки "Садоводство". Оно будет полезно для студентов всех агрономических специальностей, а также питомниководов-практиков и широкого круга любителей садоводства.
Допущено УМО вузов РФ по агрономическому образованию в качестве учебника для подготовки бакалавров по направлению "Садоводство". Учебник составлен в соответствии с рабочей программой дисциплины "Питомниководство садовых культур" по направлению подготовки "Садоводство".

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Сказали "Спасибо" mihail62
beebeep (24.09.2017)
Непрочитано 24.09.2017, 00:32  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Создаем цифровой фотоальбом с помощью Adobe Photoshop Album 2.0 (2009)



Название: Создаем цифровой фотоальбом с помощью Adobe Photoshop Album 2.0
Автор: Хестер Н.
Год: 2009
Страниц: 186
Формат: PDF
Размер: 20 Мб
Язык: русский

С помощью данной книги вы сможете легко создать полноценный цифровой фотоальбом, используя лучшую на сегодняшний день программу для работы с цифровыми фотографиями – Adobe Photoshop Album 2.0. Книга поможет решить все ваши проблемы с поиском фотографий, а также поможет вам в создании галерей, электронных поздравительных открыток, и даже печатных альбомов.
Вы научитесь отправлять фотографии по электронной почте, хранить их в слайд-шоу на CD и DVD-дисках. Кроме того, в книге приведено большое количество идей и подсказок по тому, как лучше организовать, редактировать ваши фотографии обмениваться с ними по электронной почте.
Издание адресовано широкому кругу читателей, имеющих цифровой фотоаппарат и желающих с его помощью достичь максимального результата.

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Непрочитано 24.09.2017, 04:06  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Microsoft Windows 7. Руководство пользователя



Название: Microsoft Windows 7. Руководство пользователя
Автор: Берлинер Э.М., Глазырина И.Б., Глазырин Б.Э.
Издательство: Русская Редакция, БХВ-Петербург
Год: 2010
Страниц: 415
ISBN: 978-5-7502-0398-7, 978-5-9775-0301-3
Формат: PDF
Размер: 21 Мб
Язык: русский

Книга коллектива авторов под руководством профессора, доктора технических наук Э.М. Берлинера является настольным руководством по работе с операционной системой Windows 7 для персональных компьютеров. Вы узнаете о пользовательском интерфейсе Windows 7, о том, как создать домашнюю сеть и работать в Интернете. Хорошо подобранный материал, большое количество иллюстраций и упражнений, легкий стиль изложения призваны помочь освоить Windows 7 широкому кругу пользователей: учащимся школ, вузов, аспирантам и преподавателям.
Книга будет полезна тем, кто работает с английской версией операционной системы и читает компьютерную литературу на английском языке, так как команды, часть текста, приведенная в диалоговых окнах, и некоторые термины даны на русском и английском языках.
Настоящее издание содержит множество иллюстраций, состоит из двадцати глав и приложения.

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Эти 3 пользователя(ей) сказали Спасибо mihail62 за это сообщение:
scenter (24.09.2017), shyub (24.09.2017), vasilenko_pit (25.09.2017)
Непрочитано 24.09.2017, 05:43  
АлександрШе
Прописка
 
Регистрация: 06.04.2017
Сообщений: 227
Сказал спасибо: 11
Сказали Спасибо 556 раз(а) в 216 сообщении(ях)
АлександрШе на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Информационное противоборство и радиоэлектронная борьба в сетецентрических войнах начала XXI века



Название: Информационное противоборство и радиоэлектронная борьба в сетецентрических войнах начала XXI века
Автор: Макаренко С.И.
Издательство: Наукоемкие технологии
Год: 2017
Страниц: 549
Формат: pdf
Размер: 11 mb
Качество: хорошее

Монография является результатом работы автора по обобщению исследований в областях радиоэлектронной борьбы и информационного противоборства в условиях произошедшей в начале XXI века информационно-технической революции и внедрения в практику войск концепции сетецентрических войн. В монографии проведен анализ основ концепции сетецентрической войны, выявлены фундаментальные взаимосвязи этой концепции с возрастающей ролью средств воздействия на информацию, циркулирующую в системах управления войсками и оружием. Проведен анализ средств радиоэлектронной борьбы, средств информационного противоборства в технической и в психологических сферах, а также способов их применения в современных сетецентрических войнах. На примерах войн начала XXI века, которые велись в соответствии с сетецентрической концепцией, показан вклад радиоэлектронной борьбы, а также информационного противоборства в технической и в психологических сферах в обеспечение достижения военного и информационного превосходства. Представлены основные тенденции развития средств радиоэлектронной борьбы, а также средств и способов информационного противоборства в технической и психологической сферах.

Содержание:
Нажмите, чтобы открыть спойлер
Концепция сетецентрической войны.
Трансформация способов и форм военных действий под влиянием информационно-технической революции.
Концепция сетецентрической войны как развитие системы взглядов на военное искусство с использованием преимуществ информационно-технической революции.
Критические аспекты концепции сетецентрической войны.
Радиоэлектронная борьба.
Роль и способы применения РЭБ в сетецентрической войне.
Радиоэлектронное подавление радиолокационных станций систем управления оружием и комплексов ПВО.
Радиоэлектронное подавление систем управления, связи и навигации.
Системы и средства РЭБ для индивидуальной защиты авиации (на примере систем и средств ВС США).
Специализированные авиационные комплексы РЭБ (на примере комплексов ВС США).
Наземные средства радиоэлектронной борьбы.
Функциональное поражение радиоэлектронных средств электромагнитным излучением.
Перспективы и тенденции развития систем и средств РЭБ.
Информационное противоборство.
Актуальность развития информационных средств и способов воздействия в современных сетецентрических войнах.
Развитие подходов к месту и роли информационного противоборства в современных сетецентрических войнах.
Основные термины и определения информационного противоборства.
Общие понятия об информационном оружии.
Информационное противоборство в технической сфере.
Современные взгляды на роль и способы ведения информационного противоборства в технической сфере.
Информационно-техническое оружие: определение и классификация
Использование информационно-технического оружия для борьбы с системами военного управления.
Информационно-технические воздействия: определение и классификация.
Удаленные сетевые атаки.
Компьютерные вирусы.
Программные закладки.
Аппаратные закладки.
Нейтрализаторы тестовых программ и программ анализа кода.
Средства создания ложных объектов информационного пространства.
Средства моделирования боевых действий.
Средства технической разведки.
Средства компьютерной разведки.
Средства разведки по открытым источникам в глобальном информационном пространстве.
Перспективные технологии информационного противоборства в технической сфере (на основе анализа проектов Darpa).
Информационное противоборство в психологической сфере.
Основы информационно-психологического противоборства.
Психологическое оружие.
Информационно-психологическое оружие.
Силы психологических операций (на примере ВС США).
Средства информационно-психологического воздействия в военных конфликтах (на примере средств Вс сша).
Способы информационно-психологического воздействия в военных конфликтах.
Перспективные технологии способов и средств информационно-психологического воздействия (на основе анализа проектов Darpa).
Примеры ведения информационного противоборства и радиоэлектронной борьбы в сетецентрических войнах начала xxi века.
Общие закономерности ведения сетецентрических войн, роль информационного противоборства и радиоэлектронной борьбы в них.
Операция Нато «Решительная сила» против Югославии в 1999 Г.
Операция США и их союзников «Иракская свобода» («Шок и трепет») в Ираке в 2003 г.
Операции США и НАТО «Одиссея. Рассвет» и «Союзный защитник» в Ливии в 2011 г.


Цитата:
АлександрШе вне форума  
Эти 2 пользователя(ей) сказали Спасибо АлександрШе за это сообщение:
beebeep (24.09.2017), Chedex (25.09.2017)
Непрочитано 25.09.2017, 00:10  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Обработка заготовок деталей машин



Название: Обработка заготовок деталей машин
Автор: Мрочек Ж.А.(ред.)
Издательство: Вышэйшая школа
Год: 2014
Страниц: 176
ISBN: 978-985-06-2490-1
Формат: PDF
Размер: 21 Мб
Язык: русский

Рассмотрены методы обработки металлов, включая поверхностно-пластическое деформирование, электроэрозионную, электромагнитную и магнитно-абразивную обработку. Приведены технологические схемы для реализации того или иного метода обработки, указываются его технологические показатели и возможности.
Для студентов, аспирантов, инженеров и преподавателей общетехнических специальностей вузов.

Оглавление

Предисловие
Условные обозначения
1. Особенности обработки материалов поверхностным пластическим деформированием
2. Дорнирование
3. Накатывание ротационным инструментом
4. Обработка поверхностей инструментом импульсного действия
5. Алмазное выглаживание
6. Вибронакатывание
7. Совмещенная обработка резанием и поверхностным пластическим деформированием
8. Электроэрозионный способ обработки металлов
9. Магнитно-абразивная обработка
10. Упрочнение металлических поверхностей электромагнитной наплавкой
Литература

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Сказали "Спасибо" mihail62
beebeep (25.09.2017)
Непрочитано 25.09.2017, 22:29  
АлександрШе
Прописка
 
Регистрация: 06.04.2017
Сообщений: 227
Сказал спасибо: 11
Сказали Спасибо 556 раз(а) в 216 сообщении(ях)
АлександрШе на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Курс математической физики с использованием пакета Maple



Название: Курс математической физики с использованием пакета Maple
Автор: Голоскоков Д.П.
Издательство: Лань
Год: 2015
Страниц: 576
Формат: pdf
Размер: 10 mb
Качество: отличное

В учебном пособии рассмотрены классические методы интегрирования дифференциальных уравнений в частных производных второго порядка, метод интегральных преобразований в конечных и бесконечных пределах, элементы теории интегральных уравнений, а также приближенные методы решения задач математической физики (вариационные методы и метод сеток). Основное внимание уделяется конструктивным методам, с помощью которых можно построить явное решение задачи. Изложение иллюстрируется большим количеством подробно разобранных примеров и задач. Особенностью учебного курса является широкое использование системы аналитических вычислений Maple при решении учебных задач математической физики. В конце глав приводится значительное количество задач для самостоятельного решения и примеры решения задач в Maple с текстами программ, что делает это учебное пособие пригодным для практических и лабораторных занятий по математической физике.

Учебное пособие может быть рекомендовано студентам, обучающимся по направлениям "Прикладная математика и информатика" и другим физико-математическим и инженерно-техническим направлениям технических университетов.

Цитата:
АлександрШе вне форума  
Непрочитано 26.09.2017, 00:05  
АлександрШе
Прописка
 
Регистрация: 06.04.2017
Сообщений: 227
Сказал спасибо: 11
Сказали Спасибо 556 раз(а) в 216 сообщении(ях)
АлександрШе на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Справочник геотехника. Основания, фундаменты и подземные сооружения



Название: Справочник геотехника. Основания, фундаменты и подземные сооружения
Автор: В. Ильичев, Р. Мангушев (ред.)
Издательство: Издательство Ассоциации строительных вузов
Год: 2016 (2-ое издание, дополненное и переработанное)
Страниц: 1034
Формат: pdf
Размер: 146 mb
Качество: отличное

В сводном виде представлены основные вопросы инженерно-геологических изысканий, проектирования, устройства и реконструкции оснований и фундаментов, в том числе в сложных и особых инженерно-геологических условиях. Особое внимание уделено современным нормативно-техническим документам, а также новым видам конструкций и технологиям устройства оснований и фундаментов, методам их расчета и проектирования, в том числе и тем, которые прошли производственную апробацию, но еще не получили отражение в существующих нормативных материалах. Освещены актуальные вопросы по проведению геотехнического мониторинга и использованию численных методов при геотехнических расчетах в проектировании.
Предназначено для инженерно-технических работников проектных и строительных организаций, студентов строительных вузов и факультетов.

Нажмите, чтобы открыть спойлер
Во втором издании «Справочника геотехника»:
– в главе 1 расширены сведения об организации и составе работ при инженерно-геотехнических изысканиях, камеральной обработке и представлении материалов инженерных изысканий;
– в главе 5 приведены материалы о конструкциях и технологии выполнения некоторых новых типов свай, изготавливаемых в грунте;
– в главе 6 более подробно представлены вопросы расчетов проектирования, как отдельных свай, так и свайных фундаментов, приведены многочисленные примеры их расчета;
– в главе 9 добавлен новый раздел, касающийся проектирования и устройства оснований и фундаментов на насыпных грунтах;
– в главе 11 добавлены материалы по методам расчета устойчивости неоднородных откосов и склонов произвольного очертания и добавлен раздел по мерам обеспечения их устойчивости;
– в главе 14 добавлены расчетные схемы к проектированию опускных колодцев в строительный и эксплуатационный периоды, примеры расчетов;
– в главе 16 добавлены схемы и расчеты, применяемые при усилении оснований и фундаментов.
Отдельно следует отметить включенную во второе издание дополнительную главу 19 «Фундаменты сооружений, эксплуатирующихся в условиях динамических воздействий», в которой представлены материалы по динамическим свойствам грунтов, методам оценки несущей способности основания при сейсмических воздействиях, мероприятия по снижению распространения колебаний от фундаментов-источников по грунту и сейсмических нагрузок.
В ряде глав устранены имевшиеся в первом издании справочника опечатки и неточности в тексте и рисунках.
К подготовке настоящего издания «Справочника геотехника» были дополнительно приглашены 4 доктора и 7 кандидатов наук – известных специалистов в соответствующих разделах геотехники.


Цитата:
АлександрШе вне форума  
Сказали "Спасибо" АлександрШе
beebeep (26.09.2017)
Непрочитано 26.09.2017, 05:38  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Паровые и газовые турбины для электростанций (2016)



Название: Паровые и газовые турбины для электростанций
Автор: Костюк*А.Г., Фролов В.В., Булкин*А.Е., Трухний*А.Д.
Издательство: МЭИ
Год: 2016
Страниц: 557
ISBN: 978-5-383-01025-9
Формат: PDF
Размер: 20 Мб
Язык: русский

В учебнике излагаются теория и расчет тепловых процессов в турбине, переменных режимов работы турбин, основные тепловые схемы паровых, газотурбинных, а также парогазовых установок. Приводятся тепловые расчеты проточной части паровых и газовых турбин, расчеты на прочность основных деталей и узлов турбин, конструкции современных турбоустановок.
Рассматриваются автоматическое регулирование и маслоснабжение турбин, конструкции и расчет конденсаторов. Подробно обсуждаются вопросы эксплуатации турбин, установленных на действующих в энергосистеме России тепловых и атомных электростанциях. Большое внимание уделено газовым турбинам парогазовых (ПГУ) и газотурбинных (ГТУ) установок, а также вопросам динамики и прочности турбомашин.
Учебник является победителем Первого общероссийского конкурса научно-технической и справочной литературы, проведенного РАО «ЕЭС России» совместно с МЭИ в 2006 г.
Для студентов вузов, обучающихся по специальности «Тепловые электрические станции» направления подготовки «Теплоэнергетика», полезно также для студентов, обучающихся по направлению «Энергомашиностроение». Представляет интерес для эксплуатационного и ремонтного персонала электростанции.

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Сказали "Спасибо" mihail62
beebeep (26.09.2017)
Непрочитано 28.09.2017, 04:16  
mihail62
Почётный гражданин KAZUS.RU
 
Аватар для mihail62
 
Регистрация: 10.12.2006
Сообщений: 7,140
Сказал спасибо: 337
Сказали Спасибо 30,203 раз(а) в 6,808 сообщении(ях)
mihail62 на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Токарная обработка. Учебник (2016)



Название: Токарная обработка. Учебник
Автор: Фещенко В.Н., Махмутов Р.Х.
Издательство: Инфра-Инженерия
Год: 2016
Страниц: 460
ISBN: 978-5-9729-0131-9
Формат: PDF
Размер: 101 Мб
Язык: русский

Научно-технический прогресс на нашей планете тесно связан с развитием машиностроения, которое постоянно нуждается в совершенствования металлорежущих станков и, в первую очередь, в токарных, на которых выполняется наибольший объем работ в машиностроении. Поэтому в токарных станках наибольшее количество разновидностей, т.е. типов станков для различных видов работ.
В этой книге рассмотрены наиболее распространенные в нашем машиностроении конструкции токарных станков и методы работы на них. Безусловно, что уже в промышленности имеются более совершенные станки, но и те, которые описаны в книге еще находятся в эксплуатации. Учитывая, что новое оборудование обладает преемственностью к тому оборудованию, что находится в эксплуатации, то это позволяет использовать в производстве станки, что описаны в книге и новые. Без сомнения, что со временем появляется новое поколение машин, а, следовательно, на производстве малоэффективные станки будут заменяться новыми. В этом суть технического прогресса. Поэтому в машиностроении всегда имеется постоянная потребность в грамотных и опытных специалистах.
Для учащихся учреждений начального профессионального образования. Может быть использован при профессиональном обучении рабочих на производстве.

Цитата:
__________________
На всякий Гугол свой Йобибайт найдется!
mihail62 вне форума  
Эти 2 пользователя(ей) сказали Спасибо mihail62 за это сообщение:
anatoli_kiriluk (28.09.2017), beebeep (28.09.2017)
Непрочитано 28.09.2017, 11:35  
АлександрШе
Прописка
 
Регистрация: 06.04.2017
Сообщений: 227
Сказал спасибо: 11
Сказали Спасибо 556 раз(а) в 216 сообщении(ях)
АлександрШе на пути к лучшему
По умолчанию Re: Книги (не радиотехнической тематики)

Математическая логика и теория алгоритмов



Название: Математическая логика и теория алгоритмов
Автор: Крупский В.Н., Плиско В.Е.
Издательство: Академия
Год: 2013
Страниц: 418
Формат: pdf
Размер: 35 mb
Качество: хорошее

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.

Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Содержание:
Нажмите, чтобы открыть спойлер
Глава 1. Элементы теории множеств
1.1. Множества
1.2. Соответствия и функции
1.3. Бинарные отношения
1.4. Числовые множества
1.5. Эквивалентные множества
1.6. Парадоксы теории множеств
1.7. Аксиоматическая система теории множеств
1.8. Программа Гильберта
Глава 2. Логика высказываний
2.1. Высказывания и логические операции
2.2. Алфавит, буква, слово
2.3. Пропозициональные формулы
2.4. Истинностные таблицы
2.5. Тавтологии
2.6. Равносильные формулы
2.7. Принцип двойственности
2.8. Нормальные формы в логике высказываний
2.9. Выполнимость и логическое следование в логике высказываний
Глава 3. Исчисление высказываний
3.1. Общее понятие исчисления
3.2. Классическое исчисление высказываний
3.3. Теорема о дедукции и допустимые правила вывода
3.4. Корректность и полнота исчисления высказываний
3.5. Секвенциальное исчисление высказываний
Глава 4. Логика предикатов
4.1. Высказывательные формы и кванторы
4.2. Понятие предиката
4.3. Предикатные формулы
4.4. Выполнимость и общезначимость
4.5. Равносильные формулы
Глава 5. Элементарные языки
5.1. Определение элементарного языка
5.2. Примеры элементарных языков
5.3. Языки второго порядка
5.4. Подстановка
5.5. Алгебраические системы
5.6. Предваренные формулы
Глава 6. Исчисление предикатов
6.1. Логическое следование
6.2. Аксиомы и правила вывода классического исчисления предикатов
6.3. Теорема о дедукции и другие допустимые правила вывода
6.4. Непротиворечивые расширения
6.5. Теорема Гёделя о полноте
6.6. Секвенциальное исчисление предикатов
Глава 7. Элементарные теории и модели
7.1. Аксиоматические теории
7.2. Элементарные теории с равенством
7.3. Изоморфизмы и элементарная эквивалентность
7.4. Аксиоматизируемые классы
Глава 8. Начальные понятия теории алгоритмов
8.1. Неформальное понятие алгоритма
8.2. Конструктивные объекты
8.3. Алгоритмический процесс
8.4. Вычислимые функции
8.5. Сигнализирующее множество
Глава 9. Алгоритмическая теория множеств
9.1. Разрешимые множества
9.2. Полуразрешимые множества
9.3. Перечислимые множества
9.4. Равнообъемность понятий перечислимости и полуразрешимости
9.5. Теорема о графике
9.6. Эффективно аксиоматизируемые теории
Глава 10. Машины Тьюринга
10.1. Одноленточная машина Тьюринга
10.2. Вычисление функций на машинах Тьюринга
10.3. Синтез машин Тьюринга
10.4. Тезис Тьюринга
10.5. Универсальная машина Тьюринга
10.6. Теорема о компиляции
10.7. Многоленточные машины Тьюринга
Глава 11. Другие формализации вычислимости
11.1. Рекурсивные функции
11.2. Нормальные алгорифмы
Глава 12. Неразрешимые алгоритмические проблемы
12.1. Нумерации вычислимых числовых функций
12.2. Нумерации, порожденные машинами Тьюринга
12.3. Примеры невычислимых функций
12.4. Теорема Успенского — Райса
12.5. Десятая проблема Гильберта
12.6. Проблема равенства слов в полугруппах
Глава 13. Формальная арифметика
13.1. Аксиомы Пеано
13.2. Нестандартные модели арифметики
13.3. Арифметические множества и функции
13.4. Теорема о неподвижной точке
13.5. Теорема Тарского
13.6. Теорема Гёделя о неполноте
13.7. Формальная система арифметики
13.8. Тождественно истинные предикатные формулы
13.9. О логике второго порядка
Глава 14. Метод резолюций
14.1. Скулемовская форма высказываний
14.2. Дизъюнктная форма высказываний
14.3. Теорема Эрбрана
14.4. Метод резолюций для логики высказываний
14.5. Алгоритм унификации
14.6. Метод резолюций для элементарных языков
14.7. Хорновские дизъюнкты
14.8. Логические программы
Глава 15. Интуиционистская логика
15.1. Что такое интуиционизм
15.2. Интуиционистская логика высказываний
15.3. Интуиционистская логика предикатов
15.4. Рекурсивная реализуемость
Глава 16. Элементы теории сложности вычислений
16.1. Предварительные сведения
16.2. Меры сложности вычислений
16.3. Класс Р
16.4. Класс NP
16.5. Примеры заведомо трудных задач


Цитата:
АлександрШе вне форума  
Эти 3 пользователя(ей) сказали Спасибо АлександрШе за это сообщение:
anatoli_kiriluk (28.09.2017), beebeep (28.09.2017), nckvrb (29.09.2017)
 

Закладки
Опции темы

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.

Быстрый переход

Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Журналы не радиотехнической тематики 2014 wolf170571 Делимся опытом 635 08.11.2017 16:22
Книги dosikus Делимся опытом 11242 29.12.2015 23:45
Книги и прочая литература DK Обсуждение сайта и форума 5 09.02.2010 10:48
Книга по VHDL IZEVS Делимся опытом 2 10.05.2008 11:46


Часовой пояс GMT +4, время: 07:37.


Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2024, Jelsoft Enterprises Ltd. Перевод: zCarot