| |
Вводный курс математической логики |
|
|
Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика |
|
| |
| |
| |
|
Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е.
Издательство: ФИЗМАТЛИТ
Год издания: 2004
isbn: 5-9221-0278-8
Количество страниц: 128
Язык: русский
Формат: DJVU
|
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. |
|
| |
|
|
| |
Вязание.Красиво и легко (2013 No 66) |
|
|
Категория: Вязание, Другие журналы по рукоделию |
|
| |
| |
| |
|
Автор: коллектив
Издательство: ООО "Ашет Коллекция"
Год издания: 2013
isbn: 2220-0789
Количество страниц: 24
Язык: русский
Формат: JPG
|
Новая коллекция «Вязание. Красиво и легко» - это простой и доступный способ освоить искусство вязания спицам. В каждом выпуске журнала вас ждут: школа вязания, основные виды вязок, вопросы и ответы и очередной квадрат для пледа. |
|
| |
|
|
| |
Qt Профессиональное программирование |
|
|
Категория: Компьютерная литература » Языки программирования |
|
| |
| |
| |
|
Автор: Марк Саммерфилд
Издательство: Символ-Плюс
Год издания: 2011
isbn: 978-5-93286-207-0
Количество страниц: 552
Язык: русский
Формат: PDF
|
Qt представляет собой мощную библиотеку разработки кроссплатформенных приложений - настольных, сетевых и для мобильных устройств. Но нередко даже опытные Qt-программисты используют лишь малую часть заложенных в ней возможностей. |
|
| |
|
|
| |
Натюрморт советских художников |
|
|
Категория: Живопись, графика, скульптура, музеи, Искусствоведение, культурология |
|
| |
| |
| |
|
Автор: Болотина И.
Издательство: Советский художник
Год издания: 1971
Количество страниц: 37
Язык: русский
Формат: PDF
|
Небольшой альбом, выпущенный в 1971 году издательством "Советский художник" в виде комплекта не сшитых между собою двойных листов большого формата, представляет репродукции работ известных советских живописцев - И. Грабаря, И. Машкова, П. Кончаловского, М. Сарьяна, Е. Лансере и других - с сопроводительным текстом И. Болотиной. Оригиналы большинства из 24 представленных в альбоме репродукций экспонируются в Государственной Третьяковской галерее |
|
| |
|
|
| |
Modische Maschen №№ 1,2 1987 |
|
|
Категория: Рукоделие » Вязание |
|
| |
| |
| |
|
Автор: коллектив
Издательство: Verlag fur die Frau , Лейпциг
Год издания: 1987
Язык: другой
Формат: JPG
|
В журналах представлены вязаные модели одежды для женщин и мужчин. К каждой модели дано описание |
|
| |
|
|
| |
Механизмы в современной технике (в 7-ми томах) |
|
|
Категория: Физика, Другие технические науки |
|
| |
| |
| |
|
Автор: Артоболевский И.И.
Издательство: Наука
Год издания: 1980
Количество страниц: 3400
Язык: русский
Формат: PDF
|
Справочное пособие для инженеров, конструкторов и изобретателей
Том 1 Механизмы в современной технике. Т. 1: Элементы механизмов. Простейшие рычажные и шарнирно-рычажные механизмы. Справочное пособие для инженеров, конструкторов и изобретателей.
Том 2 Механизмы в современной технике: Кулисно-рычажные и кривошипно-ползунные механизмы.
Справочное пособие для инженеров, конструкторов и изобретателей.
Том 3 Рычажно-кулачковые, рычажно-зубчатые, рычажно-храповые, рычажно-клиновые и винто-рычажные механизмы.
Механизмы с гибкими и упругими звеньями
Том 4 Кулачковые и фрикционные механизмы. Механизмы с гибкими звеньями. Пособие для инженеров, конструкторов и изобретателей.
Том 5 Кулачковые и фрикционные механизмы. Механизмы с гибкими звеньями.
Тома 6-7 Электрические механизмы (т.6); Гидравлические и пневматические механизмы (т.7 |
|
| |
|
|
| |
Жизнь и наука. Воспоминания |
|
|
Категория: Гуманитарные науки » Исторические науки » Биографии, ЖЗЛ |
|
| |
| |
| |
|
Автор: Артоболевский И.И.
Издательство: Наука
Год издания: 2005
isbn: 5-02-033830
Количество страниц: 12
Язык: русский
Формат: PDF
|
Воспоминания крупнейшего русского ученого-механика академика И.И. Артоболевского охватывают период с 1905 до 1975 г. Автор встречался с выдающимися людьми прошлого века: политическими деятелями - В.И. Лениным, В.Р. Менжинским, А.В. Луначарским; учеными - Д.Н. Прянишниковым, А.Н. Туполевым и многими другими. Глазами очевидца описаны революция, Гражданская война, нэп, становление отечественной промышленности, Великая Отечественная война и другие события. Воссоздана история создания Института машиноведения, общества "Знание", ИВТОМ и т.д. Для историков и всех интересующихся историей науки и становлением Российской академии наук. |
|
| |
|
|
| |
Рабочие тетради. В 8 т. Т. 2 |
|
|
Категория: Гуманитарные науки » Языкознание » Литература |
|
| |
| |
| |
|
Автор: Пушкин А. С.
Издательство: РАН
Год издания: 1995
isbn: 1-899685-02-2
Количество страниц: 343
Язык: русский
Формат: PDF
|
В том 2 вошли:
Рабочая тетрадь 1817-1825 гг. (Лицейская) ПД 829
Рабочая тетрадь 1820-1823 гг. (Записная книжка) ПД 830 |
|
| |
|
|
| |
Античная демократия в свидетельствах современников |
|
|
Категория: Гуманитарные науки » Исторические науки » Всемирная история, древний мир |
|
| |
| |
| |
|
Автор: Соложенкина С.Л. (ред.)
Издательство: ладомир
Год издания: 1996
isbn: 5-86218-219-5
Количество страниц: 383
Язык: русский
Формат: PDF
|
Сборник позволяет сформировать достаточно полное представление о первой демократии Земли. В книге собраны и прокомментированы оригинальные документы, созданные в период существования демократических режимов в древней Греции, приведены отрывки из произведений античных писателей, философов, драматургов, полностью опубликовано то, что сохранилось от "Афинской политии" Аристотеля и одноименного сочинения Псевдо-Ксенофонта. |
|
| |
|
|
| |
Забавный счет |
|
|
Категория: Детский уголок » Стихи и сказки |
|
| |
| |
| |
|
Автор: Н. Сапотницкая
Издательство: Проф-Пресс
Год издания: 2005
isbn: 5-94582-083-0
Количество страниц: 12
Язык: русский
Формат: DJVU
|
Эта книжка в стихах поможет детям научиться считать до десяти. |
|
| |
|
|
|
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Подробнее и с комментариями (0)
