Математическая логика и теория алгоритмов
Автор: Гуц Александр Константинович
- Переплет: мягкий
- Формат: 21x14.5x1.5 см
- Вес: 167 г
- ISBN: 978-5-9519-3747-6
Kategorie
-
Knihy
- Детективы, триллеры
-
Детская литература
- Азбука. Букварь
- Герои мультфильмов и фильмов
-
Досуг, творчество и кулинария
- Aplikace a modelování
- Kreslení
- Активные игры дома и на улице
- Альбомы, анкеты, дневнички
- Другое
- Игры на любой вкус
- Книжки-игрушки
- Компьютер для детей
- Кроссворды, головоломки, комиксы
- Опыты и эксперименты
- Оригами. Поделки из бумаги
- Плетем из резиночек
- Поделки, мастерилки
- Раскраски
- Шитье, рукоделие, кулинария
- Загадки. Скороговорки. Считалки
- Книги для дошкольников (4-6 лет)
- Книги для самых маленьких (0-3 года)
- Книги с вырубкой
- Молодежная литература
- Песенки, потешки
-
Познавательная литература
- Атласы и карты
- Биографии известных личностей для детей
- Все обо всем. Универсальные энциклопедии
- Всемирная история
- Доисторическая жизнь. Динозавры
- Животный и растительный мир
- История России
- Культура и искусство
- Наука. Техника. Транспорт
- О любви и сексе для детей и подростков
- Окружающий мир
- Полезные советы девочкам
- Полезные советы мальчикам
- Религиозная литература для детей
- Спорт для детей
- Человек. Земля. Вселенная
- Этикет. Внешность.Гигиена. Личная безопасность
- Поэзия для детей
- Проза для детей
- Сказки
-
Дом. Быт. Досуг
- Домоводство. Обиходно-бытовые рекомендации
- Книги для родителей
- Коллекционирование
- Красота. Этикет. Стиль
- Любовь и эротика
- Обустройство дома, квартиры
- Охота. Рыбалка. Собирательство
- Развлечения. Праздники. Юмор
- Рисование, живопись
-
Рукоделие. Творчество
- Батик. Рисование по фарфору, стеклу
- Вышивка
- Вязание
- Декупаж. Подарки и украшения своими руками
- Другие виды ремесел и рукоделия
- Керамика. Мозаика. Гончарное дело
- Кожа. Мех. Роспись по ткани
- Конструирование из бумаги
- Макраме. Бисероплетение
- Мягкие игрушки. Куклы
- Общие работы по рукоделию
- Пэчворк. Квилтинг
- Флористика. Аранжировка цветов
- Шитьё
-
Сад, огород, цветы, дизайн участка
- Декоративные деревья и кустарники
- Защита растений от болезней и вредителей. Удобрения
- Календари работ для сада и огорода
- Комнатные растения
- Ландшафтный дизайн сада
- Обрезка и прививка деревьев
- Общие работы о садовых цветах
- Общие работы по садоводству
- Овощные культуры. Грибы
- Плодовые и ягодные культуры
- Садовые растения
- Теплицы. Постройки. Садовый инвентарь
-
Спорт. Фитнес
- Аэробика. Фитнес. Шейпинг
- Баскетбол. Волейбол
- Бильярд. Боулинг. Пейнтбол
- Бодибилдинг. Легкая и тяжелая атлетика
- Боевые и спортивные единоборства
- Дайвинг. Яхты. Парус
- Другие виды спорта. Спортивный туризм. Альпинизм
- История спорта
- Конный спорт (верховая езда)
- Общая физическая культура
- Общие работы о спорте
- Олимпийские игры
- Плавание
- Теннис
- Тренерское мастерство
- Футбол
- Хоккей
- Шахматы. Шашки
- Строительство. Ремонт. Интерьер
- Уход за животными
- Цифровое фото и видео
-
Здоровье, медицинская литература
- Ветеринария
- Диагностика. Методы и виды
- История медицины
- Лечебное питание. Похудание. Диеты
- Медико-биологические дисциплины
- Медицинские энциклопедии и справочники
- Неотложная помощь. Терапии
-
Популярная и нетрадиционная медицина
- Авторские методики
- Биоэнергетика
-
Болезни и их лечение
- Аллергические заболевания
- Болезни печени, почек, поджелудочной железы
- Варикозное расширение вен. Болезни ног
- Гинекология. Контрацепция
- Гипертония
- Головная боль. Бессонница
- Депрессия. Стресс. Нервная система
- Диабет. Щитовидная железа
- Другие болезни
- Зрение
- Опорно-двигательная система
- Педиатрия
- Простуда, грипп,. ЛОР-болезни
- Рак. Онкологические заболевания
- Сердце и сосуды
- Система дыхания
- Система пищеварения
- Эндокринная система (обмен веществ)
- Восточная и тибетская медицина
- Гомеопатия. Траволечение
- Закаливание. Водолечение
- Красота и здоровье
-
Лечебные свойства растений, минералов и т.д.
- Алоэ. Каланхоэ. Комнатные растения
- Баня, ванны
- Биодобавки. Мумие
- Витамины, минералы, камни. Соль. Глина
- Деревья, кустарники, орехи
- Золотой ус
- Календула, зверобой, чистотел, крапива, другие травы. Зерновые
- Мед. Прополис. Пыльца
- Общие работы. Лекарственные растения
- Овощи. Грибы. Фрукты и ягоды
- Перекись водорода, керосин и т.д.
- Пиявки. Водоросли
- Чай. Соки. Настойки. Целебные масла
- Чеснок и лук
- Массаж: лечебный, восточный
- Общие работы по нетрадиционной медицине
- Очищение и омоложение организма
- Правильное дыхание
- Советы целителей. Оздоровительные системы
- Система здравоохранения
-
Специальная медицина
- Акушерство и гинекология
- Внутренние болезни. Диагностика
- Гастроэнтерология
- Другие виды специальной медицины
- Инфекционные болезни
- Кардиология
- Кожные и венерические болезни
- ЛОР. Оториноларингология
- Наркология. Алкоголизм. Табакокурение
- Неврология
- Онкология
- Офтальмология
- Педиатрия
- Психиатрия. Психопатология. Сексопатология
- Стоматология
- Терапия. Пульмонология
- Урология
- Хирургия. Ортопедия
- Эндокринология
- Фармакология. Рецептура. Токсикология
- Историческая художественная проза
-
История, биография, мемуары
- Военное дело. Оружие. Спецслужбы
- Всемирная история
- Вспомогательные исторические дисциплины
- Древний мир и средние века
- Историография. Общие работы
- История войн
- История городов
-
Мемуары, биографии
- Автобиографии
- Дневники. Письма. Записки
- Другие биографии, мемуары
- Мемуары, биографии бизнесменов
- Мемуары, биографии военных деятелей
- Мемуары, биографии деятелей культуры, искусства
- Мемуары, биографии деятелей науки
- Мемуары, биографии исторических личностей
- Мемуары, биографии спортсменов
- Сборники мемуаров, биографий
- Новая и новейшая история
- Общественно-политическая литература
- От Руси до России
- Публицистика
- Теория цивилизаций
- Классика, современная литература
-
Компьютерная литература
- MS Office и другие офисные программы
- Базы данных
-
Графика, дизайн
- Adobe Illustrator
- Adobe Photoshop
- CorelDraw
- Видео на компьютере
- Графика и дизайн
- Дизайн интерфейса
- Другие графические редакторы
- Компьютерная верстка и дизайн для печати
- Музыка и звук на компьютере
- Сканирование, обработка изображений
- Создание мультимедиа и обучающих программ. Виртуальная реальность
- Цифровая фотография
- Интернет и Web-страницы
- Информационные технологии
- Компьютерная безопасность. Хакерство
- Компьютерные сети
- Компьютеры и программы
- Операционные системы (Windows, Linux...)
- Основы информатики, общие работы
- Разработка программного обеспечения
- Системы проектирования
- Управление проектами
- Языки и системы программирования
-
Кулинария
- Блюда из сыра и молочных продуктов
- Блюда на каждый день
- Вегетарианская кухня
- Выпечка, десерты
- Готовим для детей
- Здоровое и раздельное питание
- Книги для записи рецептов
- Консервирование
- Крупы. Каши. Макароны
- Кухни народов мира
- Микроволновая печь
- Мультиварка, духовка, пароварка, фритюр
- Мясо, птица
- Напитки
- Общие вопросы по кулинарии
- Первые блюда
- Пицца
- Православная кулинария
- Праздничный стол, сервировка
- Рыба, морепродукты
- Салаты, закуски, холодцы
- Соусы, специи, приправы
- Шашлыки. Барбекю. Гриль. Блюда для пикника
- Любовный роман
- Приключения
-
Путешествия. Туризм
- Автодороги зарубежных стран
- Автодороги России
- Атласы. Карты
- Заметки путешественника
- Исторические путеводители
- Москва и Подмосковье. Путеводители, карты
- Общие вопросы
- Путеводители по странам
-
Религия
- Буддизм
- Даосизм. Конфуцианство. Синтоизм
- Индуизм
- Ислам
- Иудаизм
-
Православие
- Азы православия
- Богословие. Апологетика
- Богослужебные издания
- Духовная литература
- Жития русских святых, жизнеописания церковных деятелей
- Иконы. Иконостас
- История Русской церкви. Старообрядчество
- Календари, ежедневники
- Молитвословы, акафисты, каноны
- Паломничества. Монастыри. Храмы
- Православие в целом
- Православие и общество
- Православная семья. Педагогика. Детям
- Церковное искусство и пение. Символика
- Религии древности
- Религии мира
- Религиоведение
- Славянский ведизм
-
Христианство
- Библия. Книги Священного Писания Ветхого и Нового Завета
- Богословие. Теология
- Духовная литература
- Жития святых, жизнеописания церковных деятелей
- Иисус Христос. Богородица
- История церкви. Вселенские соборы
- Католичество (католицизм)
- Молитвословы
- Протестантизм
- Религиозные течения христианской направленности
- Храмы. Монастыри. Искусство
- Христианство. Общие представления
-
Справочная литература
- Ветеринария. Животноводство. Сельское хозяйство
- Естественные науки
- Культура, искусство
- Наука. История науки
-
Общественные и гуманитарные науки
- Антропология
- Археология
- Литературоведение. Фольклор
- Педагогика
- Политология
-
Право. Юриспруденция
- Административное право
- Гражданское право
- Жилищное и семейное право
- Земельное и экологическое право
- История и теория права
- Конституционное (государственное) право
- Международное право
- Нормативные правовые акты
- Органы юстиции
- Особые виды права
- Отрасли знаний, примыкающие к юриспруденции
- Таможенное право
- Терроризм
- Трудовое право. Социальное обеспечение
- Уголовное и уголовно-процессуальное право
- Финансовое право
- Юриспруденция. Общие вопросы права
-
Психология
- Возрастная психология
- Классики психологии
- Метафорические карты
- Общая психология
- Отраслевая (прикладная) психология
- Практическая психология
- Психоанализ
- Психология личности
- Психология масс и соционика
- Психология отдельных видов деятельности
- Психология отношений
- Психология. Общие работы
- Психотерапия
- Тесты
- Социология
- Средства массовой информации. Книжное дело
- Статистика. Демография
- Философия
- Этнография
- Языкознание. Филология
- Общие справочники
- Синергетика. Системный анализ. Теория систем
- Технические науки. Транспорт
- Факты, катастрофы, сенсации
-
Учебная литература
-
Дошкольникам
- Изобразительное творчество и конструирование
- Изучение языков
- Музыкальное развитие
- Обучение счету. Математика
- Общая подготовка к школе
- Окружающий мир
- Основы безопасности
- Письмо, мелкая моторика
- Развитие внимания и воображения
- Развитие логики и мышления
- Развитие общих способностей
- Развитие памяти
- Развитие речи. Чтение
- Рисование
- Физическая культура, здоровье
- Хрестоматии для дошкольников
- Цвета. Формы.
-
Изучение языков
- Английский язык
- Арабский язык
- Билингвы и книги на иностранных языках
- Греческий язык
- Древнегреческий и другие древние языки
- Другие языки
- Испанский язык
- Итальянский язык
- Китайский язык
- Латинский язык
- Многоязычные словари
- Немецкий язык
- Одноязычные словари иностранных языков
- Польский язык
- Португальский язык
- Русский язык
- Турецкий язык
- Французский язык
- Чешский язык
- Японский язык
- Музыкальная школа
- Студентам и аспирантам
-
Учителям, педагогам, воспитателям
- Демонстрационные материалы
- Административное управление образованием
- Документы и методические пособия для воспитателя
- Дошкольное воспитание
- Дошкольное обучение
- Игры и праздники для дошкольников
- Классному руководителю
- Методика обучения. Методические пособия для учителей
- Наглядные и раздаточные материалы
- Организация школьных мероприятий
- Преподавание учебных предметов
- Тесты. Диагностика интеллектуального развития ребенка
- Учебно-воспитательная работа в школе
- Школоведение
-
Школьникам и абитуриентам
- Биология
- География
- Дополнительные учебные пособия
- Другие предметы
- Естествознание
- Иностранные языки
- Информатика
- История
- Литература
- Математика. Алгебра. Геометрия
- Мировая художественная культура
- Образовательные системы. 1-4 классы
- Обществознание
- Портфолио
- Природоведение. Окружающий мир
- Профориентация
- Религиоведение
- Русский язык
- Сборники по всем предметам
- Справочники для поступающих
- Технология
- Физика. Астрономия
- Химия
- Черчение
- Экономика. Право
-
Дошкольникам
- Фантастика, фэнтези
-
Эзотерика. Парапсихология. Тайны
- Астрология
- Гадания, толкования снов
- Йога и другие духовные практики, течения
- Лечение, знахарство
- Магия и колдовство
- Парапсихология
- Практическая эзотерика
- Современные религиозные течения
- Спиритизм. Пророчества и предсказания
- Тайны, загадочные явления
- Фэн-шуй
- Эзотерика. Оккультизм
- Эзотерические учения
-
Экономика. Бизнес
- MBA. Бизнес-курс
- Бухгалтерия. Налоги. Аудит
-
Деловая литература. Право. Психология
- Деловое общение и этикет
- Иностранные языки для делового общения
- Компьютер в бизнесе
- Математика в бизнесе
- Право в сфере бизнеса
- Презентация. Переговоры
- Психология бизнеса
- Риторика. Ораторское искусство для бизнеса
- Социология в бизнесе. Социальная сфера. Соционика
- Философия для бизнесменов и политиков
- Кадры. Офис. Делопроизводство
- Компьютер в бизнесе
- Макроэкономика
- Маркетинг. Реклама
-
Менеджмент
- Бизнес-планирование
- Инновационный менеджмент. Креатив
- Лидерство
- Мотивация
- Общий менеджмент
- Организационный и производственный менеджмент
- Отраслевой и специальный менеджмент
- Самоменеджмент. Сделай себя сам
- Стратегический менеджмент
- Тайм-менеджмент
- Управление государством. Местное самоуправление
- Управление качеством
- Управление персоналом
- Управление проектами
- Управленческие решения
- Предпринимательство. Отраслевой бизнес
- Торговля. Логистика
- Финансы. Банковское дело. Инвестиции
- Экономика
- Экономическая география. Регионоведение
- Pro děti
- Канцелярские товары
- Мультимедиа
- Праздники
- Религиозные товары
- Сувениры
- Хобби и досуг
KnihyСправочная литератураЕстественные наукиФизико-математические наукиМатематикаВысшая математикаМатематическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга—Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность» и «Информатика и вычислительная техника».
Для студентов, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность» и «Информатика и вычислительная техника».
- Наполеон и Гитлер. Россию завоевать невозможно
- Они почти добились власти над всем миром. Каждый из них стремился к...
Číst více - Мы воюем за жизнь
- Сборник включает несколько рассказов отечественных авторов. Один из них...
Číst více - Народная война
- Партизанская война известна человечеству с древности. Однако необычайное...
Číst více - На берегу Тьмы
- Новая книга от Натальи Соловьевой — автора бестселлера «Однажды ты...
Číst více - Кукла госпожи Барк
- Советский писатель и офицер, ветеран трех войн Хаджи-Мурат Магометович...
Číst více