книги Электронные книги Наука, техника, медицина Точные науки

Заглянуть

Сергей Попов Наталья Брошкова

Прикладная логика

Код 4658849

401 кб

июнь 2013

Электронная книга

Нет в продаже

Доступные форматы pdf

Аннотация к книге "Прикладная логика"

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Правообладатель:	Издательская фирма "Физико-математическая литература"
Дата выхода:	июнь 2013
Размер файла:	401 Кб
Поставщик контента:	ООО «ЛитРес»

Вместе с этой книгой покупают

Дружу с телом. Как похудеть навсегда, или СТОП ЗАЖОРЫ

Дружу с телом. Как похудеть навсегда, или СТОП... бумажная книга

Ксения Кирилловна...

Нет в продаже

Спросите у... космонавта! бумажная книга

Тим Пик

15.3 USD

В корзину

Остров Камино бумажная книга

Джон Гришем

Нет в продаже

Идеальный программист. Как стать профессионалом разработки ПО

Идеальный программист. Как стать профессионалом... бумажная книга

Роберт С. Мартин

10.66 USD

В корзину

-7%

Менопаузальная гормональная терапия. В помощь терапевту и врачу общей практики. Библиотека врача-специалиста

Менопаузальная гормональная терапия. В помощь... бумажная книга

Игорь Мадянов

9.82 USD 9.13 USD

В корзину

Чудовище у ворот Расемон. Японские сказки бумажная книга

15.44 USD

В корзину

Спросите у... космонавта!

бумажная книга

Тим Пик

Тим Пик – единственный космонавт во всей Великобритании. 15 декабря 2015 года в 14:03 Тим Пик в должности второго бортинженера отправился с космодрома Байконур к МКС, чтобы провести на орбите 186 суток и узнать все о том, как жить и выживать в космосе. Тим решил поделиться всем пережитым с землянами. В соцсетях был запущен хештег #askanastronaut, с помощью которого отбирались вопросы Тиму. Интервью со всем...

Издательство: Рипол Классик
Дата выхода: июль 2018

15.3 USD

В корзину

Идеальный программист. Как стать профессионалом разработки ПО

бумажная книга

Роберт С. Мартин Роберт Мартин

Всех программистов, которые добиваются успеха в мире разработки ПО, отличает один общий признак: они больше всего заботятся о качестве создаваемого программного обеспечения. Это – основа для них. Потому что они являются профессионалами своего дела. В этой книге легендарный эксперт Роберт Мартин (более известный в сообществе как «Дядюшка Боб»), автор бестселлера «Чистый код», рассказывает о том, что...

Издательство: Питер
Дата выхода: декабрь 2018

10.66 USD

В корзину

Менопаузальная гормональная терапия. В помощь терапевту и врачу...

бумажная книга

Игорь Мадянов Татьяна Мадянова

В руководстве представлены международные и российские рекомендации по менопаузальной гормональной терапии (МГТ) применительно к деятельности врачей-терапевтов и врачей общей практики. Рассмотрены "терапевтические" проявления климактерического синдрома и положительные эффекты МГТ. Проведен анализ наиболее частых сомнений относительно безопасности МГТ, охарактеризованы особенности ее применения...

Издательство: ГЭОТАР-Медиа
Дата выхода: сентябрь 2019

9.82 USD 9.13 USD

В корзину

Чудовище у ворот Расемон. Японские сказки

бумажная книга

В старинных японских сказках бесстрашный самурай сражается с кровожадным чудовищем, лесные человечки наказывают завистливого соседа, мудрая обезьяна помогает добрым людям, оборотни подстерегают зазевавшихся странников, а духи меняют обличия и маски. Японские сказания овеяны духом к цветущей сакуры. Они причудливы, как иероглифы, и забавны, как еда палочками. Каждая сказка - свой собственный мир....

Издательство: Концептуал
Дата выхода: март 2019

15.44 USD

В корзину