Книги

В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.

В курсе изучаются основы программирования на языке C++. В лекциях кратко изложены основные особенности языка С++ в соответствии со стандартом ISO/IEC 14882 (2003). Для написания программ во время обучения можно использовать, компилятор gcc или среду Microsoft Visual C++ 2005 Express Edition.

Курс является введением в программирование на языке Паскаль (Pascal). Рассматриваются основные понятия языка, операторы и типы данных, даются введения в модульное и объектно-ориентированное программирование.

В данном курсе рассматриваются теоретические основы и практические методы создания компиляторов языков программирования. Изложение ведется на основе языка программирования C# и платформы .NET.

Классический учебник по языку C.

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

Курс посвящен изучению языка программирования PHP версии 5.

В курсе рассматриваются возможности электронной таблицы Gnumeric.

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

Курс посвящен книгопроизводству во всех аспектах этого непростого дела. Курс рекомендуется студентам полиграфических специальностей, а также всем тем, кто профессионально занимается или предполагает заниматься книгоизданием.

Курс знакомит с процессом установки "1С:Предприятия 8.0", основами администрирования, дает общее представление о работе с основными объектами "1С:Предприятия 8.0" и встроенным языком системы.

Курс посвящен практике применения языка гипертекстовой разметки с применением каскадных таблиц стилей (Cascade Style Sheets). На большом количестве примеров рассматриваются основные приемы использования CSS.

Курс посвящен практике применения языка гипертекстовой разметки HTML. На большом количестве примеров рассматриваются основные конструкции языка, приемы разметки и связь с другими инструментами разработки WEB-страниц.

Предлагаемый автором курс служит для изучения последней (новейшей) версии всемирно признанного векторного редактора CorelDRAW X5. В курсе приведено множество практических примеров, что будет полезно, как начинающим дизайнерам, так и опытным в компьютерной графике специалистам.

Курс посвящен издательской системе LaTeX, предназначенной для набора и верстки текстов с формулами.

Курс представляет собой концептуальный обзор платформы Mozilla и является руководством для построения приложений на ее основе.

В курсе описывается архитектура и компоненты системы Lotus Notes. Описывается модель безопасности, компоненты почтовой системы, принципы работы календаря, работа с документами. Курс позволяет полностью освоить Lotus Notes.

The physical foundations of electronic, vibration-rotation and Raman spectroscopy have been considered. The physical principles of design and operation of modern spectroscopic instruments are presented. The optical methods based on the spectroscopic applications to biomedicine are described. The practicum manual how the optical methods can be used to solve some biological...