检索结果 - "set theory"

The role of newspapers in the dissemination of climate change information in Tanzania 由 Siyao, Peter Onauphoo

主题: 获取全文

Schaum's outline of theory and problems of finite mathematics / 由 Lipschutz, Seymour

书本目录: “...Propositions and truth tables; algebra of propositions; conditional statements; arguments; logical implication; set theory; product sets; relations; functions; vectors; matrices; linear equations; determinants of order two and three; the binomial coefficients and theorem; permutations; ordered samples; combinations; ordered partitions; tree diagrams; probability; conditional probability; independence; independent trials; random variables; Markov chains; inequalities; points, lines and hyperplanes; convex sets and linear inequalities; linear programming; theory of games....”

Advanced calculus / 由 Taylor, Angus E.

书本目录: “...Fundamentals of Elementary Calculus The Real Number System Continuous Functions Extensions of the Law of the Mean Functions of Several Variables The Elements of Partial Differentiation General Theorems of Partial Differentiation Implicit-Function Theorems The Inverse Function Theorem with Applications Vectors and Vector Fields Linear Transformations Differential Calculus of Functions from Rn to Rm Double and Triple Integrals Curves and Surfaces Line and Surface Integrals Point-Set Theory Fundamental Theorems on Continuous Functions The Theory of Integration Infinite Series Uniform Convergence Power Series Improper Integrals...”
获取全文
获取全文

Organizational behavior 1 : essential theories of motivation and leadership 由 Miner John B.

书本目录: “...Stacy Adams Goal setting theory : Edwin Locke and Gary Latham Attribution theory-managerial perceptions of the poor performing subordinate : Terence Mitchell and Stephen Green Normative decision process theory : Victor Vroom, Philip Yetton, and Arthur Jago Contingency theory of leadership : Fred Fiedler Vertical dyad linkage and leader member exchange theory : George Graen Information processing theory of leadership : Robert Lord Substitutes for leadership : Steven Kerr Role motivation theory : John Miner Charismatic leadership theory : Robert House Transformational leadership theory : Bernard Bass...”

Organizational behavior 2 : essential theories of motivation and leadership 由 Miner John B.

书本目录: “...Stacy Adams Goal setting theory : Edwin Locke and Gary Latham Attribution theory-managerial perceptions of the poor performing subordinate : Terence Mitchell and Stephen Green Normative decision process theory : Victor Vroom, Philip Yetton, and Arthur Jago Contingency theory of leadership : Fred Fiedler Vertical dyad linkage and leader member exchange theory : George Graen Information processing theory of leadership : Robert Lord Substitutes for leadership : Steven Kerr Role motivation theory : John Miner Charismatic leadership theory : Robert House Transformational leadership theory : Bernard Bass...”

Statistics / 由 Spiegel, Murray R.

书本目录: “...-- Relation of probability to point set theory -- Euler or Venn diagrams and probability --...”
获取全文
获取全文

Structured techniques : the basis for CASE / 由 Martin, James

