This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Mon 25 of Nov, 2024 [12:06 UTC]

Category F.4.1 Mathematical Logic

Computability theory Computational logic Lambda calculus and related systems Logic and constraint programming Mechanical theorem proving Modal logic Model theory Proof theory Recursive function theory Set theory Temporal logic

Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

Show subcategories objects

Current category: Top :: ITHEA Classification Structure :: F. Theory of Computation :: F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES :: F.4.1 Mathematical Logic

..

ITHEA Classification Structure

A. General Literature

A.1 INTRODUCTORY AND SURVEY

A.m MISCELLANEOUS

B.1 CONTROL STRUCTURES AND MICROPROGRAMMING

B.1.1 Control Design Styles

B.1.2 Control Structure Performance Analysis and Design Aids

B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance

B.1.4 Microprogram Design Aids

B.1.5 Microcode Applications

B.1.m Miscellaneous

B.2 ARITHMETIC AND LOGIC STRUCTURES

B.2.1 Design Styles

B.2.2 Performance Analysis and Design Aids

B.2.3 Reliability, Testing, and Fault-Tolerance

B.2.4 High-Speed Arithmetic

B.2.m Miscellaneous

B.3 MEMORY STRUCTURES

B.3.1 Semiconductor Memories

B.3.2 Design Styles

B.3.3 Performance Analysis and Design Aids

B.3.4 Reliability, Testing, and Fault-Tolerance

B.3.m Miscellaneous

B.4 INPUT/OUTPUT AND DATA COMMUNICATIONS

B.4.1 Data Communications Devices

B.4.2 Input/Output Devices

B.4.3 Interconnections (Subsystems)

B.4.4 Performance Analysis and Design Aids

B.4.5 Reliability, Testing, and Fault-Tolerance

B.4.m Miscellaneous

B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION

B.5.2 Design Aids

B.5.3 Reliability and Testing

B.5.m Miscellaneous

B.6 LOGIC DESIGN

B.6.1 Design Styles

B.6.2 Reliability and Testing

B.6.3 Design Aids

B.6.m Miscellaneous

B.7 INTEGRATED CIRCUITS

B.7.1 Types and Design Styles

B.7.2 Design Aids

B.7.3 Reliability and Testing

B.7.m Miscellaneous

B.8 PERFORMANCE AND RELIABILITY

B.8.1 Reliability, Testing, and Fault-Tolerance

B.8.2 Performance Analysis and Design Aids

B.8.m Miscellaneous

B.m MISCELLANEOUS

C. Computer Systems Organization

C.1 PROCESSOR ARCHITECTURES

C.1.1 Single Data Stream Architectures

C.1.2 Multiple Data Stream Architectures (Multiprocessors)

C.1.3 Other Architecture Styles

C.1.4 Parallel Architectures

C.1.m Miscellaneous

C.2 COMPUTER-COMMUNICATION NETWORKS

C.2.1 Network Architecture and Design

C.2.2 Network Protocols

C.2.3 Network Operations

C.2.4 Distributed Systems

C.2.5 Local and Wide-Area Networks

C.2.6 Internetworking

C.2.m Miscellaneous

C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

C.4 PERFORMANCE OF SYSTEMS

C.5 COMPUTER SYSTEM IMPLEMENTATION

C.5.1 Large and Medium (``Mainframe'') Computers

C.5.2 Minicomputers

C.5.3 Microcomputers

C.5.4 VLSI Systems

C.5.m Miscellaneous

C.m MISCELLANEOUS

D.1 PROGRAMMING TECHNIQUES

D.1.1 Applicative (Functional) Programming

D.1.2 Automatic Programming

D.1.3 Concurrent Programming

D.1.4 Sequential Programming

D.1.5 Object-oriented Programming

D.1.6 Logic Programming

D.1.7 Visual Programming

D.1.m Miscellaneous

D.2 SOFTWARE ENGINEERING

D.3 PROGRAMMING LANGUAGES

D.3.1 Formal Definitions and Theory

D.3.2 Language Classifications

