| http://dbpedia.org/ontology/abstract
|
The following outline is provided as an ov … The following outline is provided as an overview of and topical guide to formal science: Formal science – branches of knowledge that are concerned with formal systems, such as those under the branches of: logic, mathematics, computer science, statistics, and some aspects of linguistics. Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the real world, but instead with the properties of formal systems based on definitions and rules.al systems based on definitions and rules.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://mathscinet.ams.org/mathscinet/msc/msc2010.html +
, http://www.acm.org/about/class/ +
, https://www.ams.org/msc/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
33017072
|
| http://dbpedia.org/ontology/wikiPageLength
|
37726
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1083385149
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Numerical_analysis +
, http://dbpedia.org/resource/Randomized_algorithms +
, http://dbpedia.org/resource/Quantum_computing +
, http://dbpedia.org/resource/Non-associative_algebra +
, http://dbpedia.org/resource/Systems_psychology +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/High_availability +
, http://dbpedia.org/resource/Medical_cybernetics +
, http://dbpedia.org/resource/Parallel_algorithms +
, http://dbpedia.org/resource/Survey_%28statistics%29 +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Lie_algebra +
, http://dbpedia.org/resource/Hypermedia +
, http://dbpedia.org/resource/P-adic_analysis +
, http://dbpedia.org/resource/Computer-aided_engineering +
, http://dbpedia.org/resource/Stochastic_process +
, http://dbpedia.org/resource/Internet +
, http://dbpedia.org/resource/Complex_analysis +
, http://dbpedia.org/resource/Geometric_number_theory +
, http://dbpedia.org/resource/Database +
, http://dbpedia.org/resource/Optimization_%28mathematics%29 +
, http://dbpedia.org/resource/Fault-tolerant_system +
, http://dbpedia.org/resource/Quantum_field_theory +
, http://dbpedia.org/resource/New_Cybernetics +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Projective_geometry +
, http://dbpedia.org/resource/Outline_of_calculus +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Mathematical_physics +
, http://dbpedia.org/resource/Outline_of_actuarial_science +
, http://dbpedia.org/resource/Multimedia +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Theory_of_computation +
, http://dbpedia.org/resource/Computability_theory_%28computer_science%29 +
, http://dbpedia.org/resource/Image_processing +
, http://dbpedia.org/resource/Computational_fluid_dynamics +
, http://dbpedia.org/resource/Quality_control +
, http://dbpedia.org/resource/Ring_theory +
, http://dbpedia.org/resource/Outline_of_probability +
, http://dbpedia.org/resource/Outline_of_statistics +
, http://dbpedia.org/resource/Order_theory +
, http://dbpedia.org/resource/Control_engineering +
, http://dbpedia.org/resource/Group_theory +
, http://dbpedia.org/resource/Geometric_topology +
, http://dbpedia.org/resource/Computational_mathematics +
, http://dbpedia.org/resource/Real_analysis +
, http://dbpedia.org/resource/Approximation_theory +
, http://dbpedia.org/resource/Management_information_systems +
, http://dbpedia.org/resource/Systems_science +
, http://dbpedia.org/resource/Systems_analysis +
, http://dbpedia.org/resource/Mathematical_statistics +
, http://dbpedia.org/resource/Foundations_of_mathematics +
, http://dbpedia.org/resource/Health_informatics +
, http://dbpedia.org/resource/Grid_computing +
, http://dbpedia.org/resource/Distributed_computing +
, http://dbpedia.org/resource/Fractal_geometry +
, http://dbpedia.org/resource/Biostatistics +
, http://dbpedia.org/resource/Mobile_computing +
, http://dbpedia.org/resource/Demography +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Control_theory +
, http://dbpedia.org/resource/Category:Formal_sciences +
, http://dbpedia.org/resource/Bootstrap_%28statistics%29 +
, http://dbpedia.org/resource/Convex_geometry +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Algebraic_number_theory +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Coding_theory +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Number_theory +
, http://dbpedia.org/resource/Outline_of_academic_disciplines +
, http://dbpedia.org/resource/Computational_biology +
, http://dbpedia.org/resource/Computational_number_theory +
, http://dbpedia.org/resource/Expert_systems +
, http://dbpedia.org/resource/Distributed_algorithms +
, http://dbpedia.org/resource/Outline_of_artificial_intelligence +
, http://dbpedia.org/resource/Engineering_cybernetics +
, http://dbpedia.org/resource/Discrete_geometry +
, http://dbpedia.org/resource/Spatial_statistics +
, http://dbpedia.org/resource/Partial_differential_equations +
, http://dbpedia.org/resource/Linear_algebra +
, http://dbpedia.org/resource/Mathematical_system_theory +
, http://dbpedia.org/resource/Outline_%28list%29 +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Relational_database +
, http://dbpedia.org/resource/Block_design +
, http://dbpedia.org/resource/Simulation +
, http://dbpedia.org/resource/Systems_theory +
, http://dbpedia.org/resource/High-performance_computing +
, http://dbpedia.org/resource/Systems_ecology +
, http://dbpedia.org/resource/Multilinear_algebra +
, http://dbpedia.org/resource/Regression_analysis +
, http://dbpedia.org/resource/Scientific_computing +
, http://dbpedia.org/resource/Control_systems +
, http://dbpedia.org/resource/Field_theory_%28mathematics%29 +
, http://dbpedia.org/resource/Information_retrieval +
, http://dbpedia.org/resource/Programming_paradigms +
, http://dbpedia.org/resource/General_systems_theory +
, http://dbpedia.org/resource/Statistical_theory +
, http://dbpedia.org/resource/Structural_equation_model +
, http://dbpedia.org/resource/Outline_of_earth_science +
, http://dbpedia.org/resource/Compilers +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Homological_algebra +
, http://dbpedia.org/resource/Business_informatics +
, http://dbpedia.org/resource/Automated_theorem_proving +
, http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Outline_of_mathematics +
, http://dbpedia.org/resource/Very-large-scale_integration +
, http://dbpedia.org/resource/Automated_reasoning +
, http://dbpedia.org/resource/Management_cybernetics +
, http://dbpedia.org/resource/World_Wide_Web +
, http://dbpedia.org/resource/Non-Euclidean_geometry +
, http://dbpedia.org/resource/Complex_systems +
, http://dbpedia.org/resource/Human-computer_interaction +
, http://dbpedia.org/resource/Data_mining +
, http://dbpedia.org/resource/Ordinary_differential_equations +
, http://dbpedia.org/resource/Algebraic_topology +
, http://dbpedia.org/resource/Systems_engineering +
, http://dbpedia.org/resource/Computer_networking +
, http://dbpedia.org/resource/Outline_of_information_technology +
, http://dbpedia.org/resource/Combinatorics +
, http://dbpedia.org/resource/Statistical_mechanics +
, http://dbpedia.org/resource/Information_theory +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Computational_economics +
, http://dbpedia.org/resource/Applied_mathematics +
, http://dbpedia.org/resource/Computer_graphics +
, http://dbpedia.org/resource/Ergodic_theory +
, http://dbpedia.org/resource/Universal_algebra +
, http://dbpedia.org/resource/Parallel_computing +
, http://dbpedia.org/resource/Information_science +
, http://dbpedia.org/resource/Differential_algebra +
, http://dbpedia.org/resource/Distributed_database +
, http://dbpedia.org/resource/Operations_research +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Lattice_theory +
, http://dbpedia.org/resource/Reasoning +
, http://dbpedia.org/resource/Scientific_visualization +
, http://dbpedia.org/resource/Formal_languages +
, http://dbpedia.org/resource/Algebraic_geometry +
, http://dbpedia.org/resource/Linear_programming +
, http://dbpedia.org/resource/Biocybernetics +
, http://dbpedia.org/resource/LTI_system_theory +
, http://dbpedia.org/resource/Statistics +
, http://dbpedia.org/resource/Outline_of_robotics +
, http://dbpedia.org/resource/Developmental_systems_theory +
, http://dbpedia.org/resource/Differential_geometry +
, http://dbpedia.org/resource/Outline_of_life_science +
, http://dbpedia.org/resource/Symbolic_computation +
, http://dbpedia.org/resource/Object_database +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Wireless_computing +
, http://dbpedia.org/resource/Computational_statistics +
, http://dbpedia.org/resource/Computational_chemistry +
, http://dbpedia.org/resource/Measure_theory +
, http://dbpedia.org/resource/Associative_algebra +
, http://dbpedia.org/resource/Computational_linguistics +
, http://dbpedia.org/resource/Formal_science +
, http://dbpedia.org/resource/Affine_geometry +
, http://dbpedia.org/resource/Econometrics +
, http://dbpedia.org/resource/Outline_of_physical_science +
, http://dbpedia.org/resource/Outline_of_algebra +
, http://dbpedia.org/resource/Program_semantics +
, http://dbpedia.org/resource/Finite_element_analysis +
, http://dbpedia.org/resource/Information_systems +
, http://dbpedia.org/resource/Outline_of_geometry +
, http://dbpedia.org/resource/Artificial_neural_network +
, http://dbpedia.org/resource/Machine_learning +
, http://dbpedia.org/resource/Graph_theory +
, http://dbpedia.org/resource/Outline_of_natural_science +
, http://dbpedia.org/resource/Survey_Sampling +
, http://dbpedia.org/resource/Probability_theory +
, http://dbpedia.org/resource/Outline_of_applied_science +
, http://dbpedia.org/resource/Outline_of_science +
, http://dbpedia.org/resource/Systems_neuroscience +
, http://dbpedia.org/resource/Computational_sociology +
, http://dbpedia.org/resource/Engineering_statistics +
, http://dbpedia.org/resource/Data_structures +
, http://dbpedia.org/resource/Statistical_model +
, http://dbpedia.org/resource/Social_statistics +
, http://dbpedia.org/resource/Time_series +
, http://dbpedia.org/resource/Computer_architecture +
, http://dbpedia.org/resource/Reliability_theory +
, http://dbpedia.org/resource/Cybernetics +
, http://dbpedia.org/resource/Category:Wikipedia_outlines +
, http://dbpedia.org/resource/Functional_analysis +
, http://dbpedia.org/resource/Differential_topology +
, http://dbpedia.org/resource/List_of_mathematics_lists +
, http://dbpedia.org/resource/Computer_vision +
, http://dbpedia.org/resource/Computational_finance +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Computational_geometry +
, http://dbpedia.org/resource/Systems_biology +
, http://dbpedia.org/resource/Dynamical_systems +
, http://dbpedia.org/resource/Chaos_theory +
, http://dbpedia.org/resource/Non-standard_analysis +
, http://dbpedia.org/resource/Digital_Humanities +
, http://dbpedia.org/resource/Algorithms +
, http://dbpedia.org/resource/Computational_science +
, http://dbpedia.org/resource/Analytic_number_theory +
, http://dbpedia.org/resource/Epidemiology +
, http://dbpedia.org/resource/Game_theory +
, http://dbpedia.org/resource/Outline_of_social_science +
, http://dbpedia.org/resource/Outline_of_cryptography +
, http://dbpedia.org/resource/Operating_systems +
, http://dbpedia.org/resource/Group_representation +
, http://dbpedia.org/resource/Harmonic_analysis +
, http://dbpedia.org/resource/Outline_of_trigonometry +
, http://dbpedia.org/resource/Analysis_of_variance +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Computational_neuroscience +
, http://dbpedia.org/resource/General_topology +
, http://dbpedia.org/resource/Programming_language_theory +
, http://dbpedia.org/resource/Response_surface_methodology +
, http://dbpedia.org/resource/Operator_theory +
, http://dbpedia.org/resource/Category:Outlines_of_sciences +
, http://dbpedia.org/resource/Vector_space +
, http://dbpedia.org/resource/Concurrent_computing +
, http://dbpedia.org/resource/Multivariate_analysis +
, http://dbpedia.org/resource/Outline_of_computer_science +
, http://dbpedia.org/resource/Design_of_experiments +
, http://dbpedia.org/resource/Systems_dynamics +
, http://dbpedia.org/resource/Second-order_cybernetics +
, http://dbpedia.org/resource/Decision_theory +
, http://dbpedia.org/resource/Object-oriented_programming +
, http://dbpedia.org/resource/Outline_of_software_engineering +
, http://dbpedia.org/resource/Proof_theory +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Main_article +
, http://dbpedia.org/resource/Template:Clear +
, http://dbpedia.org/resource/Template:Outline_footer +
, http://dbpedia.org/resource/Template:Sisterlinks +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_sciences +
, http://dbpedia.org/resource/Category:Outlines_of_sciences +
, http://dbpedia.org/resource/Category:Wikipedia_outlines +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Outline_of_formal_science?oldid=1083385149&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Outline_of_formal_science +
|
| owl:sameAs |
http://dbpedia.org/resource/Outline_of_formal_science +
, https://global.dbpedia.org/id/ADpMm +
, http://www.wikidata.org/entity/Q65089488 +
|
| rdfs:comment |
The following outline is provided as an ov … The following outline is provided as an overview of and topical guide to formal science: Formal science – branches of knowledge that are concerned with formal systems, such as those under the branches of: logic, mathematics, computer science, statistics, and some aspects of linguistics. Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the real world, but instead with the properties of formal systems based on definitions and rules.al systems based on definitions and rules.
|
| rdfs:label |
Outline of formal science
|
