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

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

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

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

Краткое описание: Данный учебник написан на основе учебной программы утвёржденной Министерством высшего и средне-специального о6разования Республики Узбекистан и предназначен для учащихся академических лицеев и профессиональных колледжей. В нем освещены разделы физики: механика, молекулярная физика и основы термодинамики, основы злектродинамики.

Краткое описание: Книга создана на основе опыта преподавания математики в академических лицеях г.Ташкента и является первым учебным пособием по алгебре и основам математического анализа, написанным на русском языке и соответствующим новой учебной программе.

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

Краткое описание: Тематика данного учебника подобрана согласно учебной программе для академических лицеев и профессиональных колледжей, утвержденной Министерством высшего и среднего специального образования Республики Узбекистан. Учебник состоит из двух частей и включает в себя неорганическую и органическую химию. В учебнике в полной мере раскрыта суть и значение каждой темы. Учебник предназначен для учеников, учителей академических лицеев и школ, а также для всех интересующихся этой наукой.

Краткое описание: Учебник содержит систематизированное изложение фонетики, орфографии, морфологии и синтаксиса. Теоретический материал подкреплен системой упражнений различной степени сложности. Особое внимание уделяется трудным случаям русской грамматики. В заключительной части учебника для закрепления полученных знаний предлагается рубрика «Проверь свои знания». Предназначен для учащихся 10 - 11 классов школ с русским языком обучения.

Краткое описание: В учебном пособии представлены теоретические разработки по грамматике узбекского языка, практике устной речи. Данное издание предназначено для учащихся русских групп академических лицеев и колледжей.