D.3.3 Language Constructs and Features

D.3.4 Processors

D.3.m Miscellaneous

D.4 OPERATING SYSTEMS

D.m MISCELLANEOUS

E.1 DATA STRUCTURES

E.2 DATA STORAGE REPRESENTATIONS

E.3 DATA ENCRYPTION

E.4 CODING AND INFORMATION THEORY

E.m MISCELLANEOUS

F. Theory of Computation

F.1 COMPUTATION BY ABSTRACT DEVICES

F.1.1 Models of Computation

F.1.2 Modes of Computation

F.1.3 Complexity Measures and Classes

F.1.m Miscellaneous

F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

F.2.1 Numerical Algorithms and Problems

F.2.2 Nonnumerical Algorithms and Problems

F.2.3 Tradeoffs between Complexity Measures

F.2.m Miscellaneous

F.3 LOGICS AND MEANINGS OF PROGRAMS

F.3.1 Specifying and Verifying and Reasoning about Programs

F.3.2 Semantics of Programming Languages

F.3.3 Studies of Program Constructs

F.3.m Miscellaneous

F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

F.4.1 Mathematical Logic

F.4.2 Grammars and Other Rewriting Systems

F.4.3 Formal Languages

F.4.m Miscellaneous

F.m MISCELLANEOUS

G. Mathematics of Computing

H. Information Systems

H.1 MODELS AND PRINCIPLES

H.1.1 Systems and Information Theory

H.1.2 User/Machine Systems

H.1.m Miscellaneous

H.2 DATABASE MANAGEMENT

H.3 INFORMATION STORAGE AND RETRIEVAL

H.3.1 Content Analysis and Indexing

H.3.2 Information Storage

H.3.3 Information Search and Retrieval

H.3.4 Systems and Software

H.3.5 Online Information Services

H.3.6 Library Automation

H.3.7 Digital Libraries

H.3.m Miscellaneous

H.4 INFORMATION SYSTEMS APPLICATIONS

H.4.1 Office Automation

H.4.2 Types of Systems

H.4.3 Communications Applications

H.4.m Miscellaneous

H.5 INFORMATION INTERFACES AND PRESENTATION

H.5.1 Multimedia Information Systems

H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

H.5.3 Group and Organization Interfaces

H.5.4 Hypertext/Hypermedia

H.5.5 Sound and Music Computing

H.5.m Miscellaneous

H.m MISCELLANEOUS

I. Computing Methodologies

I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

I.1.1 Expressions and Their Representation

I.1.2 Algorithms

I.1.3 Languages and Systems

I.1.4 Applications

I.1.m Miscellaneous

I.2 ARTIFICIAL INTELLIGENCE

I.3 COMPUTER GRAPHICS

I.4 IMAGE PROCESSING AND COMPUTER VISION

I.5 PATTERN RECOGNITION

I.5.2 Design Methodology

I.5.3 Clustering

I.5.4 Applications

I.5.5 Implementation

I.5.m Miscellaneous

I.6 SIMULATION AND MODELING

I.7 DOCUMENT AND TEXT PROCESSING

I.7.1 Document and Text Editing

I.7.2 Document Preparation

I.7.3 Index Generation

I.7.4 Electronic Publishing

I.7.5 Document Capture

I.7.m Miscellaneous

I.m MISCELLANEOUS

J. Computer Applications

J.1 ADMINISTRATIVE DATA PROCESSING

J.2 PHYSICAL SCIENCES AND ENGINEERING

J.3 LIFE AND MEDICAL SCIENCES

J.4 SOCIAL AND BEHAVIORAL SCIENCES

J.5 ARTS AND HUMANITIES

J.6 COMPUTER-AIDED ENGINEERING

J.7 COMPUTERS IN OTHER SYSTEMS

J.m MISCELLANEOUS

K. Computing Milieux

K.1 THE COMPUTER INDUSTRY

K.2 HISTORY OF COMPUTING

K.3 COMPUTERS AND EDUCATION

K.3.1 Computer Uses in Education

K.3.2 Computer and Information Science Education

