Учебное пособие дает углубленное содержание как традиционной формальной логики, так и математической (символической) логики в ее двух направлениях: классическая логика и многочисленные направления неклассических логик (конструктивных, интуиционистской, многозначных, положительных (логики, построенные без операции отрицания), модальных и паранепротиворечивых).

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

Пособие раскрывает содержание и особенности курса математики для студентов-гуманитариев. В качестве базового материала рассматриваются теоретические основы и практические задания по следующим четырём темам: множества и операции над ними; высказывания и операции над ними; элементы теории вероятностей; элементы математической статистики. Кроме того, предложена дополнительная тематика и методический материал для преподавателей.

Easy Temp File Cleaner - очиститель временных файлов, был разработан, чтобы дать пользователям простой способ для автоматического удаления временных файлов на своих компьютерах. Многие программы для Windows создают и использовать временные файлы, но не удаляет файлы при закрытии. Эти файлы могут занимать большую часть вашего жесткого диска. Не редкость, когда временные файлы забирают гигабайты пространства. Easy Temp File Cleaner поможет вам удалить эти файлы для вас автоматически.

Destroy Windows 10 Spying - программа для отключения шпионажа в Windows 7/8.1/10, также отключает задачи, кейлоггер; добавляет все сервисы приёма отчётов Microsoft в hosts файл, что позволяет отключить рекламу в скайпе. По желанию можно удалить некоторые интегрированные приложения из "десятки".

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

Slimjet - быстрый веб-браузер, который делает посещение сайтов удобным и безопасным, а также предоставляет множество полезных функций. Браузер обладает улучшенной интеграцией с популярным социальными сетями и сервисами, такими как Twitter, Google Plus, Blogger, Wordpress, Gmail, Hotmail и StumbleUpon.

Destroy Windows 10 Spying - программа для отключения шпионажа в Windows 7/8.1/10, также отключает задачи, кейлоггер; добавляет все сервисы приёма отчётов Microsoft в hosts файл, что позволяет отключить рекламу в скайпе. По желанию можно удалить некоторые интегрированные приложения из "десятки".

Display Driver Uninstaller (DDU) - программа, позволющая полностью удалить из системы драйверы для видеокарт AMD и NVIDIA, включая включая файлы, папки и записи в системном реестре, зачастую остающиеся при стандартном удалении.

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