书本目录: “...279 (1) Using Decision Trees and Decision Tables 279 (1) Commentary 279 (2) 22 Data Analysis Diagrams 281 (16) Introduction 281 (1) Bubble Charts 281 (1) Associations Between Data Items 282 (1) One-to-One and One-to-Many Associations 283 (1) Types and Instances 284 (1) Reverse Associations 284 (2) Keys and Attributes 286 (1) Data-Item Groups 287 (1) Records 287 (1) Concatenated Keys 288 (2) Derived Data 290 (3) Optional Data Items 293 (4) 23 Entity-Relationship Diagrams 297 (28) Introduction 297 (1) Entities 297 (1) Entity Diagrams 298 (1) Concatenated Entity Type 299 (3) Labels and Sentences 302 (2) Subject and Predicate 304 (3) Basic Constructs 307 (1) Semantic Independence 307 (1) Inverted-L Diagrams 308 (2) Entity Subtypes 310 (1) Multiple Subtype Groupings 311 (1) Subtype Hierarchies 312 (2) Computer Representation of the Diagram 314 (1) Notation Styles 315 (10) 24 Data Navigation Diagrams 325 (14) Introduction 325 (1) Divide and Conquer 325 (1) Separating Data from Procedures 326 (1) Data Navigation Diagrams 327 (4) Procedure Design 331 (2) Physical Design 333 (1) Complexity 334 (1) Standard Procedure 335 (4) 25 Compound Data Accesses 339 (16) Introduction 339 (1) Relational Joins 340 (3) Automatic Navigation 343 (1) Simple Versus Compound Data-Base Accesses 343 (1) Intermixing Simple and Compound Actions 344 (3) Three-Way Joins 347 (1) Semantic Disintegrity 348 (2) Navigation Paths 350 (1) Fourth-Generation Languages 351 (4) 26 HOS Charts 355 (22) Introduction 355 (1) HOS 355 (1) Binary Trees 355 (2) Functions 357 (4) From Requirements Statements to Detailed Design 361 (1) Three Primitive Control Structures 361 (3) Control Maps 364 (1) Generation of Code 364 (1) Four Types of Leaf Nodes 364 (3) Static and Dynamic Testing of Programs 367 (1) Embellishments 367 (1) Other Control Structures 368 (2) Simplification 370 (1) User Functions Employed in a Defined Structure 370 (1) Extending the Power of HOS 370 (2) Discussion 372 (5) 27 A Consumer's Guide to Diagramming Techniques 377 (22) Introduction 377 (1) Criteria for Choice 378 (4) Data and Processes 382 (1) Data Flow Diagrams 382 (1) The Essential Trilogy 383 (1) Comprehensive Capabilities 383 (1) Ultimate Decomposition 384 (1) Drawing Speed 384 (2) Integrity Checking 386 (1) Code Generation 387 (1) User Friendliness 387 (1) Computer Graphics 388 (1) Summary of Properties 388 (6) Our Choice of Techniques 394 (1) Challenge 395 (4) PART IV ANALYSIS AND DESIGN 399 (118) 28 Structured Analysis and Design Techniques 399 (8) Software Analysis and Design 399 (1) The Desire to Skip Analysis 399 (1) Changing Requirements 399 (1) System Specification 400 (1) Poor Specification and Expensive Errors 400 (1) Importance of Analysis 401 (1) A Building Analogy 401 (1) Importance of Design 402 (1) A Systematic Design Approach 403 (1) Types of Software Design 403 (2) Structured Design Methodologies 405 (2) 29 Structured Analysis 407 (10) A Critical Step 407 (1) A Structured Discipline 407 (1) System Specification 408 (2) Data-Flow Diagram 410 (1) Data Dictionary 410 (1) Process Specification 411 (1) Steps of Structured Analysis 412 (2) Critique of Structured Analysis 414 (1) When to Use Structured Analysis 415 (2) 30 Top-Down Design 417 (6) Informal Design Strategy 417 (1) Design Process 417 (1) Decision Making 418 (1) Principles of Top-Down Design 419 (1) Documentation for Top-Down Design 419 (1) Top-Down Design of Data 419 (1) When to Use Top-Down Design 420 (3) 31 Structured Design 423 (18) Systematic Design Approach 423 (1) Structured Design: Step 1: Draw Data-Flow Diagram 424 (1) Step 2: Draw Structure Chart 424 (7) Step 3: Evaluate the Design 431 (4) Step 4: Prepare the Design for Implementation 435 (6) 32 An Evaluation of Structured Design 441 (14) Structured Design of the Credit Verification System 441 (1) Applying Transform Analysis 441 (2) Evaluating the Quality of the Design 443 (3) Critique of Structured Design 446 (1) Critique of Transform and Transaction Analysis 447 (4) Comparison with Top-Down Design 451 (1) Critique of Coupling and Cohesion 452 (1) Lack of Data Design 453 (2) 33 Jackson Design Methodology 455 (14) Jackson Design Versus Structured Design 455 (1) Data-Driven Program Design 455 (2) Example: Employee Skills System 457 (5) Designing Simple Programs 462 (2) Designing Complex Programs 464 (1) Structure Clash 465 (1) Program Inversion 466 (3) 34 An Evaluation of Jackson Design Methodology 469 (20) Constructive Design Method 469 (1) Designing the Subscription System 469 (6) Limitations of the Jackson Design Methodology 475 (3) Designing the Credit Verification System 478 (6) Summary 484 (5) 35 Warnier-Orr Design Methodology 489 (14) Background 489 (1) Set Theory 489 (1) Top-Down Approach 490 (1) Data-Driven Approach 491 (1) Design of the Employee Skills System 491 (12) 36 An Evaluation of the Warnier-Orr Design Methodology 503 (14) Input-Process-Output Model 503 (1) Objective of the Warnier-Orr Design Methodology 504 (1) Benefits of the Warnier-Orr Diagram 504 (2) Problems with the Warnier-Orr Diagram 506 (1) Bracketed Pseudocode 507 (1) Major Criticisms 507 (1) Design of the Subscription System 507 (1) Problems with Multiple Output Structures 508 (3) Incompatible Hierarchies 511 (1) Inadequate Input Design Guidelines 511 (1) Overemphasis on Output 511 (2) Recommendations 513 (4) PART V MORE AUTOMATED TECHNIQUES 517 (150) 37 A Higher Level of Automation 517 (16) Introduction 517 (1) Problems with Specifications 517 (1) Specification Languages 518 (1) Computer-Aided Specification Design 519 (1) Two Types of Languages 519 (1) Computable Specifications 520 (1) Automation of Design 521 (2) Integration of Definition Levels 523 (1) A Common Communication Vehicle 523 (1) Integrated Top-Down and Bottom-Up Design 524 (1) Mathematically Rigorous Languages 525 (1) User Friendliness 525 (1) Properties Needed 525 (1) Spectrum of Specification Languages 526 (7) 38 HOS Methodology 533 (24) Introduction 533 (1) USE IT 533 (2) JOIN, INCLUDE, and OR 535 (1) Generation of Code 535 (2) Four Types of Leaf Nodes 537 (1) Co-control Structures 538 (7) Local Variables 545 (1) N-way Branches 546 (1) Interactive Graphics Editor 546 (5) Simulation 551 (3) External Modules of Code 554 (1) Generation of Documentation 555 (2) 39 The Impact of Design Automation 557 (18) The Revolution 557 (1) Effect on Programming 557 (1) Effect on Specifications 558 (1) What Does "Provably Correct" Mean? ...”