Принципы логики и логическое программирование Автор: Метакидес Г., Нероуд А. Издательство: Факториал Год : 1998 Формат : djvu Размер : 3.77 Mb Для сайта: В книге излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирования и искусственного интеллекта....
Полярные сияния Автор: А. Омхольт Издательство: Мир Год издания: 1974 Страниц: 248 Формат: DJVU Размер: 1,7 МБ Качество: Хорошее, 300дпи. Книга видного норвежского геофизика А. Омхольта посвящена успехам в изучении оптических полярных сияний — свечения верхних слоев земной атмосферы. Автор последовательно рассматривает электронные и протонные сияния, их спектры от инфракрасной до ультрафиолетовой области и их возможную интерпретацию, связь сияний с другими явлениями. Книга представляет большой интерес...
Научно-исследовательские работы Автор: Алексеев Ю.В., Казачинский В.П., Никитина Н.С. (курсовые, дипломные, диссертации): общая методология, методика подготовки и оформления. Учебное пособие Издательство: Ассоциации строительных вузов Год : 2006 Формат : DJVU Страниц: 120 Размер : 1,2 МБ Качество: Отличное, 600дпи, цветные обложки Цель данного учебного пособия - помочь обучающимся овладеть общей методологией, методикой написания и оформления курсовой и дипломной работы, кандидатской диссертации, имеющих важное значение...
Encyclopedia of Information Science and Technology, Third Edition Автор : Mehdi Khosrow-Pour Издательство : IGI Global Год : 2015 Формат : PDF Размер : 440 Mb Язык: Английский The Encyclopedia of Information Science and Technology, Third Edition is a 10-volume compilation of authoritative, research-based articles contributed by thousands of researchers and experts from all over the world. This discipline-defining encyclopedia will serve research needs in numerous fields that are affected...
Краткий справочник по паротурбинным установкам Автор: П.Н. Шляхин Издательство: Госэнергоиздат Год : 1961 Формат : pdf Размер : 4 Мб Для сайта: Справочник содержит технические данные по паровым турбинам, электрическим генераторам, конденсационным устройствам и вспомогательному оборудованию паротурбинных установок, предназначенных для тепловых электрических...
The Earth and The Moon Автор: Linda T. Elkins-Tanton Издательство: Facts On File ISBN: 978-0-8160-7697-0 Год : 2010 Количество страниц: 327 Формат : PDF Размер : 17.5 Мб Язык : Английский Earth belongs to a group of small, inner solar-system planets, including Mercury, Venus, and Mars, which all consist of a mantle made of silica-based minerals above an iron-rich core and crusts that show evidence of meteorite bombardment and...
Пособие к решению задач курса взаимозаменяемость, стандартизация и технические измерения Название: Пособие к решению задач курса взаимозменяемость, стандартизация и технические измерения Авторы: А.А. Егоров, С.Ю. Стародубов Издательство: Алчевск, ДГМИ Год: 2003 Формат: pdf Размер: 1.05 MB Для сайта: В пособии приведены условия, варианты и примеры решения задач по курсу "Взаимозаменяемость, стандартизация и технические измерения". Приведен необходимый справочный материал: выдержки из стандартов, рекомендаций по выбору измерительных средств и др. Для студентов, изучающих курс...
Дифференциальное исчисление Автор: Николай Николаевич Лузин Издательство: Высшая школа Год издания: 1961 Страниц: 478 Формат: DJVU+OCR Размер: 9,1 МБ Качество: Отличное, 600дпи, текстовой слой, цветная обложка Автор настоящего двухтомного курса математического анализа академик Николай Николаевич Лузин (1883—1950) является одним из крупнейших советских математиков, по книгам которого училось не одно поколение советских инженеров и...
Технология производства отливок из высокопрочного чугуна с шаровидным графитом Автор: Клочнев Н.И. Издательство : М.: МАШГИЗ Год: 1962 Формат : pdf Размер : 12 мб Cтраниц: 174 Язык: русский В книге освещены вопросы технологии производства отливок из нового конструкционного материала — высокопрочного чугуна с шаровидным графитом. Рассмотрены специфические особенности литейных свойств высокопрочного чугуна, особенности технологии литейной формы, технологии плавки чугуна, способы обработки чугуна сфероидизирующими присадками, особенности изготовления форм и стержней, заливки форм, термической...
Оригинальные школьные праздники и тематические вечера. Сценарии опытных педагогов Автор: Золина В., Колыганова Е. Издательство: Центрполиграф Год: 2011 Страниц: 224 Язык: русский Формат: pdf Размер: 5.4 Мб Эта книга уникальна. Собранные в ней сценарии школьных праздников и тематических вечеров написаны учителями с огромным педагогическим опытом. Все они, начиная со сценария Дня знаний и заканчивая Праздником последнего звонка, раз от раза редактировались и дописывались. Ведь только на практике можно увидеть реакцию детей на происходящее,...
Теория операций над множествами Автор: Паровиченко И. И. Год 1981 Издательство: Штиинца Формат: DjVu Размер: 12 Мб Страниц: 188 Язык: Русский Монография посвящена основному инструменту дескриптивной теории множеств - теории операций над множествами. Она является первой книгой в математической литературе, специально посвящённой этой теме. Книга будет интересна для математиков всех специальностей, а также полезной преподавателям, аспирантам и студентам...
Логопедические занятия по развитию связной речи у младших дошкольников. Часть 2. Предложения. Автор: Андреева Н.Г. Издательство: Владос Год: 2009 Формат: doc Размер: 70 мб Пособие предлагает систему работы по развитию связной речи младших школьников с общим недоразвитием речи и ЗПР на третьем этапе коррекционной работы. Представленный материал собран и систематизирован на основе практического опыта учителя-логопеда общеобразовательной школы. Пособие предназначено логопедам, учителям начальных классов специальных и массовых школ, студентам дефектологических факультетов педагогических...
Роль модификаций в развитии авиационной техники Автор: Шейнин В.М., Макаров В.М. Издательство: Наука Год издания: 1982 Страниц: 226 Язык: Русский Формат: DjVu Качество: хорошее Размер: 5 Мб Первая часть книги посвящена теории модификаций и анализу главных направлений развития авиационной техники. В ней даются основные понятия и классификации, показываются принципы планирования и проблемы проектирования модификаций, приводится анализ их эффективности. Вторая часть книги — это история развития модификаций от их появления до...
Компьютер в работе юриста. Обучающий курс Автор: Барвенов С.А., Демьянко С.В. Издательство: ТетраСистемс Год: 2012 Страниц: 256 ISBN: 978-985-536-357-7 Формат: PDF Размер: 11 Мб Язык: русский Издание предназначено для обучения юристов грамотному и эффективному использованию компьютера, приобретения необходимых навыков работы в Windows, справочных правовых системах Консультант и Эталон, текстовом редакторе Word, электронной таблице Excel, приложении для создания презентации PowerPoint. Разобраны конкретные ситуации, возникающие в юридической практике, и решение проблем средствами,...
Основы энергосбережения Автор: Беляев В.М., Ивашин В.В. : Учебно-методический комплекс Издательство: Мн.: Изд-во МИУ Год : 2004 Страниц: 111 Качество : отличное Формат : pdf Размер : 1,3 Mb Для сайта: Учебно-методический комплекс предназначен для оказания помощи в изучении дисциплины "Основы энергосбережения" студентам экономических специальностей дневной и заочной форм обучения. В первой части УМК сформулированы цели и задачи изучения дисциплины, требования к знаниям и умениям...
История черной металлургии и кузнечного ремесла древнего Алтая Издательство: издательство Томского университета Автор: Зиняков Н.М. Год : 1988 Язык : русский Страниц: 274 Формат : PDF Размер : 28.1 Мб Работа посвящена проблемам истории металлургии и металлообработки железа на Алтае в эпоху раннего средневековья. Широкое применение современных методов исследования позволило осветить технологию получения железа и способы его обработки, выявить основные операции и приемы, находившиеся на вооружении алтайских кузнецов-металлургов. На основании имеющихся данных...