K.3.m Miscellaneous

K.4 COMPUTERS AND SOCIETY

K.4.1 Public Policy Issues

K.4.2 Social Issues

K.4.3 Organizational Impacts

K.4.4 Electronic Commerce

K.4.m Miscellaneous

K.5 LEGAL ASPECTS OF COMPUTING

K.5.1 Hardware/Software Protection

K.5.2 Governmental Issues

K.5.m Miscellaneous

K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

K.6.1 Project and People Management

K.6.2 Installation Management

K.6.3 Software Management

K.6.4 System Management

K.6.5 Security and Protection

K.6.m Miscellaneous

K.7 THE COMPUTING PROFESSION

K.7.1 Occupations

K.7.2 Organizations

K.7.3 Testing, Certification, and Licensing

K.7.4 Professional Ethics

K.7.m Miscellaneous

K.8 PERSONAL COMPUTING

K.8.1 Application Packages

K.8.3 Management/Maintenance

K.8.m Miscellaneous

K.m MISCELLANEOUS

Objects (11)

Article	A GEOMETRICAL INTERPRETATION TO DEFINE CONTRADICTION	Abstract: For inference purposes in both classical and fuzzy logic, neither the information itself should be contradictory, nor should any of the items of available information contradict each other.
Article	ACCOUNTING IN THEORETICAL GENETICS	Abstract: We present a logical tool which allows understanding the rationality of the translation underlying some interactions in Nature. In an abstract, formal way, we can demonstrate the epistemol
Article	ALGORITHMIZATION PROCESS FOR FRACTAL ANALYSIS IN THE CHAOTIC DYNAMICS OF ...	Abstract: This work deals in the usage of fractal analysis to determine the trend of dynamic characteristics of chaotic series based on R/S-analysis. We propose an algorithm using the method of dyna
Article	COMPARISON OF PROOF SIZES IN FREGE SYSTEMS AND SUBSTITUTION FREGE SYSTEMS	Abstract: It is known that the minimal number of the steps in a proof of a tautology in a Frege system can be exponentially larger than in a substitution Frege system, but it is an open problem wheth
Article	CONTRADICTION VERSUS SELFCONTRADICTION IN FUZZY LOGIC*	Abstract: Trillas et al. introduced in [7] and [8] the concepts of both self-contradictory fuzzy set and contradiction between two fuzzy sets. Later, in [1] and [2] the necessity of determine not o
Article	ON PROBLEM OF ADEQUACY OF MULTISET MATHEMATICAL MODELS	Abstract: The analysis of adequacy of competitiveness assessments based only on the values of multiplicity function of multiset is made. Such assessments are not adequate according to representation
Article	PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ...	Abstract: In this paper the proof complexities of some classes of quasi-hard determinable (Tsgfn ) and hard determinable ( n ) formulas are investigated in some refutation propositional systems. I
Article	PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ...	Abstract: In this paper the proof complexities of some classes of quasi-hard determinable (Tsgf n ) and hard determinable (ψ n ) formulas are investigated in some refutation propositional systems. I
Article	UNIVERSAL AND DETERMINED CONSTRUCTORS OF MULTISETS OF OBJECTS	Abstract: This paper contains analysis of creation of sets and multisets as an approach for modeling of some aspects of human thinking. The creation of sets is considered within constructive object-o
Article	МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ�	Аннотация: Исследованы программно-ориентированные логические формализмы – транзиционные композиционно-но
Article	СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС	Аннотация: Исследованы чистые первопорядковые композиционно-номинативные логики частичных однозначных пр�

Page: 1/1
1

Login

World Clock

Powered by Tikiwiki

Powered by PHP

Powered by Smarty

Powered by ADOdb

Made with CSS

Powered by RDF

powered by The PHP Layers Menu System

Wiki

Blogs

Articles

Image Galleries

File Galleries

Forums

Maps

Calendars

[ Execution time: 0.21 secs ] [ Memory usage: 9.10MB ] [ GZIP Disabled ] [ Server load: 0.63 ]

Powered by Tikiwiki CMS/Groupware