формализация

Формализация существенной игры четырех лиц с нулевой суммой

Formalism of the Essential Zero-sum Four-person Game

Нейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic Behavior

Theory of Games and Economic Behavior

Neumann, John,Morgenstern, Oskar

© 1944 by Princeton University Press

Теория игр и экономическое поведение

Нейман, Джон,Моргенштерн, Оскар

© Издательство «Наука», 1970 г.

Формализация этой идеи содержится в следующих определении и леммах.

The formalization of this idea is contained in the following definition and lemmas.

Массера, Х.Л.,Шеффер, Х.Х. / Линейные дифференциальные уравнения и функциональные пространстваMassera, Jose Luis,Schäffer, Juan Jorge / Linear Differential Equations and Function Spaces

Linear Differential Equations and Function Spaces

Massera, Jose Luis,Schäffer, Juan Jorge

© 1966, BY ACADEMIC PRESS INC.

Линейные дифференциальные уравнения и функциональные пространства

Массера, Х.Л.,Шеффер, Х.Х.

Формализация этих дополнительных требований не встречает трудностей.

There is no difficulty in formalizing these extra requirements.

Нейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic Behavior

Theory of Games and Economic Behavior

Neumann, John,Morgenstern, Oskar

© 1944 by Princeton University Press

Теория игр и экономическое поведение

Нейман, Джон,Моргенштерн, Оскар

© Издательство «Наука», 1970 г.

Называя себя "свободными предпринимателями", они не принимают саму идею формализации менеджмента.

The argument is that they constitute “management” and “We are entrepreneurs.”

Друкер, Питер Ф. / Энциклопедия менеджментаDrucker, Peter F. / The Essential Drucker

The Essential Drucker

Drucker, Peter F.

© 2001 by Peter F. Drucker

Энциклопедия менеджмента

Друкер, Питер Ф.

© Издательский дом "Вильямс", 2004

© Peter F. Drucker, 2001

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

In our formalism we require a move, and do not allow the head to remain stationary.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Теперь мы переходим к формализации отрицания.

We now move toward a formalization of negation.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Через мы обозначим систему G, являющуюся формализацией элементарной теории произвольной «группы» (пояснение ниже).

We now describe a system G, which formalizes the elementary theory of an unspecified "group" (explanation follows).

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

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

The above discussed operation sequences form essentially the basis for the original operation protocol of the information client-server system, which can be formulated after a certain formal characterization.

http://www.patentlens.net/ 17.10.2011

http://www.patentlens.net/ 17.10.2011

Дефинициональные расширения, возникающие при формализации обычных определений, типа рассмотренных в разд. 1, являются схематическими.

The definitional extensions arising in the formalization of ordinary definitions as considered in Sec. 1 are schematic.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

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

Context-free grammars are a formalization of recursive rules that can be used to guide syntactic analysis.

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави / Компиляторы: принципы, технологии, инструментыAho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey / Compilers: Principles, Techniques, and Tools

Compilers: Principles, Techniques, and Tools

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey

© 2001 by PEARSON EDUCATION NORTH ASIA LIMITED and PEOPLE'S POSTS & TELECOMMUNICATIONS PUBLISHING HOUSE

© 1986

Компиляторы: принципы, технологии, инструменты

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави

© Addison-Wesley Publishing Company, Inc., 1985

© 2001

© Издательский дом "Вильямс", 2001