From philosophy to computation: how Russell’s type theory impacts programming languages
Type theory introduced by Russell and Whitehead to overcome a paradox found in Frege’s work. The design of lambda-calculus in functional programming languages. The isomorphism between concepts of logic and concepts in type theory and programming.
Подобные документы
Procedure Oriented Programming. Return Type of mai. Example with Class. Creating Source File. Compiling and Linking. Representation of subjects of real problems in system design. Developing module, which are tolerant to any changes in the future.
курс лекций, добавлен 29.09.2014Feature of writing wrapper libraries on top of libraries written in other programming languages or transpiled from other programming languages. Characteristics of the improvement of most of the standard indicators of the quality of the software code.
статья, добавлен 19.03.2024Analysis of information modeling processes and tasks, and options for improvement using extensive programming capabilities. Characteristics of the main methods of automating and speeding up the design process using programming and their properties.
статья, добавлен 30.08.2022Replacing the Python language for the educational language of Pascal programming in schools and in the first years of higher education. A comparison of popular languages in terms of their ease of use for learning algorithmization and programming.
статья, добавлен 05.04.2019Programming of Intel microprocessors. Studying systems on universal microprocessors and problems of its programming. The scheme and the description of laboratory installation, variants of tasks and order of the laboratory work execution are presented.
лабораторная работа, добавлен 11.10.2014Loop statements, functions. The example of a program that reads numbers from Memo until number zero is found. A two-dimensional array as a collection of components, all of the same type, structured in two dimensions (rows and columns), examples.
курс лекций, добавлен 11.10.2014Assessing the acceptability of the developed IDE. C-SOLVIS is a web-based application designed to facilitate the teaching and learning of C programming in higher education institutions. An iterative prototyping process followed by program creation.
статья, добавлен 16.08.2023Сomputer facilities and microprocessor systems, data manipulation. The general principles of programming. The branched and cyclic programs organization using Assembler-86 language. X-bit Motorola microprocessors. Communication networks designing.
методичка, добавлен 11.10.2014Assessing the acceptability of the developed Integrated Development Environment (ICP). C-SOLVIS as a web-based application designed to facilitate the process of teaching and learning the basics of programming in higher education institutions in Malaysia.
статья, добавлен 11.07.2023Features a combination of different approaches to work with sets of objects, their classes to the design and development of artificial intelligence systems to analyze information using object-oriented programming. Determining properties of object class.
статья, добавлен 28.02.2016- 11. Improving the efficiency of the solution of linear programming tasks applying the CUDA-technology
Proposing to use complex methods to improve the efficiency of solving linear programming problems using large-scale classical approaches and technologies parallel processing CUDA. Specificity of program and algorithmic features use of the technology.
статья, добавлен 26.09.2016 Levels of programming support tools. Elements of windowing systems. Possible software architectures. Using toolkits for objects interaction. Paradigms for programming interfaces in applications. Implementation of user interface management systems (UIMS).
презентация, добавлен 28.12.2013Methodic of programming and ways of using of object oriented programming software Microsoft Excel Visual Basic for Applications for laboratory workshops of students in studies of computer modeling courses. Consequences for numerical simulation.
статья, добавлен 01.10.2014The modern computer technologies. Drawing of clock-pulse generator that from pulse sequence for all programming system. Engineering graphics OrCAD Capture. Projecting and design of principal schemes in electronics, microelectronics and electrotechniques.
книга, добавлен 11.10.2014- 15. Improving the efficiency of the solution of linear programming tasks applying the CUDA-technology
Methods for improving the efficiency of the solution of large dimensional linear programming tasks based on application of parallel data processing technology – CUDA. The specific features and algorithmic peculiarities of implementing of the program.
статья, добавлен 26.09.2016 The nodes of computer facilities and microprocessor systems. Architecture and software models of Intel microprocessors. Microprocessor systems on universal microprocessors and its programming. Microprocessor systems on microcontrollers and programming.
методичка, добавлен 11.10.2014Support Vector Machine (SVM). Optimization problem (mainly Quadratic Programming). Interior Point Method. Mainstream methods to solve Quadratic Programming problem. Incomplete Cholesky factorization and Kronecker factorization. Reform SVM training.
статья, добавлен 30.08.2016Theoretical foundations of the relativistic paradigm in physics and interactive technologies. An example of a community of interactive computing. Programming tool and tools for computer create physical and electronic worlds in everyday activities.
презентация, добавлен 28.12.2013Linear Programming is concerned with maximizing or minimizing an equation over certain criteria. Mixed Integer Linear Programming: Techniques for Solving, Contribution of the Project, Solving Using Branch. Schematic for Branch and Cut algorithm.
научная работа, добавлен 09.10.2012A structured language as one of a variety of programming possibilities. Unions, enumerations, and user-defined types systems the standard function library. Exception handling and miscellaneous classes. An object-oriented expression parser in program.
учебное пособие, добавлен 08.03.2014Theoretical information on personal computers, the structure of Windows XP as the operating system. Examples of projects in C ++ Builder to calculate complex mathematical formulas and solving problems with the branch. Programming in C ++ Builder.
методичка, добавлен 11.10.2014Research of the problem of training IT industry specialists, experience in teaching the basics of programming to educational applicants. Description of the Applied Technologies that contribute to the formation of competencies of IT industry specialists.
статья, добавлен 06.04.2023Web Service Composition (WSC) is a process that helps to save much programming and cost effort by reusing existing components – web services. This paper presents an overview of current state-of-the-art Web Service Discovery and Selection methods.
статья, добавлен 07.12.2016JavaScript as a prototype-based scripting language programming. JavaScript as a language for embedded software applications access to objects. Use of browsers as a scripting language to make interactive Web pages. Key architectural features JavaScript.
книга, добавлен 14.03.2014Extracting meaningful features from speech signals and classifying them into male or female categories. Implementation of gender recognition system using Python programming. Potential of using machine learning techniques for gender recognition of voice.
статья, добавлен 24.02.2024