Магазин `Купить с доставкой`
Доставка до пунктов выдачи или почтой.
  |
- CD и DVD /
- Бытовая техника /
- Всё для дома /
- Все для ремонта /
- Игры. Игрушки /
- Канцтовары /
- Книги /
- Красота и здоровье /
- Одежда и обувь /
- Печать книг на заказ /
- Продукты питания /
- Рыбалка /
- Спортивный инвентарь /
- Сувениры /
- Товары для дачи, сада и огорода /
- Товары для детей /
- Товары для животных /
- УЧЕБА /
- Хобби /
- Электроника, оргтехника /
- Дидактические материалы, практикумы /
- Методическая литература, программы, каталоги /
- Научные издания, теории, монографии, статьи, лекции /
- Решебники, решения и ответы, шпаргалки /
- Сборники задач, заданий, самоучители /
- Справочники, энциклопедии /
- Тексты, хрестоматии, КДЧ, художественная литература /
- Тесты, экзаменационные материалы /
- УЧЕБНИКИ: ДОП. ПОСОБИЯ /
- Учебники: основные /
Учебники: доп. пособия
Автор Герасимов А.С.
- Абгарян К.А.
- Авдошин Сергей Михайлович
- Аверина Т.А.
- Айвазян Д.Ф.
- Акивис М.А.
- Акимов П.А.
- Алейников Сергей Михайлович
- Александров А.Ю.
- Александров П.С.
- Александрова О.В.
- Алексеев В.Б.
- Алексеев Д.В.
- Алескеров Ф.Т.
- Алфимов Г.Л.
- Аносов Д.В.
- Антонов В.И.
- Артамонов В.А.
- Арутюнов А.В.
- Аттетков Александр Владимирович
- Афанасьев В.В.
- Афанасьева Н.Ю.
- Бабичева И.В.
- Бабичева Ирина Владимировна
- Бакушинский А.Б.
- Барбашова Т.Ф.
- Бардзокас Д.И.
- Бахвалов Н.С.
- Безруков А.И.
- Беклемишев Д.В.
- Беклемишев Дмитрий Владимирович
- Березина Н.А.
- Битюков Юрий Иванович
- Богомолов Н.В.
- Болдырев Ю.Я.
- Бортаковский А.С.
- Босов А.В.
- Бугров Я.С.
- Будкина Е.М.
- Буфеев С.В.
- Ванько В.И.
- Васильев
- Васильев В.А.
- Васильев Ф.П.
- Васильева А.Б.
- Васильков Юрий Викторович
- Васюков В.Л.
- Верещагин Н.К.
- Веселовкася А.З.
- Вечтомов Е.М.
- Виро О.Я.
- Волкова Е.С.
- Вороненко А.А.
- Воронов М.В.
- Ганичева А.В.
- Гарбарук В.В.
- Гармаш А.Н.
- Гателюк О.В.
- Гашев С.Н.
- Гашков С.
- Геворкян П.С.
- Геворкян Павел Самвелович
- Гейдман Б.П.
- Гелиг А.Х.
- Гельфанд Израиль Моисеевич
- Герасимов А.С.
- Гергель В.П.
- Гилев В.Г.
- Глухих И.Н.
- Глухов Михаил Михайлович
- Голубев В.И.
- Голубева Нина Викторовна
- Горбаченко В.И.
- Гордин Владимир Александрович
- Горлач Борис Алексеевич
- Горохов А.В.
- Горяинова Е.Р.
- Григорьев А.А.
- Григорьев Марк Петрович
- Григорьев Юрий Дмитриевич
- Гуц А.К.
- Давыдов Е.Г.
- Далингер В.А.
- Данко П.Е.
- Дасгупта С.
- Деза Е.И.
- Демьянова В.Ф.
- Деркач М.И.
- Дерр В.Я.
- Емельянов В.Н.
- Епихин Валерий Евгеньевич
- Ершов Ю.Л.
- Ефимов А.В.
- Ефимов Н.В.
- Жуковский В.И.
- Журавлев Ю.И.
- Журомский В.М.
- Зайцев В.Ф.
- Запорожец Г.И.
- Зарубин В.С.
- Захарова Татьяна Валерьевна
- Зельдович Яков Борисович
- Зенков А.В.
- Золотаревская Д.И.
- Зуев Ю.А.
- Зуланке Р.
- Зыков А.А.
- Зюзьков В.М.
- Иванов О.
- Иванов О.А.
- Иванова А.П.
- Игнатьев М.В.
- Игошин В.И.
- Ильин В.А.
- Кадомцев Сергей Борисович
- Калиткин Николай Николаевич
- Капкаева Л.С.
- Карасев Владимир Анатольевич
- Карасева Р.Б.
- Катмаков П.С.
- Кашапова Ф.Р.
- Квасов Б.И.
- Киркинский А.С.
- Клековкин Г.А.
- Клиот-Дашинский М.И.
- Клюшин В.Л.
- Коваленко А.В.
- Кожевникова И.А.
- Козак А.В.
- Колбин Вячеслав Викторович
- Колесник Г.В.
- Колобашкина Л.В.
- Копченова Н.В.
- Кормен Томас Х.
- Королев В.Ю.
- Косарев В.И.
- Кострикин А.И.
- Кравцова В.И.
- Краснов М.Л.
- Красс М.С.
- Кривоножко В.Е.
- Крупский В.Н.
- Кряквин В.Д.
- Кряквин Вадим Донатович
- Кудрявцев К.Я.
- Кудрявцев Л.Д.
- Куланин Е.Д.
- Куликов В.В.
- Куницын А.Л.
- Курбатова Галина Ибрагимовна
- Курош А.Г.
- Кучер Т.П.
- Кытманов А.М.
- Ларин С.В.
- Лебедев В.И.
- Лёвшина Галина Дмитриевна
- Леонтьева Т.А.
- Летова Татьяна Александровна
- Лисичкин В.Т.
- Лобкова Н.И.
- Ловитт У.В.
- Ложников А.Б.
- Лубягина Е.Н.
- Лукин В.Н.
- Лунгу К.Н.
- Лунгу Константин Никитович
- Лурье И.Г.
- Львовский С.М.
- Любецкий В.А.
- Магомедов К.М.
- Маергойз Л.С.
- Макаров С.И.
- Макоха А.Н.
- Максимова О.Д.
- Малыхин В.И.
- Малышева Н.Б.
- Марон И.А.
- Матвеев П.Н.
- Маховенко Е.Б.
- Мачулис В.В.
- Миллер Р.
- Минеев М. П.
- Миносцев В.Б.
- Миронов В.Л.
- Миротин А.Р.
- Морозов В.В.
- Музылева И.В.
- Мусин Ю.Р.
- Назаров Д.М.
- Наймарк М.А.
- Натанзон С.
- Натяганов В.Л.
- Нестеренко Юрий Валентинович
- Никитина Н.С.
- Никифоров В.А.
- Никишечкин А.П.
- Новак Е.В.
- Новиков Анатолий Иванович
- Новиков Д.А.
- Новиков Е.А.
- Новиков Ф.А.
- Овсиенко В.
- Овчинников А.В.
- Окулов С.М.
- Орлова И.В.
- Осипов Александр Васильевич
- Островский Г.М.
- Очков Валерий Федорович
- Пак В.Г.
- Палий И.А.
- Панкратова Ирина Анатольевна
- Пантелеев А.В.
- Пантелеев Андрей Владимирович
- Пантина Ирина Викторовна
- Панюкова Т.А.
- Папшев Сергей Владимирович
- Пентус А.Е.
- Песчанский А.И.
- Печинкин Александр Владимирович
- Пименов В.Г.
- Плескунов М.А.
- Плотникова Е.Г.
- Плюснина Т.Ю.
- Покровский В.В.
- Поляк Б.Т.
- Полякова Т.С.
- Понарин Я.П.
- Попов В.А.
- Попов В.С.
- Порошкин А.Г.
- Поршнев С.В.
- Посицельская Л.Н.
- Постников М.М.
- Пригарин С.М.
- Пухначёв Ю.В.
- Рейзлин В.И.
- Розанова С.А.
- Розендорн Э.Р.
- Ройтман Ф.
- Романко В.К.
- Романко Василий Кириллович
- Романовский И.В.
- Рублев Вадим Сергеевич
- Рудык Б.М.
- Рыбников К.К.
- Рыжиков Ю.И.
- Рыков В.В.
- Сабитов И.Х.
- Садовничая И.В.
- Салимов Р.Б.
- Самарский А.А.
- Сандракова Е.В.
- Саттон Р.С.
- Сгибнев А.И.
- Секованов В.С.
- Сесекин А.Н.
- Сибиряков Геннадий Васильевич
- Сизиков В.С.
- Сизый С.В.
- Смилга Вольдемар Петрович
- Смирнов В.И.
- Смирнов Николай Васильевич
- Смирнов Сергей Николаевич
- Старков Сергей Николаевич
- Стеклов В.А.
- Степанян И.К
- Супрун В.П.
- Сухотин А.М.
- Сушкевич Антон Казимирович
- Таранников Ю.В.
- Тарасевич Ю.Ю.
- Тарасова Н.В.
- Тимердинг Г.Е.
- Тиморин Владлен Анатольевич
- Титов К.В.
- Тишин Владимир Викторович
- Токарев В.В.
- Токарева Светлана Андреевна
- Третьякова Ольга Николаевна
- Трояновский В.М.
- Трухан А.А.
- Турецкий В.Я.
- Ушаков Денис Михайлович
- Фарков А.В.
- Федоров В.В.
- Филимоненкова Н.В.
- Филимоненкова Надежда Викторовна
- Филинова О.Е.
- Филиппов А.Ф.
- Фихтенгольц Г.М.
- Фоменко Татьяна Николаевна
- Хелгасон С.
- Хеннер В.К.
- Холтыгин А.Ф.
- Хорошилова Е.В.
- Черняк А.А.
- Черняк Аркадий Александрович
- Чирский В.Г.
- Шабунин М.И.
- Шабунин Михаил Иванович
- Шагин В.Л.
- Шалдырван В.А.
- Шахмейстер А.Х.
- Шахмейстер Александр
- Шевелев Ю.П.
- Шевелев Юрий Павлович
- Шершнев В.Г.
- Шеховцов В.А.
- Шилов Г.Е.
- Шипачев В.С.
- Шориков А.Ф.
- Шпаков П.С.
- Шубунин Михаил Иванович
- Шуман Г.И.
- Шушкевич Г.Ч.
- Шушляпин П.И.
- Эйдерман В.Я.
- Юмагулов М.Г.
- Яковенко Г.Н.
- Ярушкина Надежда Глебовна
- Балдин Константин Васильевич
- Ржевский С.В.
- Козлов А.
- Демидович Б.П.
- Измаилов А.Ф.
- Рябенький В.С.
- Дюк В.А.
- Толпегин О.А.
- Юревич Е.И.
- Асанов М.О.
- Белоусов А.И.
- Зализняк В.Е.
- Иванова Е.Е.
- Лихтарников Л.М.
- Павлов Е.А.
- Попов А.М.
- Кудрявцева И.А.
- Фаддеев М.А.
- Поддаева О.И.
- Крахин А.В.
- Болотюк Владимир Анатольевич
- Веремей Евгений Игоревич
- Кузнецов А.В.
- Кытманов Александр Мечиславович
- Свешников А.А.
- Скубов Д.Ю.
- Шипачев Виктор Семенович
- Карташов Б.А.
- Колесов В.В.
- Александров Александр Юрьевич, Платонов Алексей Викторович, Старков Владимир Николаевич, Степнко Николай Анатольевич
- Александрова О.В., Сагомонян Е.А., Семенов Ю.С.
- Александрова Ольга Владимировна, Сагомонян Елена Артуровна, Семенов Юрий Станиславович
- Александрова Ольга Владимировна, Семенов Юрий Станиславович
- Асанов М.О., Баранский В.А., Расин В.В.
- Бахвалов Н.С., Лапин А.В., Чижонков Е.В.
- Болотюк Владимир Анатольевич, Болотюк Людмила Анатольевна, Авилова Лиана Валериевна
- Бугров Яков Степанович, Никольский Сергей Михайлович
- Васильков Юрий Викторович, Василькова Наталья Николаевна
- Вечтомов Е.М., Широков Д.В.
- Воронов М.В., Пименов В.И., Суздалов Е.Г.
- Гателюк О.В., Исмаилов Ш.К., Манюкова Н.В.
- Гашев С.Н., Бетляева Ф.Х., Лупинос М.Ю.
- Гельфанд Израиль Моисеевич, Львовский С., Тоом А.
- Горбаченко В.И., Ахметов Б.С., Кузнецова О.Ю.
- Далингер В.А., Симонженков С.Д.
- Данко П.Е., Попов А.Г., Кожевникова Т.Я., Данко С.П.
- Жуковский В.И., Чикрий А.А., Плотников В.А.
- Журавлев Ю.И., Флеров Ю.А., Вялый М.Н.
- Зайцев В.Ф., Полянин А.Д.
- Зализняк В.Е., Золотов О.А.
- Захарова Татьяна Валерьевна, Шестаков Олег Владимирович
- Иванова А.П., Сигал И.Х.
- Карасев Владимир Анатольевич, Левшина Галина Дмитриевна
- Карасева Римма Борисовна
- Катмаков П.С., Гавриленко В.П., Бушов А.В.
- Кашапова Ф.Р., Кашапов И.А., Фоменко Т.Н.
- Клековкин Г.А., Коннова Л.П., Коннов В.В.
- Кожевникова И.А., Журбенко И.Г.
- Копченова Н.В., Марон И.А.
- Кормен Томас Х., Лейзерсон Чарльз И., Ривест Рональд Л.
- Кравцова В.И., Васильченко Г.С., Герасимчук В.С.
- Красс М.С., Чупрынов Б.П.
- Кудрявцев К.Я., Прудников А.М.
- Кудрявцева И.А., Швецкий М.В., Демидов М.В., Голанова А.В.
- Кузнецов А.В., Холод Н.И., Сакович В.А.
- Курбатова Галина Ибрагимовна, Филиппов Василий Борисович
- Кучер Татьяна Павловна
- Кытманов Александр Мечиславович, Лейнартас Евгений Константинович, Мысливец Симона Глебовна
- Лёвшина Галина Дмитриевна, Карасев Владимир Анатольевич, Карасева Вероника Владимировна
- Летова Татьяна Александровна, Пантелеев Андрей Владимирович
- Лисичкин В.Т., Соловейчик И.Л.
- Лобкова Н.И., Максимов Ю.Д., Хватов Ю.А.
- Лубягина Е.Н., Вечтомов Е.М.
- Лунгу Константин Никитович, Норин Владимир Павлович, Письменный Дмитрий Трофимович, Федин С.Н.
- Лунгу Константин Никитович, Письменный Дмитрий Трофимович, Федин Сергей Николаевич
- Любецкий В.А., Кановей В.Г.
- Магомедов К.М., Холодов А.С.
- Максимова О.Д., Смирнов Д.М.
- Миллер Р., Боксер Л.
- Минеев М. П., Чубариков В. Н.
- Миносцев В.Б., Пушкарь Е.А.
- Назаров Д.М., Конышева Л.К.
- Новак Е.В., Рязанова Т.В., Новак И.В.
- Новиков Е.А., Шорников Ю.В.
- Овсиенко В., Табачников С.
- Пантелеев Андрей Владимирович, Якимова Альбина Степановна
- Пантина Ирина Викторовна, Куприянова Мария Алексеевна, Харитонов Сергей Владимирович
- Пименов В.Г., Ложников А.Б.
- Плескунов М.А., Короткий А.И.
- Плотникова Е.Г., Левко С.В., Логинова В.В., Хакимова Г.М.
- Попов Вячеслав Александрович
- Поршнев С.В., Беленкова И.В.
- Сабитов И.Х., Михалев А.А.
- Садовничая И.В., Фоменко Т.Н., Ильин В.А.
- Садовничая И.В., Фоменко Т.Н., Хорошилова Е.В.
- Садовничая И.В., Фоменко Т.Н., Хорошилова Е.В., Ильин В.А.
- Садовничая И.В., Хорошилова Е.В.
- Сандракова Е.В., Сумин Е.В.
- Сибиряков Геннадий Васильевич, Мартынов Юрий Алексеевич
- Смирнов Николай Васильевич, Смирнова Татьяна Евгеньевна, Тамасян Григорий Шаликович
- Степанян И.К, Коннова Л.П., Рылов А.А.
- Сухотин Александр Михайлович, Тарбокова Татьяна Васильевна
- Таранников Юрий Валерьевич
- Трухан А.А., Ковтуненко В.Г.
- Фаддеев М.А., Марков К.А.
- Филимоненкова Н.В., Бакусов П.А.
- Черняк А.А., Черняк Ж.А., Метельский Ю.М., Богданович С.А.
- Черняк Аркадий Александрович, Черняк Жанна Альбертовна, Василец Сергей Иванович
- Чирский В.Г., Шилин К.Ю.
- Шагин В.Л., Соколов А.В.
- Шориков А.Ф., Сесекин А.Н.
- Шубунин Михаил Иванович, Тер-Крикоров Александр Мартынович
- Бибиков Ю.Н., Букаты В.Р.
- Тропин Михаил Петрович
- Акивис М.А., Гольдберг В.В.
- Акимов П.А., Белостоцкий А.М., Кайтуков Т.Б., Мозгалева М.Л., Сидоров В.Н.
- Алейников Сергей Михайлович, Кущев Анатолий Борисович
- Алексеев Д.В., Казунина Г.А.
- Бакушинский А.Б., Кокурин М.Ю.
- Белоусов А.И., Ткачев С.Б.
- Битюков Юрий Иванович, Ильина Анастасия Николаевна, Мартюшова Янина Германовна
- Босов А.В., Пантелеев А.В., Якимова А.С.
- Верещагин Н.К., Успенский Владимир Андреевич, Плиско В.Е.
- Виро О.Я., Иванов О.А., Нецветаев Н.Ю., Харламов В.М.
- Гергель В.П., Сысоев А.В.
- Горяинова Е.Р., Кибзун А.И., Наумов А.В.
- Дасгупта С., Пападимитру Х., Вазирани У.
- Ершов Ю.Л., Палютин Е.А.
- Ефимов Н.В., Розендорн Э.Р.
- Зарубин В.С., Иванова Е.Е., Кувыркин Г.Н.
- Зуланке Р., Онищик А.
- Измаилов А.Ф., Солодов М.В.
- Ильин В.А., Позняк Э.Г.
- Козак А.В., Пилиди С.В.
- Королев В.Ю., Бенинг В.Е., Шоргин С.Я.
- Лунгу Константин Никитович, Макаров Евгений Васильевич
- Макоха А.Н., Червяков Н.И., Сахнюк П.А.
- Морозов В.В., Сухарев А.Г., Федоров В.В.
- Натяганов В.Л., Лужина Л.М.
- Никифоров В.А., Шкода Б.В.
- Пантелеев А.В., Якимова А.С.
- Пантелеев А.В., Якимова А.С., Босов А.В.
- Пентус А.Е., Пентус М.Р.
- Плюснина Т.Ю., Фурсова П.В., Терлова Л.Д., Ризниченко Г.Ю.
- Поляк Б.Т., Хлебников М.В., Рапопорт Л.Б.
- Смилга В.П., Белоусов Ю.М., Кузнецов В.П.
- Третьякова Ольга Николаевна, Липовцев Юрий Васильевич
- Федоров В.В., Сухарев А.Г., Тимохов А.В.
- Шалдырван В.А., Медведев К.В.
- Шалдырван В.А., Медведнев К.В.
- Шахмейстер Александр Хаймович
- Аттетков Александр Владимирович, Зарубин Владимир Степанович, Канатников Анатолий Николаевич
- Безруков А.И., Алексенцева О.Н.
- Березина Н.А., Максина Е.Л.
- Бортаковский А.С., Пантелеев А.В.
- Гармаш А.Н., Орлова И.В.
- Деркач М.И., Обжерин Ю.Е.
- Песчанский Алексей Иванович
- Титов Константин Викторович
- Ярушкина Надежда Глебовна, Афанасьева Татьяна Васильевна, Перфильева Ирина Григорьевна
- Балдин Константин Васильевич, Башлыков Виктор Николаевич, Рукосуев Андрей Вадимович, Уткин Владимир Борисович
- Волкова Е.С., Гисин В.Б.
- Гринченков Д.В. , Потоцкий С.И.
- Епихин Валерий Евгеньевич, Граськин Сергей Сергеевич
- Кораблев Ю.А.
- Богомолов Николай Васильевич
- Веретенников Валентин Николаевич
- Горлач Борис Алексеевич, Шахов Валентин Гаврилович
- Зимина О.В.
- Седых И.Ю., Шевелев А.Ю., Криволапов С.Я.
- Васильева А.Б., Тихонов Н.А., Медведев Г.Н., Уразгильдина Т.А.
- Горлач Б.А.
- Григорьев Е.А.
- Колесов В.В., Романов М.Н.
- Очков Валерий Федорович, Богомолова Елена Петровна, Иванов Дмитрий Александрович
- Трухан А.А., Огородникова Т.В.
- Гарбарук В.В., Родин В.И., Шварц М.А.
- Кутузов Антон Сергеевич
- Матвеев А.И.
- Мачулис Владислав Владимирович
- Пен Р.З., Пен В.Р.
- Ширяев В.И., Ширяев Е.В.
- Евсеев Е.А.
- Шагин Вадим Львович, Соколов Александр Валерьевич
- Авдошин Сергей Михайлович, Набебин Алексей Александрович
- Бардзокас Д.И., Зобнин А.И., Сеник Н.А., Фильштинский М.Л.
- Борзунов С.В., Кургалин С.Д.
- Бухштаб Александр Адольфович
- Гарбарук В.В., Родин В.И., Соловьева И.М.
- Демидович Б.П., Моденов В.П.
- Иванов О., Климчук С.
- Квасов Борис Ильич
- Клюшин Владимир Леонидович
- Комарова Елена Сергеевна
- Кропотов Юрий Анатольевич
- Максимов А.В.
- Нестеренко Юрий Валентинович, Михайлов Сергей Владимирович, Гречников Евгений Александрович
- Никитина Н.С., Степанов А.В.
- Павлушков И.В., Розовский Л.В., Наркевич И.А.
- Пантелеев А.В., Кудрявцева И.А.
- Поддаева О.И., Федосова А.Н., Чурин П.С.
- Проскуряков И.В.
- Северцев Н.А.
- Тарасова Н.В., Мартынова Т.Е.
- Хеннер В.К., Белозерова Т.С., Хеннер М.В.
- Шерстнев А.Н.
- Епихин В.Е., Граськин С.С.
- Белопольская Я.И.
- Мартынов Л.М.
- Васильева А.Б., Медведев Г.Н., Тихонов Н.А., Уразгильдина Т.А.
- Липовцев Юрий Васильевич, Третьякова Ольга Николаевна
- Сигал И.Х., Иванова А.П.
- Белоусов Ю.М., Кузнецов В.П., Смилга В.П.
- Данко П. Е., Попов А. Г., Кожевникова Т.Я., Данко С.П.
- Новиков Федор Александрович
- Сухарев А.Г., Тимохов А.В., Федоров В.В.
- Овчинников Алексей Витальевич
- Филиппов Алексей Федорович
- Воробьева Е.В., Стратилатова Е.Н.
- Русина Л.Г.
- Арутюнов А.В., Тихомиров В.М., Магарил-Ильяев Г.Г.
- Булдык Г.М.
- Буфеев Сергей Валентинович
- Горлач Б.А., Горелов Г.Н.
- Горлач Б.А., Ефимов Е.А.
- Жмурова И.Ю., Игнатова А.В.
- Красильников П.С., Байков А.Е., Чуркина Т.Е.
- Рыбин В.В.
- Шилин И.А.
- Анисова Т.Л., Лахманов П.Г.
- Аржанцев И.В.
- Барбашова Т.Ф., Кугушев Е.И., Попова Т.В.
- Болибрух А.А.
- Ваузен К.
- Вдовин А.Ю., Михалёва Л.В., Мухина В.М., Орехова Н.К., Удинцева С.Н., Федоровских Е.С., Шатунова Т.И.
- Волков Е.А.
- Волкова Т.В.
- Вороненко А.А., Федорова В.С.
- Вуазен К.
- Выгодский М.Я.
- Гашков С.Б.
- Гданский Н.И.
- Гловацкая А.П.
- Гулин А.В., Мажорова О.С., Морозова В.А.
- Данилов Ю.М., Журбенко Л.Н., Никонова Г.А.
- Данилов Ю.М., Журбенко Л.Н., Никонова Г.А., Нуриева С.Н.
- Жислин Г.М.
- Жукова Г.С.
- Жукова Г.С., Рушайло М.Ф.
- Заграновская А.В., Эйсснер Ю.Н.
- Зайцев В.Ф., Линчук Л.В., Флегонтов А.В.
- Золотаревская Дина Исааковна
- Игнашева Е.П.
- Канцедал С.А.
- Коган Е.А.
- Коган Е.А., Жукова Г.С.
- Крамарь В.А., Карапетьян В.А., Альчаков В.В.
- Крицков Л.В.
- Кузнецова О.С., Кирсанов М.Н.
- Маничев В.Б., Глазкова В.В., Кузьмина И.А.
- Миков А.И.
- Осипова В.А.
- Пантелеев А.В., Якимова А.С., Рыбаков К.А.
- Пантелеев Андрей Владимирович, Летова Татьяна Александровна
- Плюснина Т.Ю., Фурсова П.В.
- Соколов Г.А.
- Степучев В.Г.
- Титов К.В., Горелов Н.Д.
- Тропин М.П.
- Хелемский А.Я.
- Ходаков В.Е., Соколова Н.А.
- Чикуров Н.Г.
- Шевцов Г.С.
- Шишкин А.Б.
- Шпаков П.С., Юнаков Ю.Л.
- Шуман Г.И., Волгина О.А., Голодная Н.Ю.
- Производители:
- URSS (51)
- Айрис-Пресс (3)
- Академический проект (1)
- Ассоциация строительных вузов (АСВ) (2)
- БХВ-Петербург (12)
- Бином. Лаборатория знаний (13)
- Вако (1)
- Виктория плюс (2)
- Виктория плюс, Московский центр непрерывного математического образования (МЦНМО) (7)
- Владос (1)
- Вузовская книга (14)
- Вузовский учебник (5)
- Высшая школа (1)
- ГЭОТАР-Медиа (1)
- Гелиос АРВ (5)
- Государственный университет - Высшая школа экономики (ГУ ВШЭ) (2)
- Гревцов Паблишер (1)
- ДМК Пресс (2)
- Дашков и К° (3)
- Дело (4)
- Диалектика / Вильямс (1)
- Директмедиа Паблишинг (5)
- Илекса (10)
- Интеллект (2)
- Инфра-Инженерия (3)
- Инфра-М (47)
- КнигИздат (1)
- КноРус (23)
- Лаборатория знаний (2)
- Лань (122)
- Литературная учеба (ЛУч) (1)
- МГИМО-Университет (2)
- МГСУ (2)
- Магистр (1)
- Мир и образование (2)
- Московский Государственный Технический Университет (МГТУ) имени Н.Э. Баумана (5)
- Московский авиационный институт (МАИ) (2)
- Московский государственный университет имени М.В. Ломоносова (МГУ) (2)
- Московский центр непрерывного математического образования (МЦНМО) (30)
- Научный мир (2)
- Оникс 21 век, Мир и Образование (1)
- Петроглиф (1)
- Питер (1)
- Проспект (7)
- РИОР (9)
- Регулярная и хаотическая динамика, Институт компьютерных исследований (2)
- Российский государственный гуманитарный университет (РГГУ) (1)
- Русаки (1)
- Санкт-Петербургский государственный университет (СПбГУ) (4)
- Синергия (1)
- Удмуртский государственный университет (УдГУ) (2)
- Учитель (2)
- Факториал Пресс (5)
- Феникс (3)
- Физматкнига (1)
- Физматлит (37)
- Флинта (1)
- Форум (4)
- Экономика (1)
- Юрайт (108)
Курс математической логики и теории вычислимости. Учебное пособие
Производитель: Лань
Цена: 1575.00 руб.
Описание:
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.