Каширин И.Ю.

See other templatesSee other templates

Rich Menu

On top of this page, you can see live demonstration of Rich Menu. Icon Arrow Up

With this menu system you can attach icons and add descriptive text to each menu item making them much clearer and visually appealing. The best thing is you can use the default menu module built-in Joomla!, no need to install external menu modules.

Menu items with descriptive text

JSN Boot allows you to present menu items with descriptive text placed on a separated line at the bottom of main text.

Main Menu Rich Text

To setup text strings you need to go to menu item settings and add symbol combination “(=) as separator between primary and secondary text.

Main Menu Rich Text Settings

In the example above text “Home” is the primary text and “Lorem ipsum dolor sit...” is the secondary text. Separator between them is the symbol combination “(=)”. Really simple and elegant solution.


Menu items with icons

JSN Boot allows you to assign up to 20 predefined icons for items in main menu.

Main Menu Icons

To setup icons, you need to find template parameter Main Menu Icons and choose any icon you want to display from drop-down panel.

Main Menu Icons Settings


Combination of descriptive text and icons

You can use combination of descriptive text and icons to get Rich Menu in it's best presentation.

Main Menu Rich Text combined with Icons

Program machines

The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming languageTo get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.

Read more...

INTERRELATION

The Program Machines system can be considered in various combinations as higher-level formalisms. The connection between the components can be seen at the level of the structure of the construction of elements of the carrier sets of the algebraic systems discussed above.

Read more...

programming languages

Let's consider the use of algebraic interpretation of language constructs for PL C, Lisp and Prolog as the most well-known algorithmic languages, which are representatives of languages of the universal, functional and logical type, respectively. Optimizing transformations are possible.

 Read more...

UNIFICATION

Excelsior

If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing  variables.

Read more...

Go to top