Владимир Кулаков — новинки

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

Коллективом Центра проблемного анализа и государственно-управленческого проектирования (научный руководитель В.И.Якунин) проведено исследование истории возникновения холдингов, их современного состояния и правового регулирования в России и за рубежом, а также предложена оптимальная правовая модель холдинга для России.
В рамках реализации предложенной модели в действующем законодательстве в полном соответствии с требованиями правотворческих органов разработан проект федерального закона "О холдингах". Принятие данного федерального закона позволит снять имеющиеся ограничения в развитии холдингов, что послужит благотворным импульсом для развития различных отраслей экономики — транспортной, энергетической, агропромышленной и некоторых других. В то же время специальное регулирование обеспечит большую прозрачность деятельности холдингов и эффективность государственного контроля над ними.

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