 | Словари, Словарь Dictionary |
| reduction (Or "contraction") The process of transforming an expression according to certain reduction rules. The most important forms are (application of a to one or more argument expressions) and (application of a mathematical function to the required number of arguments). An (or ), determines which part of an expression (which redex) to reduce first. There are many such strategies. See , , , , , , , , . (1995-02-21) |
 на заглавную | О сайте • 10 самых • Словари • Обратная связь |  к началу страницы |
| © 2010 Admin User словарь словарь online online словарь цитаты chrome | XHTML | CSS | 1.8.11 |