Каталог книг Антикварные книги Естествознание, Медицина Военное дело, военная история Детские книги и журналы Искусство История, Философия, Религия Книги издательства Academia (1922-1938) Литературоведение, Книговедение Промышленность и Техника Худ. лит-ра, Проза Худ. лит-ра, Поэзия Другие Газеты, журналы Биографии, мемуары Война, политика, дипломатия Искусство (театр, музыка, кино и др.) Литература Наука Другое ЖЗЛ (серия) Военное дело, военная история Военное дело, военная история Военное дело: теория и практика, вооружение и оснащение, обеспечение и др. 2-я Мировая война (1939-1945 гг.) Разведка, спецслужбы Детская литература Познавательная, обучающая, развивающая Проза отечественных авторов Сказки, стихи и басни Искусство Архитектура Декоративно-прикладное. Другие виды искусства Живопись, графика, скульптура Кино, ТВ, театр Музыка, ноты, опера, балет, танцы Музеи, выставки, каталоги Теория и история искусства, эстетика История Археология, Палеонтология Первобытное общество Древняя Греция и Рим Древний мир (другие регионы) Средние века (476-1640 гг.) Новая история (1640-1918 гг.) Новейшая история (после 1918 г.) История всемирная: Общие вопросы. Книги, охватывающие несколько периодов История России (до 1240 г.) История России (1240-1700 гг.) История России (1700-1916 гг.) История России: Революция и Гражданская война 1917-1922 История СССР и России (после 1922 г.) История России: Общие вопросы. Книги, охватывающие несколько периодов Краеведение России Москва и Подмосковье Санкт-Петербург и пригороды Европейский Север Урал, Сибирь, Дальний Восток Центр, Запад Юг, Кавказ Другое Медицина Анатомия и физиология Психиатрия, нервные болезни Нетрадиционная (народная, восточная, целители) Терапия (внутренние болезни), инфекционные болезни Фармакология. Лекарственные растения Хирургия, онкология, травматология, ортопедия Другое Мир увлечений Домоводство, Кулинария, Напитки Животные (дикие и домашние) Книговедение, библиография, полиграфия Коллекционирование (о марках, монетах, наградах и проч.) Миниатюрные издания Мода, красота, рукоделие Нобелевские лауреаты Огород, сад, растения Охота и рыбалка Сделай сам Секс и эротика Спорт и физкультура Фотодело, Фотоальбомы Шахматы, шашки, карточные и логические игры Другие хобби и увлечения Наука и техника Астрономия, Космонавтика Биологические науки Кибернетика, теория систем, синергетика Математика Науки о Земле (география, геология и др.) Научно-популярная литература Программирование, Компьютеры Сельское хозяйство. Лесное хозяйство Транспорт: наземный Транспорт: водный Транспорт: воздушный Транспорт: железнодорожный и метро Транспорт: другое Физика Химия, хим. производство Электроника, электротехника, радио и связь Другие естественные науки, Науковедение Другие технические науки Общественные и гуманитарные науки Антропология, этнография, мифология, фольклор Банковское дело, Финансы, Бухгалтерия Бизнес, Менеджмент, Маркетинг Законодательство, право Литературоведение Политология, геополитика, дипломатия Психология Социология, культурология, история быта Экономика, политэкономия По странам и континентам Австралия, Новая Зеландия, Океания Азия: Индия, Пакистан, Тибет, Цейлон (Шри-Ланка) Азия: Китай, Монголия Азия: Средняя Азия, Афганистан, Иран Азия: Страны Ближнего Востока Азия: Япония, Корея Азия: Другие страны Америка Северная Америка Южная и Центральная Арктика, Антарктика Африка: Египет Африка: Другие страны Европа: Австрия, Германия, Голландия, Швейцария Европа: Балканы (Греция, Болгария и др.), Кипр, Турция Европа: Великобритания, Ирландия, Исландия Европа: Италия, Испания, Португалия, Франция Европа: Кавказ, Закавказье Европа: Скандинавия, Прибалтика Европа: Ближнее зарубежье (Белоруссия, Молдавия, Украина) Европа: Другие страны Путешествия. Географические открытия Промышленность Легкая (текстильная, швейная, др.) и пищевая промышленность Машиностроение, приборостроение Металлургия, Горное дело Промышленность, производство Строительство Религия Буддизм Ислам Иудаизм Христианство Религиоведение, история религии, атеизм Другие религии и культы Эзотерика, магия, оккультизм, астрология Русскоязычные зарубежные издания Русскоязычные зарубежные издания Философия Античная философия Восточная философия Философия в Средневековье, Возрождение Философия в Новое время (XVIII-XIX вв.) Западная философия (XX-XXI вв.) Отечественная философия (XX-XXI вв.) Философия: Другое Художественная литература Библиотека поэта (БП, серия) Библиотека всемирной литературы (БВЛ, серия) Все Б-ки приключений (БПиНФ, БП-1,2,3, БПП, НБП, рамка, псевдорамка) Детективы, боевики Драматургия Исторические романы Литературные Памятники (ЛП) Памятники письменности Востока и др. вост. серии (ППВ, ПЛНВ, ПКВ) Поэзия до XX в. Поэзия XX-XXI вв. Проза зарубежная до XIX в. Проза зарубежная XIX в. Проза зарубежная XX-XXI вв. Проза отечественная до XX в. Проза отечественная XX-XXI вв. Подписные издания, Собрания сочинений Поэзия и проза о войне Приключения Публицистика. Журналистика Сатира и юмор Фантастика зарубежная Фантастика отечественная Отдельные тома многотомных изданий Книги в подарок. Подарочные издания Учебная, справочная литература Карты и атласы. Топография, геодезия Педагогика (дошкольная, школьная, общая) Пособия для абитуриентов и самообразования Пособия для учителей Словари Словари иностранных языков Учебники и самоучители иностранных языков Энциклопедии, справочники Школьные учебники и пособия Языкознание Языкознание. Общие вопросы Языкознание. Русский язык Языкознание. Другие языки

Поиск по каталогу:  БУКИНИСТИЧЕСКИЕ КНИГИ   Математическая логика и теория алгоритмов Автор: Гуц А.К. Издательство: Либроком Год издания: 2009 Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям 'Компьютерная безопасность' и 'Вычислительные машины, комплексы, системы и сети'.     Ориентировочная цена 300 руб.

©2024 staryeknigi.ru

Книжный интернет-каталог «Старые Книги»

Структурированный каталог букинистических книг с ориентировочными ценами.