Sökresultat - "Logic"
Rekommenderade teman
Rekommenderade teman
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
3421
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /
Publicerad 2021Innehållsförteckning: “…3rd international workshop on Agile Transformation -- Agile Transformation at Scale: A Tertiary Study -- Institutional Logics in Large-Scale Agile Software Development Transformations -- 9th International Workshop on Large-Scale Agile Development -- Innovation in Large-scale agile - Benefits and Challenges of Hackathons when Hacking from Home -- Impacts of COVID-19 Pandemic for Software Development in Nordic Companies - Agility Helps to Respond -- The EFIS framework for leveraging agile organizations within large enterprises -- Managing Dependencies in Large-Scale Agile -- First International Workshop on Agile Sustainability -- How Collective Intelligence Can Gear Agility with Sustainability -- 4th International Workshop on Software-intensive Businesses -- SaaS Pricing Practices Typology: A Case Study -- Is your Software Ecosystem in Danger? …”
Link to Metadata
Elektronisk E-bok -
3422
Handbook of Positive Psychology, Religion, and Spirituality
Publicerad 2023Innehållsförteckning: “…Part I: Historical and Theoretical Considerations -- Integrating Positive Psychology and the Psychology of Religion and Spirituality: Transcending Coexistence to Potentiate Coevolution -- Positive Psychology and the Psychology of Religion and Spirituality in Historical Perspective -- On the Integration of Positive Psychology and the Psychology of Religion and Spirituality: Logical, Normative, and Methodological Questions -- Virtues in Positive Psychology and the Psychology of Religion and Spirituality -- Theories of Health and Well-Being Germane to a Positive Psychology of Religion and Spirituality -- Meaning as a Framework for Integrating Positive Psychology and the Psychology of Religiousness and Spirituality -- Part II: Methodological Considerations -- Measurement at the Intersection of Positive Psychology and the Psychology of Religion and Spirituality -- Methodological Diversity in Positive Psychology and the Psychology of Religion and Spirituality -- Part III: Cultural Considerations -- Cultural Considerations in Positive Psychology and the Psychology of Religion and Spirituality -- Positive Psychology and Christianity -- Positive Psychology and Judaism -- Living the Good Life: An Islamic Perspective on Positive Psychology -- Positive Psychology and Hinduism -- Positive Psychology and Buddhism -- "Positive Psychology and Religion/Spirituality Across Cultures in Europe, Non-U.S. …”
Link to Metadata
Elektronisk E-bok -
3423
-
3424
-
3425
-
3426
Invited Lectures from the 13th International Congress on Mathematical Education
Publicerad 2018Innehållsförteckning: “…Bridging the two research areas, Roza Leikin -- Themes in Mathematics Teacher Professional learning research in South Africa: A Review of the Period 2006-2015, Mdutshekelwa Ndlovu -- Pedagogies of Emergent Learning, Ricardo Nemirovsky -- Connecting Mathematics, Community, Culture and Place: Promise, Possibilities, and Problems, Cynthia Nicol -- Relevance of learning logical Analysis of Mathematical Statements, Judith Njomgang Ngansop -- Understanding and Visualizing Linear Transformations, Asuman Oktac -- Mapping the Relationship between written and enacted Curriculum: Examining teachers' decision making, Janine Remillard -- Building Bridges Between Math Education and Engineering Education Communities: a dialogue through Modelling and Simulation, Ruth Rodriguez -- Constructing dynamic geometry: insights from a study of teaching practices in English schools, Kenneth Ruthven -- Exploring the Contribution of Gestures to Mathematical Argumentation Processes in a Semiotic Perspective, Cristina Sabena -- Improving Mathematics Pedagogy through Student/Teacher Valuing: Lessons from five Continents, Wee Tiong Seah -- About a collaborative work. …”
Link to Metadata
Elektronisk E-bok -
3427
How to Think Like a Computer Scientist C Version
Publicerad 1999Innehållsförteckning: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
Access online version
Elektronisk E-bok -
3428
-
3429
-
3430
-
3431
-
3432
-
3433
-
3434
-
3435
-
3436
-
3437
-
3438
-
3439
-
3440