Монография посвящена проблеме улучшения технико-экономических показателей водно-солевых абсорбционных термотрансформаторов (АТТ) путем использования новых растворов. Представлены основные положения термодинамики растворов, методики расчета этальпийной и энтропийных диаграмм системы вода — сильный электролит на примере Н2О — LiВr. Предложен теоретический термодинамический метод поиска новых...
ISBN: 978-5-907127-47-0
Издательство:
Алгоритм
Дата выхода: июнь 2019
Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно? Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы...
ISBN: 978-5-97060-696-4
Издательство:
ДМК Пресс
Дата выхода: апрель 2019
Найденных опечаток пока нет
Добавить запись