Litgu.ru - Литературный Гуру

Название: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Автор: Zhe Hou
Издательство: Springer
Серия: Texts in Computer Science
Год: 2021
Страниц: 225
Язык: английский
Формат: pdf (true), epub
Размер: 22.3 MB

This book aims to address the two problems by compressing and unifying important concepts of the two areas and providing exercises in widely-used software applications. We give a transition from logic to computation via linear temporal logic and state machines. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for two sets of audiences. Undergraduate students who are getting a Bachelor’s degree in computer science should at least pass this course. Higher degree research (HDR) students who excel at this course should have the foundation to pursue a Ph.D. degree in computer science.

Название: Босиком по пеплу. Книга 3
Автор: Д Алекс, Мейер Лана
Цикл/серия: Восточные (не)сказки
Номер книги: 8
Жанр: Эротический любовный роман
Издательство: ЛитРес
Год: 2021
Тип: аудиокнига
Читает: Егорова Валерия , Сулимов Виталий
Язык: Русский
Время звучания: 12:53:42
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 708.86 Mb

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

Название: Босиком по стеклам. Книга 1
Автор: Д Алекс, Мейер Лана
Цикл/серия: Восточные (не)сказки
Номер книги: 9
Жанр: Эротический любовный роман
Издательство: ЛитРес
Год: 2021
Тип: аудиокнига
Читает: Егорова Валерия , Сулимов Виталий
Язык: Русский
Время звучания: 06:36:45
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 363.49 Mb

Арабская принцесса и американский программист. Казалось бы эти две вселенные никогда не должны были соприкоснуться, но Коулман Мердер решил, что именно с ним Анджелина Саадат обретёт вожделенную свободу и станет для него спасением от разрушительной тьмы.

Название: Лезвие
Автор: Соболева Ульяна
Цикл/серия: Черные вороны
Номер книги: 6
Жанр: Эротический любовный роман
Издательство: АРДИС
Год: 2021
Тип: аудиокнига
Читает: Ефремова Ирина
Язык: Русский
Время звучания: 07:41:15
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 423.08 Mb

Дарина приходит в себя после длительной комы и понимает, что совершенно не помнит последние годы своей жизни. Вначале ей кажется, что всё, что с ней происходит – это сюрреалистическая изнанка реальности. Но с каждым днём этот сон не заканчивается, а затягивает её всё глубже и глубже на самое дно безумия и дикой страсти к порочному и опасному маньяку, который назвался её мужем…

Название: Ультразвук в медицине, ветеринарии и биологии
Автор(ы): Акопян В.Б., Ершов Ю.А., Щукин С.И.
Издательство: Юрайт
Год: 2021
Страниц: 225
Формат: PDF
Размер: 42 Мб
Язык: русский

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

Название: Двойной генерал
Автор: Сергей Чернов
Издательство: Самиздат
Год: 2021
Формат: fb2, rtf
Размер: 14 Мб
Качество: Хорошее
Язык: Русский

Альтернативная история. Попаданец в генерала Дмитрия Павлова, который в нашей действительности за быстрое поражение войск Западного фронта был обвинён в предательстве Родины и расстрелян 22 июля 1941 года.
...Мирно читал Кирилл Арсеньевич книжку о катастрофе в начале Великой Отечественной войны, валяясь на диване. О роли Павлова и других. Читал и усмехался. Как говорит нынешняя молодёжь, прокололись…, нет, точнее будет, обгадились все. Единственно, что реально можно поставить в вину генералу Павлову, он обгадился больше всех. Можно сказать, феноменально. Настолько эпично, что его всерьёз заподозрили в измене.

Название: Обрыв
Автор: Соболева Ульяна
Цикл/серия: Черные вороны
Номер книги: 7
Жанр: Эротический любовный роман
Издательство: АРДИС
Год: 2021
Тип: аудиокнига
Читает: Ефремова Ирина
Язык: Русский
Время звучания: 07:25:42
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 408.76 Mb

Я больше ему не нужна. Мой муж исчез. Бросил меня, ребёнка и просто уехал, оставив бумаги о разводе, всё имущество и звенящую пустоту в душе вместе с адской болью. Но он напрасно считает, что я отступлюсь, что не стану искать, что не брошусь за ним в самое пекло и не пройду по самому краю обрыва, где он стоит совсем один, балансируя над пропастью… Я сорвусь в бездну вместе с ним.

Название: На дне
Автор: Соболева Ульяна
Цикл/серия: Черные вороны
Номер книги: 8
Жанр: Эротический любовный роман
Издательство: АРДИС
Год: 2021
Тип: аудиокнига
Читает: Ефремова Ирина
Язык: Русский
Время звучания: 08:33:42
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 471.08 Mb

Я всё ещё надеялась, что он здесь, чтобы спасти нас, что это розыгрыш, недоразумение… Но я ошибалась. Всё было настоящим. Захват автобуса, боевики и правда о том, что Макс Воронов это и есть жуткий убийца Аслан Шамхадов.

Название: Две полоски для тирана
Автор: Лисовская Ирина
Жанр: Любовный роман
Издательство: ЛитРес
Год: 2021
Тип: аудиокнига
Читает: Конохова Ирина
Язык: Русский
Время звучания: 09:44:45
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 535.8 Mb

Оказывается, что даже за счастье нужно платить слишком высокую цену! Я считала Игната Литвинова настоящим тираном, но осознанно пошла на сделку с ним только для того, чтобы избавить мужа от огромного долга.

Название: Дружба по любви
Автор: Jet Nadya
Жанр: Эротический любовный роман
Издательство: ЛитРес
Год: 2021
Тип: аудиокнига
Читает: Конохова Ирина
Язык: Русский
Время звучания: 11:33:00
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 635 Mb

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