Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229684865> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4229684865 endingPage "156" @default.
- W4229684865 startingPage "115" @default.
- W4229684865 abstract "This chapter introduces induction and recursion, which are omnipresent in computer science and logic. The simplest context in which they arise is in the domain of the positive integers, and that is where we begin. We explain induction as a method for proving facts about the positive integers, and recursion as a method for defining functions on the same domain, and describe two different methods for evaluating such functions. From this familiar terrain, the basic concepts of recursion and induction are extended to the forms known as structural induction and recursion, to which we give special attention. We look at structural recursion as a way of defining sets, structural induction as a way of proving things about those sets, and then structural recursion once more, as a way of defining functions with recursively defined domains when a special condition of unique decomposability is satisfied. The broadest kind of induction/recursion may be formulated for any set at all, provided it is equipped with a relation that is well-founded in a sense we explain." @default.
- W4229684865 created "2022-05-11" @default.
- W4229684865 creator A5062959562 @default.
- W4229684865 date "2020-01-01" @default.
- W4229684865 modified "2023-10-17" @default.
- W4229684865 title "Recycling Outputs as Inputs: Induction and Recursion" @default.
- W4229684865 doi "https://doi.org/10.1007/978-3-030-42218-9_4" @default.
- W4229684865 hasPublicationYear "2020" @default.
- W4229684865 type Work @default.
- W4229684865 citedByCount "0" @default.
- W4229684865 crossrefType "book-chapter" @default.
- W4229684865 hasAuthorship W4229684865A5062959562 @default.
- W4229684865 hasConcept C11413529 @default.
- W4229684865 hasConcept C124416688 @default.
- W4229684865 hasConcept C134306372 @default.
- W4229684865 hasConcept C136119220 @default.
- W4229684865 hasConcept C139503435 @default.
- W4229684865 hasConcept C151730666 @default.
- W4229684865 hasConcept C168773036 @default.
- W4229684865 hasConcept C177264268 @default.
- W4229684865 hasConcept C199360897 @default.
- W4229684865 hasConcept C202444582 @default.
- W4229684865 hasConcept C206743973 @default.
- W4229684865 hasConcept C2524010 @default.
- W4229684865 hasConcept C2779343474 @default.
- W4229684865 hasConcept C33923547 @default.
- W4229684865 hasConcept C36503486 @default.
- W4229684865 hasConcept C41008148 @default.
- W4229684865 hasConcept C80444323 @default.
- W4229684865 hasConcept C86803240 @default.
- W4229684865 hasConceptScore W4229684865C11413529 @default.
- W4229684865 hasConceptScore W4229684865C124416688 @default.
- W4229684865 hasConceptScore W4229684865C134306372 @default.
- W4229684865 hasConceptScore W4229684865C136119220 @default.
- W4229684865 hasConceptScore W4229684865C139503435 @default.
- W4229684865 hasConceptScore W4229684865C151730666 @default.
- W4229684865 hasConceptScore W4229684865C168773036 @default.
- W4229684865 hasConceptScore W4229684865C177264268 @default.
- W4229684865 hasConceptScore W4229684865C199360897 @default.
- W4229684865 hasConceptScore W4229684865C202444582 @default.
- W4229684865 hasConceptScore W4229684865C206743973 @default.
- W4229684865 hasConceptScore W4229684865C2524010 @default.
- W4229684865 hasConceptScore W4229684865C2779343474 @default.
- W4229684865 hasConceptScore W4229684865C33923547 @default.
- W4229684865 hasConceptScore W4229684865C36503486 @default.
- W4229684865 hasConceptScore W4229684865C41008148 @default.
- W4229684865 hasConceptScore W4229684865C80444323 @default.
- W4229684865 hasConceptScore W4229684865C86803240 @default.
- W4229684865 hasLocation W42296848651 @default.
- W4229684865 hasOpenAccess W4229684865 @default.
- W4229684865 hasPrimaryLocation W42296848651 @default.
- W4229684865 hasRelatedWork W11623253 @default.
- W4229684865 hasRelatedWork W1494559 @default.
- W4229684865 hasRelatedWork W1861890 @default.
- W4229684865 hasRelatedWork W4597164 @default.
- W4229684865 hasRelatedWork W4783835 @default.
- W4229684865 hasRelatedWork W5667864 @default.
- W4229684865 hasRelatedWork W7048289 @default.
- W4229684865 hasRelatedWork W7491381 @default.
- W4229684865 hasRelatedWork W771960 @default.
- W4229684865 hasRelatedWork W8478983 @default.
- W4229684865 isParatext "false" @default.
- W4229684865 isRetracted "false" @default.
- W4229684865 workType "book-chapter" @default.